This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wdthttp://www.wikidata.org/prop/direct/
n8https://dblp.org/rec/conf/issac/
wdtnhttp://www.wikidata.org/prop/direct-normalized/
n11http://dx.doi.org/10.1145/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
wikibasehttp://wikiba.se/ontology#
phttp://www.wikidata.org/prop/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
wdhttp://www.wikidata.org/entity/

Statements

Subject Item
wd:Q61442822
rdf:type
wikibase:Item
schema:description
wetenschappelijk artikel наукова стаття, опублікована в 1998 article scientifique publié en 1998 artículu científicu scholarly article published 1998
p:P577
wds:Q61442822-5CF299D4-B317-4D03-8DF2-DD8A3F747633
wdt:P577
1998-01-01T00:00:00Z
p:P2093
wds:Q61442822-AB614BE2-86AB-4D9A-93B7-573898E4458F wds:Q61442822-BF5EA5F1-9892-4B26-9EAF-EDFFCD9CB795
wdt:P2093
Martin Dunstan Steve Linton
rdfs:label
Lightweight formal methods for computer algebra systems Lightweight formal methods for computer algebra systems
skos:prefLabel
Lightweight formal methods for computer algebra systems Lightweight formal methods for computer algebra systems
schema:name
Lightweight formal methods for computer algebra systems Lightweight formal methods for computer algebra systems
p:P50
wds:Q61442822-D3216310-B20E-41E5-9B71-89E6280DA2DF wds:Q61442822-92C8780B-2674-4F52-9E72-73CEA7BF4F3C
wdt:P50
wd:Q14010 wd:Q37381369
p:P1476
wds:Q61442822-49C5BBC9-38C6-4C49-B715-4933A1103117
wdt:P1476
Lightweight formal methods for computer algebra systems
p:P31
wds:Q61442822-DEF3A75A-63F8-4FD7-A4E6-91E075521E08
wdt:P31
wd:Q13442814
p:P921
wds:Q61442822-378DEC6B-1F2F-4CBC-8560-A820F323A926
wdt:P921
wd:Q3968
p:P8978
wds:Q61442822-6C0EC8C0-1935-47DB-BA4A-196B72A8ADEE
wdtn:P8978
n8:DunstanKLM98
wdt:P8978
conf/issac/DunstanKLM98
p:P356
wds:Q61442822-89CEC906-361A-4EC0-AC13-18D8514AE832
wdtn:P356
n11:281508.281560
wdt:P356
10.1145/281508.281560