{"entities":{"Q4649292":{"pageid":6678873,"ns":120,"title":"Item:Q4649292","lastrevid":51600902,"modified":"2026-01-19T00:38:32Z","type":"item","id":"Q4649292","labels":{"en":{"language":"en","value":"Model checking systems and specifications with parameterized atomic propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109364"}},"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":"Q4649292$158B02E7-C17E-4BC0-A455-FB6E08FC2E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1efc6915c5d7c1c40031888e4acb08da73b341cb","datavalue":{"value":{"text":"Model Checking Systems and Specifications with Parameterized Atomic Propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649292$7BB9AA59-8542-4B3D-9819-D8420AAF88B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"719b7fa5d9a833304a8a288bc3ec62e538133d25","datavalue":{"value":"1374.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$AB07A803-4AD8-4C7F-8FC4-07239CA91A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300a1c5a18d658b256794907daa958b5661580e5","datavalue":{"value":"10.1007/978-3-642-33386-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$B92F6E44-6C4F-4A55-BE9E-A1A392D8918F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649292$0EEA4FCC-5C0F-40EE-96EE-2C90D86130C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649292$BA114543-D6DB-460F-938D-B37DAA2C0BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f54da6e19096b7295a17c11b9a25783abc5f44","datavalue":{"value":{"entity-type":"item","numeric-id":2232275,"id":"Q2232275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649292$17F3C171-B83A-4266-B4C3-9FC9B1402F08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649292$F394483B-39A9-4C01-96E7-3422450AD40B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-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":"Q4649292$598D8633-1FC2-4875-AC60-D9864E7501FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$C1C1EC6C-A2D1-4F64-864C-290EFBE2F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$819209CE-2665-4F2D-B237-796E8D281E09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26570599bf9994a1fec91276db79799bb7063db8","datavalue":{"value":"6109364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$24444A60-F9B0-48BE-A7E2-695FB9C7F934","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":"Q4649292$D3307935-0BAE-44C4-BF4F-2E8294E6F45A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30309890b87eec6ea875526a1e9764337f057688","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649292$F6411977-5D6B-4CDE-9447-8B142E2E21C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4e05204a6947271da4cb2835157f612223fdac1","datavalue":{"value":"W1551214401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649292$758B1A97-3AA1-4D0D-B4BF-283D61808099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60e7b9ca503b4c9b968da75c089a0b49a011536","datavalue":{"value":{"entity-type":"item","numeric-id":2331081,"id":"Q2331081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ce05b732a39a1d315fcb61f63649ef42ed96a1","datavalue":{"value":{"amount":"+0.7907710075378418","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":"Q4649292$D0FED316-F1AD-467E-991B-CE21ACB8E838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c6e415151f6d62fe724e92bb281df32157dd05","datavalue":{"value":{"amount":"+0.7752079367637634","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":"Q4649292$CD41C3BF-E534-4287-8577-BCC89C9F5F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a8e21ed2e63053d8bfa127eab10a23afa9cfc0","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fb8b794734c64f2c9eb7dcca8ba97f25c46950","datavalue":{"value":{"amount":"+0.7744981050491333","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":"Q4649292$081987CB-A0AD-4DA4-99F8-4498D2D69D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727e0ec11521a19b1a9e5569d54b42255e2dac15","datavalue":{"value":{"entity-type":"item","numeric-id":5166702,"id":"Q5166702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a35e90ab77b9454dde5e2d02f747228b504cc1","datavalue":{"value":{"amount":"+0.7726603746414185","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":"Q4649292$EF2EFB5C-3F74-426D-85B3-3DDCE19C9651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ece97469a3e719d12b9c43c27e1d2a2f71894","datavalue":{"value":{"entity-type":"item","numeric-id":2978518,"id":"Q2978518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743e3d40c010cd1e43af103391364c93bf5ff1c0","datavalue":{"value":{"amount":"+0.7690473198890686","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":"Q4649292$47AAF5F9-54D5-419F-AEC0-311C4CBCE6DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649292"}}}}}