{"entities":{"Q5953447":{"pageid":8130249,"ns":120,"title":"Item:Q5953447","lastrevid":47728195,"modified":"2026-01-02T13:24:05Z","type":"item","id":"Q5953447","labels":{"en":{"language":"en","value":"Constraint-based deductive model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694301"}},"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":"Q5953447$8F04366D-0A4F-472E-94A1-3AC3CB350420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77dc1aaee86cab0e4f52c9ebd1780a01fdd3bac6","datavalue":{"value":{"text":"Constraint-based deductive model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953447$9D899E05-A05F-489D-8AAA-B9E20E0DA417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"174687ac55863da5a1143d347254c229712f03ce","datavalue":{"value":"0991.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$6F5FA815-9A04-4D2A-9438-E2842DF9D135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953447$B5053FEE-829E-444F-8D7E-E018E66E6E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953447$7A1738A9-99A2-4DE1-962E-AF4CE52FB0F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953447$DE00CC93-E3EB-444F-8056-A424BEE66086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953447$9787F76B-FA6C-4B28-90CE-BB8F542099AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$41C02DE7-2CAA-4DE7-89B6-6B6D8058FE55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92d02cf6ed1fb371d45e42e3d5fabd87e395566e","datavalue":{"value":"1694301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$598AC0FC-D38F-49C6-961D-8AB814E5F38E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953447$94D72FC9-49C5-4B1A-83B7-A1E3AB9F6E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953447$E5D56106-64C0-41D3-95CE-B4D33B29D284","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953447$DB2840E8-9F6A-4923-9692-7FC6F8CEF5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953447$D1336F1F-4C98-45EC-BFF8-81D299AEB8E5","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":"Q5953447$430DDC87-762C-4040-8F82-04DD2DDF4ABA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3154f1fa233b20bcedb7b6c25e15e7b9613aa23b","datavalue":{"value":"https://doi.org/10.1007/s100090100049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953447$E15674A0-350B-44B6-9E53-17ADF4F87AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8278ab5f7906776250975b249ff5ac538a478ad6","datavalue":{"value":"W1813383841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$5572399D-DBE5-4345-8ECD-64401BAE59F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e876a4e0f9daa5322765d5f256e758c7d1592c9c","datavalue":{"value":"Q126579025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$6F75700B-4CBF-4571-992D-8B2B3DD286FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0019ca7f5b1739afaacc9b43763c50cab74b40fb","datavalue":{"value":"10.1007/S100090100049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953447$CD63E3D4-9B81-4F0D-9617-CE6802B78883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0143549ab0739cdae5b91cd5d47e09062d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79232496fe954d0c005f0917e68a4a181601e065","datavalue":{"value":{"amount":"+0.8679255843162537","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":"Q5953447$382FCE04-DDEF-4595-B7B6-8A20FD0D121F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357fdc1081400accebcb4cc2759e2f909830b551","datavalue":{"value":{"entity-type":"item","numeric-id":2767073,"id":"Q2767073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2019ffec3ab8f990066378dce9daefbe10b48949","datavalue":{"value":{"amount":"+0.8407000303268433","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":"Q5953447$67A3100C-51B1-4A27-B98B-49CF40C4A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e73a1f4dde1e9986d2e5257583ed1c518b8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":4809160,"id":"Q4809160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0167c8704f79c52242f20a72f2005e22e960257c","datavalue":{"value":{"amount":"+0.8264028429985046","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":"Q5953447$03437BBC-CF00-411E-86FE-3B82A803F48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6095a483677cd3488c82536909ea8f2d0b9b2e22","datavalue":{"value":{"entity-type":"item","numeric-id":2722046,"id":"Q2722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa4c849a9f6302885436727424343a5b2f80475","datavalue":{"value":{"amount":"+0.8071909546852112","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":"Q5953447$B5577FBE-E9D5-4724-A63A-20895B465651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f255c8930eb9a924b316e45efef096ffc92973b5","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3303b5d2d76e86c926f01208209c57b37148b95","datavalue":{"value":{"amount":"+0.7947892546653748","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":"Q5953447$1C280CAD-A82C-431C-A55A-B41D9D2259FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953447"}}}}}