{"entities":{"Q2751043":{"pageid":2761782,"ns":120,"title":"Item:Q2751043","lastrevid":41969502,"modified":"2025-05-19T22:01:35Z","type":"item","id":"Q2751043","labels":{"en":{"language":"en","value":"Evaluating optimised decision procedures for propositional modal \\({\\mathbf K}_{({\\mathbf m})}\\) satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664326"}},"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":"Q2751043$2ED6BCC8-719B-466F-875E-56D851556E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6fc646554b9a1cedc60585105767893e94bed1b","datavalue":{"value":"0980.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751043$FA65E87E-DB7E-4F98-930D-B304FE0F3F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751043$CD37D7B2-C449-4AF3-A884-FD815EFFF5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ead71bb496cbcb553019c9478b7d6a0b70e1c59","datavalue":{"value":{"entity-type":"item","numeric-id":1115427,"id":"Q1115427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751043$957AF904-0782-44D9-8A72-F8F2A4ED0E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb1c6756959a58d27f6df0bc0f4a2c614f247a86","datavalue":{"value":{"time":"+2001-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":"Q2751043$73975710-1D4A-450B-8EC8-76FE2BD2F5C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751043$E0912784-7E1B-40D9-A941-FA929C56A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751043$5C703EE8-2042-4926-A9A9-38A541EB04AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751043$AC46C50B-64FD-48E6-B220-EC84E7351CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8627671479fcc73c257f166ae7f6b02c714daa","datavalue":{"value":"1664326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751043$0F0028C7-9AB6-4EB7-A087-D55812B12C0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751043$1723130A-2424-4B85-AFC0-C523B799F6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751043$B565FAB4-4476-4A99-89B2-2298F9E0A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6857fba9078b21f028ef9b79fde672dc1bda9984","datavalue":{"value":"propositional modal satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751043$AA348249-82C1-4A04-BE0D-511583D68D36","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":"Q2751043$3A8ECDD6-95C3-480F-85A3-C0B6D0A762E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272ad52d0da9b56c44c773fba787faafb475454","datavalue":{"value":{"entity-type":"item","numeric-id":1610668,"id":"Q1610668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb6ea10def4f62b2cc1cd32d441e63669547797","datavalue":{"value":{"amount":"+0.9953104","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":"Q2751043$3B5A0F30-9F2D-4D42-B791-2A9570D4DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961b0f31bd62392ce3a17b7af6f85a3593277879","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b743c8fdd66d345b577e2f58f6b54b66fdc2fc46","datavalue":{"value":{"amount":"+0.88033664","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":"Q2751043$1EB5D49A-C889-4F21-B2D3-7D53D3B00CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb13cc492623077969c467c8b5baad17f6203901","datavalue":{"value":{"entity-type":"item","numeric-id":4536400,"id":"Q4536400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f40f306e38d46bfc325c9a121c2034a4f85c7f","datavalue":{"value":{"amount":"+0.879511","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":"Q2751043$610EE786-BF23-4111-A1FB-26E9CF9DF627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a346a609ac5aaf9cd996606d65fd351fa8979a","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53b494a86919f6614290d12ccb54cf85438007f","datavalue":{"value":{"amount":"+0.8787807","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":"Q2751043$0852A607-AFA2-4098-9C87-2C540F5DF535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d90664c94ba083786810082ec76ef79068490bf","datavalue":{"value":{"amount":"+0.87842655","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":"Q2751043$B2FA3564-C0E3-47ED-A437-01ED25FA058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b195073253ddbe86816d4cb6290ec1b2f289f3","datavalue":{"value":{"entity-type":"item","numeric-id":4217959,"id":"Q4217959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d500a0d4d0d018a59fca5598e8c1ffcb094177c9","datavalue":{"value":{"amount":"+0.876693","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":"Q2751043$AB57645C-9FEB-4662-B5BA-D84D0F6C059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4247961ed77b7a22e2192f953c29f42930dd8438","datavalue":{"value":{"entity-type":"item","numeric-id":1426002,"id":"Q1426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d361dc8d7d1e68d1b6d77ebaa78ecebc8f1878d3","datavalue":{"value":{"amount":"+0.8706061","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":"Q2751043$6A801D05-7F98-4486-969E-29D560D62FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a48923c4666a5035e6a9ee81d12c98ea0b43222","datavalue":{"value":{"entity-type":"item","numeric-id":2915084,"id":"Q2915084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcba5a2ff5b8aef41cea740cde7f75944a61e46","datavalue":{"value":{"amount":"+0.8678684","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":"Q2751043$0F63922B-F8BE-40C9-8164-4F147C3CD346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d883a7182066e459f9c0977189ae13d5442898b5","datavalue":{"value":{"amount":"+0.864623","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":"Q2751043$7801914D-E784-4914-860D-3ECF59C3F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9777691384a37ebb734d81a224bd3d1efd77779e","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acab13b08872214aacfba1365011a3dc72c3ada5","datavalue":{"value":{"amount":"+0.86387384","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":"Q2751043$CD2B9D60-1578-422D-B93A-EFC7ECF9BA2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f2b63494c816a71e274885cceacaf159854ebe","datavalue":{"value":{"text":"Evaluating optimised decision procedures for propositional modal \\({\\mathbf K}_{({\\mathbf m})}\\) satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751043$7F8759CC-16E9-4795-8624-95DA330D01F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2751043","badges":[]}}}}}