{"entities":{"Q6487698":{"pageid":14066467,"ns":120,"title":"Item:Q6487698","lastrevid":47815909,"modified":"2026-01-02T18:50:46Z","type":"item","id":"Q6487698","labels":{"en":{"language":"en","value":"Coalgebraic operational semantics for an imperative language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7655554"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$3CC72A11-AFD6-4C13-8B59-572176489919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59839e89f19c26343eff69382cbcd73649c419f","datavalue":{"value":{"text":"Coalgebraic operational semantics for an imperative language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487698$65B68A42-1D35-4C69-AAD9-ADC3E5DC8BCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8cef89f044488ce195d125c372fe10c3e3fcfb2","datavalue":{"value":"1518.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$68BBB143-A4F3-4535-9E62-C1693B4FB6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25904f348a6b711cabce9feae44debfae2dfa387","datavalue":{"value":{"entity-type":"item","numeric-id":530111,"id":"Q530111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$A7C62FEA-EC52-4774-BC07-974554E07E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63b920d273255a7402d6cc52f0a7a8b350abbc5","datavalue":{"value":{"entity-type":"item","numeric-id":2201095,"id":"Q2201095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$37158A8D-9C2C-4025-8B4E-365B476411CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb33d69587ad5a852773f2fc55274bf330026170","datavalue":{"value":{"entity-type":"item","numeric-id":1019023,"id":"Q1019023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$F7A82E69-41AD-4291-924B-0A6E5526B295","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef2fd883b01755cd57ab23deef854db4dcfb2dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4557308,"id":"Q4557308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$879F666A-3628-46F5-BE46-A861CC37B591","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cf6fdebab2500677acafd11fbb3e87f5e50c3dd","datavalue":{"value":{"time":"+2023-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487698$CC26C19B-C91B-4CC1-9CC7-CCAFDD5532D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$B888746D-1FC0-4965-8499-1A22BBEEBBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$2C82647D-58A8-4144-8447-E7349D9994F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$AA129207-04D2-4F0F-9D51-A97923AAC960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$037B3CDF-CB5E-40DC-B9F9-6030F5B87CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a2d2f85d1dbffe53f36ff7535eebf5673faa412","datavalue":{"value":"7655554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$7F195338-8E15-43C6-A2A3-D1FF819E2D39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487698$F4F2887A-28A1-420E-8B30-4ED778015E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487698$4FDB4289-03A8-4FFE-A775-CC84A4D3AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487698$91CF27E7-558F-4406-809D-E7B098262CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487698$5D5EF1A4-F76C-425D-87C3-1A44D7CB1168","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487698$C8CE8639-8B3A-4311-9FB9-CF6C924CE356","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf8aa80c18d0039121a4cb0546bcf1cc581576f1","datavalue":{"value":"10.31577/CAI_2019_5_1181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487698$9413576A-B3EF-4D83-8944-1C05965665B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268637c871698a2c490be1b95ce6d5afa67c49c0","datavalue":{"value":{"amount":"+0.7601011991500854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487698$06B0D312-4445-40FC-862D-A813D1B3A26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b9f405f87517a77edc8c5f2f27df14114a21e8","datavalue":{"value":{"entity-type":"item","numeric-id":5739352,"id":"Q5739352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e936cf57b9a1dad90fda738f999f8467e2d12a","datavalue":{"value":{"amount":"+0.7554079294204712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487698$22B51B13-CEAB-475D-9CAA-E77778FC4963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed80bb969c7eca862c7f55d5b51f911118b6606","datavalue":{"value":{"entity-type":"item","numeric-id":5166622,"id":"Q5166622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b340462e7945fc1d5fba914ac6e2280cef9a2e","datavalue":{"value":{"amount":"+0.7491751909255981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487698$62219791-143F-4D8B-A4C3-83EDF57CA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaa4ad68aff0b995411ab0228a56fe14b5915c5","datavalue":{"value":{"entity-type":"item","numeric-id":1853752,"id":"Q1853752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108567f972e672948bc8b2a6a21ad7fe69ae07a2","datavalue":{"value":{"amount":"+0.7267786264419556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487698$49246B1B-4E45-4772-9105-3D31D979FB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a338038bb7c0163a09a97e703e6519269acb92","datavalue":{"value":{"entity-type":"item","numeric-id":4203830,"id":"Q4203830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb27b04c99380139a920901e85a1e4b89953e2ce","datavalue":{"value":{"amount":"+0.7252820730209351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487698$63D12CE7-145A-46BB-A217-D1F34520E369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487698"}}}}}