{"entities":{"Q5256356":{"pageid":7285924,"ns":120,"title":"Item:Q5256356","lastrevid":91966523,"modified":"2026-06-05T00:31:37Z","type":"item","id":"Q5256356","labels":{"en":{"language":"en","value":"From EU projects to a family of model checkers. From Kandinsky to KandISTI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448718"}},"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":"Q5256356$85599261-B943-466E-94FD-870529B70FFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60bad240d220b237c56a02ca9daec53668031b2d","datavalue":{"value":{"text":"From EU Projects to a Family of Model Checkers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5256356$5622BF9A-F6DF-4B24-B8E1-D48F034F7B1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121e7afa00c46fa689de1e5ed21e980288c0d32a","datavalue":{"value":"1454.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$B7242107-9C46-4FED-8B12-FC37D9FDD0C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9f9607d081131924afb5cceeab1e60d4be8a2d2","datavalue":{"value":"10.1007/978-3-319-15545-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$CEC76780-8F20-40B7-9B44-32C429DD3479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$CE0FB768-9581-4B49-A1FF-387269D7B406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$4023247D-B338-4EB8-A878-2927DAEF2CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$7D67A6DD-6D9F-428E-96FA-9EC75AB3CE1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5e0fb570f569e128c7aaa0023b42f1ff2ef5c78","datavalue":{"value":{"entity-type":"item","numeric-id":5256327,"id":"Q5256327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$640A31CE-36BF-4A5E-B0EA-A6FD4EC81DE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80eedd2756b3c5cb35bb218ffa4134f7861c0b9","datavalue":{"value":{"time":"+2015-06-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":"Q5256356$F0041387-7CBE-44B5-A79A-00585D687BDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$B6BF6832-FE24-4EDE-AED1-4B097931EBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$5E7BF138-FFC5-4B62-A150-5B4A4A357600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e7fdcd2c402fb11a1b4740e6e0f6572690098a","datavalue":{"value":"6448718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$9E266C0D-8D7E-447F-BE6A-9CBCF57C03EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$2EB6D455-3438-4E2B-A724-DD9038F3EA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa0a015c7ff5550e74185ed9d70b576324c4cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":21724,"id":"Q21724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$2737C298-E44B-4800-913E-94064A19CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53e625b17a6ab3e76f980e56d1197419c1a0485f","datavalue":{"value":{"entity-type":"item","numeric-id":26376,"id":"Q26376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$5292CADE-8D17-458E-A644-B30C6CF04E79","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":"Q5256356$4898D8B2-F38C-4F64-9257-6D6C6289D84D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82939ba6131bc697172130c0c9ee1b249ce759b5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15545-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5256356$3F6DFA88-7863-44DB-9FFA-743C10C758D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6fe3631b61356a38c37ac34f4db2cefc2030657","datavalue":{"value":"W1678144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256356$8F862B47-3B87-4654-A1F2-CB78D9FF77FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$4B401AC5-EAC5-413B-BD48-DAEC90015C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$89973828-02BE-484A-8D3A-7D77C21860FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab180ced3b47c2b8623bcd604030684fb550dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$5A7FC262-6B8C-415B-83D8-01CF8E290DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa5e804042313ab1dfa37aeedf9972850545993","datavalue":{"value":{"entity-type":"item","numeric-id":3455083,"id":"Q3455083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$51797688-B77E-495D-AF4F-7A392A9AE71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5e721577e6d0e8b7720383abe5c422624cb8e","datavalue":{"value":{"entity-type":"item","numeric-id":2371888,"id":"Q2371888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$343A5D7A-4118-45B9-88D4-F6E43430F343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$426F8F5F-CE0F-4224-A27C-F749D95797C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042db5a1d6d45c0873a02f99f676cfe5a9b5ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5756484,"id":"Q5756484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$76FAB4F5-3157-4938-8E70-B2AACD5E2FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$D317F631-60D4-4601-9C99-94CF6F402FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d454cadb3803abca25d570126eea1da135d458","datavalue":{"value":{"entity-type":"item","numeric-id":3095246,"id":"Q3095246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$DC9CF28A-90BB-4A67-9A89-8B75C1D19967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256356$46614989-0FB6-45D4-BA4B-6139CBA6F38A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c756754a2e30b0b805c2b179c37ad7ee342b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":1870213,"id":"Q1870213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a2c08c252c6015f2ed7bb0ee09357969bd1567","datavalue":{"value":{"amount":"+0.7088728547096252","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":"Q5256356$19BF8D2A-19F3-464C-9EB6-5F03901AC8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed3dc7db7d813ee7440c2b733b19dc7b064164c","datavalue":{"value":{"entity-type":"item","numeric-id":5312936,"id":"Q5312936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22dd23393ab112fae0b7c62ca7471eec09ed3e0","datavalue":{"value":{"amount":"+0.6868952512741089","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":"Q5256356$E6F3D0AE-3E0E-4C4E-B631-B7AD1CEEFDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabee55129a1fcfc1622818e2cb3fdc081e217d9","datavalue":{"value":{"amount":"+0.6860212087631226","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":"Q5256356$3E5729CF-14FE-42C6-ACFE-B759A171103E","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":"bc862979d236bb16a85289360b98a61766def953","datavalue":{"value":{"amount":"+0.682680070400238","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":"Q5256356$3C84784D-1A6E-4D86-B15E-8A39E12AFB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b4afe538e85a0417c8407aea569382d5df2589","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48e773dbb2f3db53c65d81663be820360ee9cd6","datavalue":{"value":{"amount":"+0.6777358055114746","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":"Q5256356$86B8877A-ED71-4778-82DD-12EDE7417D58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From EU projects to a family of model checkers. From Kandinsky to KandISTI","badges":[]}}}}}