{"entities":{"Q5900570":{"pageid":8006264,"ns":120,"title":"Item:Q5900570","lastrevid":50943452,"modified":"2026-01-15T21:06:05Z","type":"item","id":"Q5900570","labels":{"en":{"language":"en","value":"Model checking a path (preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688265"}},"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":"Q5900570$4D690374-F02E-46E3-8D2C-EE4568EF389B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2710257174c8c401d932a5ee3f734214331b9d0","datavalue":{"value":{"text":"CONCUR 2003 - Concurrency Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900570$B4238A41-C198-4D69-8E5F-7D4993F9A9FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074da799905709a4d1eac4aede60d4f1871c68cb","datavalue":{"value":"1274.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$C77A24F2-9A92-4076-A566-DB46DB7D9990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900570$66D70B9E-E1D5-4EB8-A05C-1973BFEF0AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900570$6F2EEAA1-77BA-4FA7-95BE-CEE9ECE9974E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900570$D13FA19A-BBC6-49E7-B31C-D03341B8A948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900570$653B2088-8EBE-45A8-89D7-3B8BEAFDD655","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$80E22D49-8294-4E18-AF0B-ECB704737456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$654719C8-CB94-4E9A-BDDF-CFE842CC38F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f4ade844f0c376612cc8b72240f5ab0615a8cb","datavalue":{"value":"5688265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$00DF3AAF-EB28-47F6-BAAB-B91280F9CF5E","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":"Q5900570$4D2FB2D7-2570-444C-B246-091C1C811871","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a70288c8aba66f6f506ae1c9f1df3ec3169e150","datavalue":{"value":"https://doi.org/10.1007/b11938","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900570$C36FC39B-BA0D-4F5F-86CF-43510072E8FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eaaf20f9ed31f0c15fde1ed29c348788f9f57b3","datavalue":{"value":"W105220891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$8BA0CB77-1804-4A04-9D05-436FBA43F360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ea868ec13643df31e0c2cc2ea726be761a8967","datavalue":{"value":"10.1007/B11938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900570$7A130B8F-6DFB-4F9E-B119-C7AA9220102C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4f2e0d4eef5aa5129e8f28d7db03091d0326de","datavalue":{"value":{"entity-type":"item","numeric-id":4899110,"id":"Q4899110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc5891709c7b6b9c3f8e0ce6a6d50ba37987e1c","datavalue":{"value":{"amount":"+0.778271496295929","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":"Q5900570$A217FD81-05C2-4753-AD75-B38A43D3D30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb2ca4dd437d69fa0567503e2a90c149abab972","datavalue":{"value":{"entity-type":"item","numeric-id":5311490,"id":"Q5311490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dfdac9def8fd2fa4e8ee3a3492e62258b32f40","datavalue":{"value":{"amount":"+0.7561359405517578","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":"Q5900570$2B92C159-0B64-440E-B45A-289F0FF2272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208ab436f2eebf1ec6e8ab1a87a3ed9971909a4","datavalue":{"value":{"entity-type":"item","numeric-id":5458863,"id":"Q5458863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af6eff7cebd0cd65d120d979ea26b1fd9675b7d","datavalue":{"value":{"amount":"+0.7554184794425964","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":"Q5900570$7C001283-61A0-421A-9FA9-7B32B1CFE66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94573cacc4593fcf3b2d11004054b00af1d5353","datavalue":{"value":{"entity-type":"item","numeric-id":2503042,"id":"Q2503042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1757c897c736aa50c33a40daaef1dc7a7ac0a9dc","datavalue":{"value":{"amount":"+0.7511650323867798","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":"Q5900570$AFD608EB-616C-4B22-B69F-7F61D2A2B42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79867a1e4b55c65803ebd525753ff6dd57053591","datavalue":{"value":{"entity-type":"item","numeric-id":1045942,"id":"Q1045942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2755ab5be5ab10dfaf7bea3730ede9d657df4f","datavalue":{"value":{"amount":"+0.7487427592277527","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":"Q5900570$40BC128C-2C52-48EE-9909-4FE2C961718F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900570"}}}}}