{"entities":{"Q2735980":{"pageid":2746719,"ns":120,"title":"Item:Q2735980","lastrevid":41949645,"modified":"2025-05-19T11:33:32Z","type":"item","id":"Q2735980","labels":{"en":{"language":"en","value":"Easy instances for model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637173"}},"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":"Q2735980$774819B2-3832-4ECB-BD2C-BBE03F713E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e40ca956682cc38b4257303c655974a3378a87ce","datavalue":{"value":"0977.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$4326A5F4-D44D-47F5-A255-AEBEBCCC1486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b112ceaae6eabd09e396156bf812f4eb5b078","datavalue":{"value":{"entity-type":"item","numeric-id":705068,"id":"Q705068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735980$D79983E0-29D1-4BB7-A831-9FA2DB4CE419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e42f77e6bc23737c831f0dab74893fd923637345","datavalue":{"value":{"time":"+2001-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735980$C7DCC940-9408-40A4-8D76-F35463C6A2DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$07E7B4E2-7D14-440A-86EF-0476A3B56268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$71A8F1D0-FCE9-43F9-B6FD-FBB8DBCEB823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$8F8E4F15-C568-449B-A2E6-E13E9F07150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$BEDD733F-5A35-4E2D-A856-5DA6DE4E1DD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddf099189db76d9e9e829d3ff2351b983a6fbb02","datavalue":{"value":"1637173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735980$281A4BF3-23B3-4A7C-8E41-287356C8C5E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735980$22713103-C04E-4123-9284-C07B67D8F45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735980$F1DDE415-58DA-4D32-BA47-F33FBFA46449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735980$34A72565-BA2D-40B4-8B79-ACFB29302848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735980$F5CA0F6D-8621-4939-AFF3-D05AD746BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f03366b2c8d0c0bc485c466a90b337204b823f","datavalue":{"value":"model-checking problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735980$4F85ACD5-2A81-4A51-BAC8-4A979F2F19B0","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":"Q2735980$FD112156-9C4C-4858-BF29-A66490CE67BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c772e1b6b8e8a8ec29bf0f6758eb499ab1616a2","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b961b638a50d8e802ae8a5b7f080d3cc5b23d58","datavalue":{"value":{"amount":"+0.88484126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$CAD24931-C7A0-4D01-976E-59EA17F6AF00","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":"6f2a7f60897f6caf8ac8a526330b34cec7637327","datavalue":{"value":{"amount":"+0.8467561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$F5E50E47-BEB8-4DEC-82A1-D4B0DE04F1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a0b4111a50d568c974f205e7c8bcf650e98200","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab67b33ece269abbac7883583b127258c898b8e4","datavalue":{"value":{"amount":"+0.84623206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$6548AAFA-476A-48F0-90C1-6CB922887BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df05e67001a3d925a0f385d66f91eaae0817cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4994706,"id":"Q4994706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49390aea5fb1d43c3455c7956737564b5441f245","datavalue":{"value":{"amount":"+0.8434309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$49F3CB15-20D9-494B-A9D1-9EB6F6F6A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f436796ae869c7866cb24a7b8262c489995b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5492980,"id":"Q5492980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b2c251fa74b4544ebc42523638315ac75d3076","datavalue":{"value":{"amount":"+0.84263325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$482B65C8-3D46-419F-93D6-D829F46884D3","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":"b06c2a489a8d63fa043b482b253b79ca604cfed9","datavalue":{"value":{"amount":"+0.8405203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$C0EEB828-0494-4697-AF83-0E0D0D19D5E8","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":"09e2fdbec91db7c3db71120a58718515ee3b74b2","datavalue":{"value":{"amount":"+0.83660245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$64D91413-C421-47A0-A818-D0E8377120C8","rank":"normal"},{"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":"f7dc8667e15e29b3d3d89256c0bf1ade439dc18a","datavalue":{"value":{"amount":"+0.83653796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735980$CC25AAA6-7C65-4DCA-962A-E988DB790A5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa74c0e90135efa67d1e2bae36de750247417bb","datavalue":{"value":{"text":"Easy instances for model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735980$E7137E1F-6D3F-4AB6-A0B9-BD5145613FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735980"}}}}}