{"entities":{"Q1610667":{"pageid":1621407,"ns":120,"title":"Item:Q1610667","lastrevid":72328326,"modified":"2026-04-14T04:09:48Z","type":"item","id":"Q1610667","labels":{"en":{"language":"en","value":"SAT-based decision procedures for classical modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784328"}},"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":"Q1610667$8E42CCA0-8A66-434B-932D-5BD4A7912441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71f2f959f5d93114b6f453f3ce2b1f8be4b0862c","datavalue":{"value":{"text":"SAT-based decision procedures for classical modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610667$5CDEB1ED-A5F3-4325-9FBE-AD759F1440D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a0140a173e169a37f6ca878578427ab3006646b","datavalue":{"value":"1003.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$8F424BC8-4C63-4774-AFB8-B8130D4302C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23a01c245121a7592ffd6b0e410d42daeaf01952","datavalue":{"value":"10.1023/A:1015071400913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$A049FC4B-D259-4B36-BB72-32F2EFA067BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$1E916BC3-9BE5-45E8-9CBA-454F113ED454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$070B3AB6-3A0B-407C-9F29-15A5A0312D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$74A1584F-D0BB-4EA4-BA22-19FA4086508E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$9F9DB19F-FF28-494E-9907-A807C82CEEC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610667$22AE7D30-B2CA-4228-BCE0-ACAD3DD77ACB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$ECBF74DA-B425-4620-AB15-11820FA7C124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$C7BC30B4-D1FE-4996-8795-411C3B87E32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$88266D0C-7CAF-449A-A38C-115A9EB5C33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$8DA5FD02-9D01-4461-8771-E03087A3FEAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eededc4ec39e3d8da5f961d10417c28f1675aeb7","datavalue":{"value":"1784328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610667$569EFD79-A86C-49BA-8192-07F2B5F64D73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610667$E48FC836-ED5B-48ED-B850-E66AA8828423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4b1bf6fd754a4232c3b07a418ee7dc58192cce","datavalue":{"value":"SAT-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610667$79045919-9924-4C31-9DDB-19EA569BCAFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$0A99221B-DA1B-438D-91E8-B3DA6D84C381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610667$FD13BAC8-C6D7-4C61-A49F-F89688B6B7AB","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":"Q1610667$63B1AE2C-E915-4D30-8DEA-340BFF69544F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0b34a1519966477279cea262c6f333129c480b","datavalue":{"value":{"entity-type":"item","numeric-id":2751042,"id":"Q2751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1610667$C628C8CA-E2E8-47BF-A306-EE6775A4179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5f321bce2072a037de1a81b4790f837eedb037","datavalue":{"value":{"entity-type":"item","numeric-id":4518914,"id":"Q4518914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1bde39991b192cd8108df690c6e7acaaa98cfb","datavalue":{"value":{"amount":"+0.9766433","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":"Q1610667$B387563B-396E-4480-BD80-3970A493CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce20faa85abaadd0590ef2b07949ebf865b12b04","datavalue":{"value":{"entity-type":"item","numeric-id":4247692,"id":"Q4247692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b161a8c9226838390db243ff0420fa16a916e4","datavalue":{"value":{"amount":"+0.9459254","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":"Q1610667$5C9DBD83-DAE7-4977-B819-A905ECDDC5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f24703132ac65ee15a13791fc2064f671adbd3e","datavalue":{"value":{"amount":"+0.9088445","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":"Q1610667$00797921-DD86-4473-82E5-781C402509EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dd60e57dfc1f26dac213ff2121d626f4d8d30f","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd25c810cbba1cb682570fd13939b9e4a00559f0","datavalue":{"value":{"amount":"+0.9087572","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":"Q1610667$A026B207-AA76-46F6-9545-205EE77C4093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cc7799c7b5b7425acb71634f2637a42e3e0cb9","datavalue":{"value":{"amount":"+0.9083091","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":"Q1610667$2BB8CBEC-D8EE-4EC9-AED6-4F50E5DBBA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0800ca8225f5e2f1c4ce81f2a76d643d123599a0","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97872741a7f623515888702881b7d6764636a9","datavalue":{"value":{"amount":"+0.90161407","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":"Q1610667$E0E4091B-78A5-4677-87E7-747ECDD65945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78647c42b4985b6971dbcc2faca81087d8bcb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d34e742d5f71e26651dbe3ac6f3c3287e913bc8","datavalue":{"value":{"amount":"+0.90103877","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":"Q1610667$B92434D7-B863-478F-B973-B9F344016663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f104792b223736a01f2dede804bd80df3f430f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275d90401c42bae78f46d5b520c4c8b7d67cdb29","datavalue":{"value":{"amount":"+0.8934775","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":"Q1610667$196C6CFC-2AC2-4131-96D2-85ACBC1BC9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab973b8d5ba960320d1a0ab12864aa84fcb9047b","datavalue":{"value":{"entity-type":"item","numeric-id":2350219,"id":"Q2350219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7431fd75f7a633bf0161a394a080565c966de690","datavalue":{"value":{"amount":"+0.8914534","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":"Q1610667$74D00C26-F080-46AB-B7D6-4B88884C2E76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based decision procedures for classical modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_decision_procedures_for_classical_modal_logics"}}}}}