{"entities":{"Q2915023":{"pageid":2925743,"ns":120,"title":"Item:Q2915023","lastrevid":44729361,"modified":"2025-11-25T13:19:20Z","type":"item","id":"Q2915023","labels":{"en":{"language":"en","value":"Moving Arrows and Four Model Checking Results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084900"}},"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":"Q2915023$809B89C3-7F19-4270-9169-9CC09AAD6118","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55aebb81f696d0872efa450f61aa7ac0691cf90a","datavalue":{"value":{"text":"Moving Arrows and Four Model Checking Results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915023$5BA8BE71-0498-4753-BE3D-3DA457DA8C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a69fe8d394df8107ef0b72fada01b9d9e8ce63e1","datavalue":{"value":"1361.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$CDF2DFBB-086A-4A29-A27A-5F204046FDCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9148123ac2ba5184938ae44d23f183e7c6aa454c","datavalue":{"value":"10.1007/978-3-642-32621-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$A808A3C6-320D-4408-BA50-2D60AD76E6A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915023$FB344040-E279-4FE9-A4E4-ABF9BC57BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915023$2FA24FBB-BFBE-407A-8390-C4E0ADD726EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915023$F6279613-769E-4416-A077-08D6149F5C0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915023$C0DFDA02-50BA-4EFE-A790-1186B8F3C857","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915023$8609D6C2-0E09-49B8-9ECF-B7042F16B6E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$91A17260-ACED-495D-800A-A7CAA9E9576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$2906162D-B992-4B5B-A959-DCAFA544904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$7D4F77F1-F9C5-48AE-92BB-0C6613AE7743","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71faed33a365f720365afae2c05984668ec28191","datavalue":{"value":"6084900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$57A02E61-76CB-4A52-ADA1-3DCE681E90A1","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":"Q2915023$5F45C385-52B9-4221-A2B7-937AEFB904C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c5cc0bc99609e8d3470ebeae2d4ca6d2d3557fa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32621-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915023$AB9C0495-0739-499C-A516-DBD7EAF42ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8895d6b6ba42d3f00b27354d6b7f0e05178cdbc","datavalue":{"value":"W69058103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915023$CFE20B87-F63D-455A-A710-C504AC4ABA0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164acd45a64d8cc2192ba662fd78406c212c3089","datavalue":{"value":{"amount":"+0.82037926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$EFA7D99C-1D27-4375-8EC7-34AF3E6C0963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04b50cd4f97c7dbf3a7beb36f4302c86f22a98","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee33a987b2a27e4e9b735f05664d032d4f1aeee4","datavalue":{"value":{"amount":"+0.8176223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$8B57305D-B5A2-4B3C-B033-CF2B69F1E371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2615a80c7eb018825c3d1db80f608f6b3d80bc2b","datavalue":{"value":{"amount":"+0.8169613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$482569AD-B93C-4912-8238-219B1655B6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca1889f486fdd5f801e7e500872896855df29b","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858405d35018b121c88328f39bf083acad6f49cc","datavalue":{"value":{"amount":"+0.80871826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$F553512E-7B04-4970-A30E-70FCC23E4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294c1f7b0ea036977ebaa59d6b0e135709b2975f","datavalue":{"value":{"entity-type":"item","numeric-id":2842114,"id":"Q2842114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5f1e0500a71a98d20b4f9bb3a789e1e909b533","datavalue":{"value":{"amount":"+0.80768055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$C55AAB56-DBD8-40D0-95BF-A660B3F832C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d243a98104280c4c3ed1bee625943b2fc02aab39","datavalue":{"value":{"amount":"+0.8074166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$7B122154-5A07-47C0-94CF-DB8D8F6BA1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107154cb2017712b4574d775bfe98512b9c05bcd","datavalue":{"value":{"amount":"+0.8050852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$883E1330-D12A-456C-8C44-F616BDAADB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3d1c51400fb674fba00e2228757e6e4183ce34","datavalue":{"value":{"entity-type":"item","numeric-id":1648886,"id":"Q1648886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd189708340a4420538177d93e311e6ffd825ef","datavalue":{"value":{"amount":"+0.80492616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915023$E7D6A3E0-7DD9-4567-A21A-CA20B399710B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915023"}}}}}