{"entities":{"Q2817698":{"pageid":2828436,"ns":120,"title":"Item:Q2817698","lastrevid":52611251,"modified":"2026-01-23T02:37:48Z","type":"item","id":"Q2817698","labels":{"en":{"language":"en","value":"A theory of weak bisimulation for core CML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621875"}},"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":"Q2817698$DA9B279C-F46F-426B-B9D0-8111F2D7757E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18d1fb00229cc20d257941966c726994340e076f","datavalue":{"value":{"text":"A theory of weak bisimulation for core CML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817698$FF54D7EF-7116-4DF2-82C2-FCFB17281F92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a8c371b8ec6a22fd0efe99bdc3026e69372bd5e","datavalue":{"value":"1345.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$31BFA905-E0E4-4351-85B7-1EB012C36109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc519155679db28e27a2f2e09c672540aa3e292","datavalue":{"value":"10.1145/232627.232649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$1F11A403-908E-4AEF-8491-7E8789BC46DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"360808fb44582348fdbe756012a1cacb624d08f0","datavalue":{"value":{"entity-type":"item","numeric-id":1285653,"id":"Q1285653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817698$BB6D2467-30FA-46CD-B52A-6132464182A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c07df3e9710693ca2029d56f2786e60cd031e8","datavalue":{"value":{"entity-type":"item","numeric-id":276477,"id":"Q276477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817698$6A1433D4-951D-4A15-B1E2-7F76B4BFD75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817698$5C8458A4-B91E-40F7-B068-3DE94A6C6EB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56de9e9bca7125adc33acdc48ab4e849a600dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2817679,"id":"Q2817679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817698$EBEF7550-907B-432F-95C6-417128F24F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817698$FB62F13A-465D-4830-9B9E-6393CF00DE8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$3AC72368-C6A3-433F-80D5-A69FC83EAC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$BA06F170-40BD-434F-A60B-C6687383D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$82987847-450E-41F8-B63B-77DF574E1B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$8E18BB91-4C43-4E78-AB39-FD4BFE4D48CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c828ea10224dbc53762febfc5deb45f849fdcd5","datavalue":{"value":"6621875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$4A8B4721-3A93-4983-AFD2-BDE0B736D53A","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":"Q2817698$C13D4150-7178-4F47-BC62-B0ECCCEB6C9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab351773ca50d7e3589ca00cb2ffce11002fe1b3","datavalue":{"value":"https://doi.org/10.1145/232627.232649","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817698$65942EA4-9C44-4318-8290-C0FADB170E82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"313b6632cbb7f41ab231f7e7c412fa903da9cee5","datavalue":{"value":"W2019272371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817698$F4E39539-0DA7-41FB-B162-49B9A8353644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995338f76971c62a2722d2d0f509197998ef5abc","datavalue":{"value":{"entity-type":"item","numeric-id":4236976,"id":"Q4236976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc877ed3471d8a6f079ff2009c1ff3ce311d5a5","datavalue":{"value":{"amount":"+0.9967272281646729","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":"Q2817698$FD4C32DF-635A-410B-946E-0E06F87EF693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298c284df1cc64fb666e6ba31657605611425e48","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2db0e826792e568b96709b91bdeacdb76cdc2f4","datavalue":{"value":{"amount":"+0.8738808631896973","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":"Q2817698$5420F509-0935-4690-B41F-6E1218EF54EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06242276daedd3ab96d16aac7937d12b2a95f855","datavalue":{"value":{"entity-type":"item","numeric-id":2704322,"id":"Q2704322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1863b35eb2079364cc4b266d22b1c054d3265f1e","datavalue":{"value":{"amount":"+0.8171698451042175","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":"Q2817698$00DAB866-F374-4269-9717-444E1CEBE518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962df6dbb14c6ebb12a35d10d2828e698a87d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d68e3b22ee8ce40c8e56028ca3451da5106ccff","datavalue":{"value":{"amount":"+0.8097177147865295","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":"Q2817698$124DF9B2-BD1B-4420-8FE7-274ADF1B6647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45e8d8f4bff27bad26afa41bf240e40a0c3e6b8","datavalue":{"value":{"entity-type":"item","numeric-id":4222873,"id":"Q4222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d68e3b22ee8ce40c8e56028ca3451da5106ccff","datavalue":{"value":{"amount":"+0.8097177147865295","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":"Q2817698$6AD86395-148E-4CE6-8AB2-0A881B56BE40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817698"}}}}}