{"entities":{"Q3184685":{"pageid":3195393,"ns":120,"title":"Item:Q3184685","lastrevid":50792804,"modified":"2026-01-15T04:57:23Z","type":"item","id":"Q3184685","labels":{"en":{"language":"en","value":"Model-Checking Games for Fixpoint Logics with Partial Order Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619393"}},"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":"Q3184685$4715DC49-FDCB-4B92-882F-59B079C34520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca51e47d8d732a94ff0d6cd12a3fdd272792129a","datavalue":{"value":{"text":"Model-Checking Games for Fixpoint Logics with Partial Order Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184685$6392B672-FA23-4072-B375-1F022E0E046F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1669197df6f6973e8317f9dacfd028a205044bef","datavalue":{"value":"1254.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$F50E7A37-DB88-45CD-91B8-82C58386251B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c86d3cce98a66bb93ed6cd00147ea1cf374978f","datavalue":{"value":"10.1007/978-3-642-04081-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$FB3E50AD-F35F-4368-8B30-CC141FA7D597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$E66C08E4-312B-44A6-857B-E2EB81B97C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$90264E6E-804A-4078-B73D-F799B3BDBCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$0F087E46-1AAD-45F6-B2B1-1DEE9B474FB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184685$C1CCD600-F983-448C-8589-718CB983E995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"803f396a6a18ac9f41ed51521c068c6666a923d5","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:0c1cfae1-feb8-4a87-b03b-fb31f13aaeb8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184685$B886D21E-E943-49EE-A8AF-2E5B4427966C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$5F8D465C-9A8A-4046-AD88-0276F58DDDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$70B18907-A097-4C38-B9CE-72AB44C9C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$E5859E69-F002-4BA1-8D60-7186DB615BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd5762506c5aa61f3204e4f584ecf6f128881fec","datavalue":{"value":"5619393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$6F554D1C-732E-4507-8DA3-72FC657A886B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3184685$AAF1BADB-E9BE-40E0-8131-34CE6647A747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d873906c6b05644f4875e18068ef8ccf5f70580c","datavalue":{"value":"model-checking games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3184685$AC74ABEC-5A7D-42E6-8EAA-52BF95788946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3631ce054bbb6641bb32a6e6855ce32e620065","datavalue":{"value":"Hintikka game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3184685$314E3DF8-1154-432A-8F07-7DAA1680E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5574c28f0cc856d80cc4d5549c62933dd73b6a46","datavalue":{"value":"partial order models of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3184685$92179515-8957-48FF-B5F5-1D508CAFCD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3184685$5BE023C5-2030-485A-B04E-78FFB35297CD","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":"Q3184685$278D0EF8-B01F-4E60-AE68-3D232B8EB01D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61d7bd7dfdb42e63e483bf4614303e72193b3920","datavalue":{"value":"W1720837145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184685$43690CFD-7EBB-4A38-8C38-3CD6C81F2608","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$9B66CE7C-3BBB-4155-A7DC-EDA2B9D4D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a84b650b52768d1e5ce8ad3174210ed0cc4389","datavalue":{"value":{"entity-type":"item","numeric-id":4916199,"id":"Q4916199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$EF6E2783-C807-40C3-9F99-6EAE949A20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4655dc37d8fb0adc7f681684ac655d481db130a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617720,"id":"Q3617720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$F3A8FF23-2CA6-4695-A8C4-4AE2E3B5F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$B5809FDE-21ED-40AB-8BD0-B5A624B84A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3ce9f2c865da557411c6ce45966293f3fdcb97","datavalue":{"value":{"entity-type":"item","numeric-id":5942992,"id":"Q5942992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$9200AA8D-3205-45CE-9F22-2935333B9AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184685$29F1575F-257E-4DC0-8C3F-658AF20B5126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae0df9b052f38faac5ff96396c472935978d41d","datavalue":{"value":{"entity-type":"item","numeric-id":532389,"id":"Q532389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181ad9f726d6fd194a43b7c906e9d1e38d09f955","datavalue":{"value":{"amount":"+0.9747216701507568","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":"Q3184685$666DEE59-325C-4D75-B428-D4C30F7438BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbab99c8536286d098e12eb913a4c5e00e6a0aac","datavalue":{"value":{"entity-type":"item","numeric-id":3003356,"id":"Q3003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc45ac14dd46a89552692fe05898bc3cc9f87a74","datavalue":{"value":{"amount":"+0.8172381520271301","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":"Q3184685$64542B52-E9AD-47AD-8782-A459B227A755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4fc8b1bc7bced5db6ddf804741a5696cbcbbfb","datavalue":{"value":{"amount":"+0.7902500033378601","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":"Q3184685$6A709434-94A9-494B-A7E4-FE6DF4CE243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed436863729a89dda07dea5f0a0fe303d9a8c512","datavalue":{"value":{"entity-type":"item","numeric-id":4484491,"id":"Q4484491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5575714a4abb56a68020af45fc1ef60854c425e6","datavalue":{"value":{"amount":"+0.7891612648963928","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":"Q3184685$61BF4C02-3CEF-4346-88D0-3255D1D503EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92064452ea39acc1818f8b73d96c659c6cbb4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2996154,"id":"Q2996154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e25b323fb843953022d7a5b2bc3d3dc51ca5d9","datavalue":{"value":{"amount":"+0.7843676805496216","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":"Q3184685$6DC5DBD2-B00F-4EBB-9E7E-FE2A6DAC8C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184685"}}}}}