{"entities":{"Q4038673":{"pageid":6068391,"ns":120,"title":"Item:Q4038673","lastrevid":55251538,"modified":"2026-02-05T08:23:24Z","type":"item","id":"Q4038673","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177795"}},"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":"Q4038673$53EB23EF-5BCB-4618-972F-60CAA9BD31E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35924cce9f2614614f75af677e646c026a2a2885","datavalue":{"value":"0765.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038673$5427BEA1-7C1D-4508-B869-FA23E5388473","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb0d8f3c231ba7829e5443adc4025f8c9925d8a","datavalue":{"value":{"entity-type":"item","numeric-id":672328,"id":"Q672328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038673$32F8CF04-C7C8-4199-AE4A-6F916A3B5EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038673$1B152483-CC52-43B6-8C3C-28BADCF40AB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038673$646467D2-0A11-4917-A33A-779187C3FFB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038673$432064E5-F1BD-415C-A2E3-8B1108685E94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e003dac0a201f8acd7ebb0cd6db5110ce775ea5","datavalue":{"value":"177795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038673$EAEBD404-58F1-416E-92B7-03F4652285A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038673$C6E945B4-C906-4359-A612-8C5F035702FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1403a64a54fab9451b4468fa6823ce97ec7978","datavalue":{"value":"branching-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038673$C765CA48-78B8-413B-8656-309BA6B53191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618e6039ba008d91a464636d30429e506d7d5685","datavalue":{"value":"bisimulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038673$8E5F88D4-3895-4466-8551-716BFD6573AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67518ecf7bb92811b48491dbe48aefb32bb3402","datavalue":{"value":"non-deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038673$A98146FA-256C-471A-85F3-9619C0826C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038673$7E488BA9-8113-4C76-8BFF-D18425EBCF30","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":"Q4038673$83C81C81-744A-4AD6-A5D7-509F32372B90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef617584a93e73f3f8fc469a4aa3da217661f056","datavalue":{"value":{"amount":"+0.806196928024292","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":"Q4038673$9FE187FB-1068-4F1B-8DDE-8515367592D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8be0fff7667bdcb830d23f737c4dacddedd2c27","datavalue":{"value":{"amount":"+0.7968406081199646","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":"Q4038673$C226CB2A-2689-4120-B489-EAAF8ABCAB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25cf76aaabcb9e9e603cd9a786480d9de11efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3343431,"id":"Q3343431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00942723fb44d404ed44f47962c69473eb1419b","datavalue":{"value":{"amount":"+0.7783957123756409","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":"Q4038673$4E729C30-0921-4013-B1CD-3FF283F4F3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10faea875401b7de45de89f1ca21e6549535e","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36ceb96128ff158c0a39ad7e77153cc302485bf","datavalue":{"value":{"amount":"+0.777371346950531","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":"Q4038673$B6CC766C-3CB7-4797-9F12-E11A0285CA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f20f1fa2eca6530e643af7c5052c189b2316f8","datavalue":{"value":{"amount":"+0.7708641290664673","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":"Q4038673$0A4D85BE-AE2A-4E7A-8E0D-2D36C5B6B44C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038673"}}}}}