{"entities":{"Q5900561":{"pageid":8006242,"ns":120,"title":"Item:Q5900561","lastrevid":50943431,"modified":"2026-01-15T21:06:05Z","type":"item","id":"Q5900561","labels":{"en":{"language":"en","value":"Quantitative verification and control via the mu-calculus."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688255"}},"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":"Q5900561$C0C33B65-65D3-4D0B-BFF7-25C34CE65575","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":"Q5900561$15931C7C-95A9-4BDA-86E5-CBFD7B52A5B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"686517b1180d79c15582f639ca4b4ee656216162","datavalue":{"value":"1274.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900561$E5E6858C-1928-460D-A0F1-955C3D19C87A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900561$97E4FCD8-DA35-4F6B-9267-B344DAE7F21A","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":"Q5900561$7D9BA286-36DE-4676-9715-7E2AB327B307","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":"Q5900561$A2D6026B-CD02-489D-ACC4-C22993FC0ACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900561$EBB89151-DEFA-457D-B124-DB45C62CFDF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb6083e7b6fd09904090942aa0922e95ea8a429","datavalue":{"value":"5688255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900561$F0B13092-0E1A-48D1-B300-556523CC17BB","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":"Q5900561$76C96E64-AC56-446F-81BB-C02BA3AB31A9","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":"Q5900561$99EE67D3-2ED5-4F0E-A164-1A7571298697","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eaaf20f9ed31f0c15fde1ed29c348788f9f57b3","datavalue":{"value":"W105220891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900561$3A137DA2-6B32-4E55-A5FC-F723BE7923D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ea868ec13643df31e0c2cc2ea726be761a8967","datavalue":{"value":"10.1007/B11938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900561$ECC8C04F-AD6F-4A12-BBD9-2542FC03F945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1aaf70db04af2f607aa7054056191495be300d7","datavalue":{"value":{"entity-type":"item","numeric-id":5431352,"id":"Q5431352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fbb9f964c21d7930d18bcda347f183da7c4c11","datavalue":{"value":{"amount":"+0.8325398564338684","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":"Q5900561$C46C4CD5-4030-4989-9AED-95D51A4626EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6d3ab98c35ebf2d12c29c1f91478543164464c","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670c85f20b965ef18f8fdbf911c460aa38b38a84","datavalue":{"value":{"amount":"+0.8117280006408691","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":"Q5900561$270766A6-1605-476A-88CD-E4AD599B25CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4dba186ac45c577518fbec63dff14a0c02e22f","datavalue":{"value":{"entity-type":"item","numeric-id":2914242,"id":"Q2914242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849c6195796c23b6cbcf284a4dca3dd93926ace1","datavalue":{"value":{"amount":"+0.803229808807373","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":"Q5900561$035290BF-F4BB-4412-A130-8495DC4026BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd60f48cc796fd22c189b256781dba13ddaddbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3012936,"id":"Q3012936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567b549b3bd340c7274c71387b51fe9d9c4b52fd","datavalue":{"value":{"amount":"+0.7922560572624207","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":"Q5900561$E1BCB934-152C-4EF8-9EA6-E94B0B2ECC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ead53a50a376c6be777398fde5c64a243242e23","datavalue":{"value":{"amount":"+0.7869769334793091","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":"Q5900561$25600684-BA90-40FA-AE03-CA4E3194197C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900561"}}}}}