{"entities":{"Q2880609":{"pageid":2891329,"ns":120,"title":"Item:Q2880609","lastrevid":51447122,"modified":"2026-01-18T07:00:15Z","type":"item","id":"Q2880609","labels":{"en":{"language":"en","value":"SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6024061"}},"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":"Q2880609$9CF9FD88-1794-4114-93B4-C3C29B5F2A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c4d61d1e2f4233782eafbac56333dd0ae0c73e6","datavalue":{"value":"1249.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$CCA45FC6-C74E-401F-9170-DD74656CF666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97fd20f90c1a925f15cf1a12d1c8cbd10b35082a","datavalue":{"value":{"entity-type":"item","numeric-id":2880607,"id":"Q2880607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880609$5B8097E8-A8E7-49B9-8CD5-3B917D24DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880609$0BF5CC9E-6B2D-49CD-8FF9-789B0A40648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"297015ac2683ab81153f85697ca265cb1c347d2e","datavalue":{"value":{"entity-type":"item","numeric-id":2880608,"id":"Q2880608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880609$C5ED126F-E7F6-4BD3-91B3-8BE026DCB999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2880609$16ED0E81-664A-4232-A830-F4D07A00CF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$275B79DF-F60F-466A-BD48-3AD0CF740180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$1C917579-59D3-40AE-A92E-6EA987F3A97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$70FFA76D-9485-4C5A-B576-FBB012D1E253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$FFE13909-21E6-4A04-90C6-6CCF4A0B3EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$4EDA067F-4C12-437B-90A8-1294BD89A8CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29738c8e63bb66b58ff20252b33ea43bfaa06d34","datavalue":{"value":"6024061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880609$A501F57F-CE8A-4041-846F-4AF07106AD94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$F6C6B0B1-4072-4CA9-ACA0-89616EE3EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$3C96FEE0-E6DE-4FC0-AC85-9767A78C6765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$1FFC0F71-3297-42B7-A92A-753FD10C5EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd93d41dd450647e2b7f58c8a113ee7016f5b411","datavalue":{"value":"tabularity property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$7B9B732D-124C-4478-9FA2-16A4B76E9120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$DFDC7EFD-6F5A-40A8-970A-557B95E12014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$3CA01632-93F0-4E2E-987D-5031896D04A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880609$D940F2B5-D8A1-462F-8F90-BC9AA781F90F","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":"Q2880609$B2FDF633-A21A-4433-BFE5-2025B6990D65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90112b58004e576c7efeb22907fd818c4198e68f","datavalue":{"value":{"text":"SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2880609$9B6790BE-C5F3-4486-B623-0217C758E72E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880609$53E5A0E8-1CD2-4FFA-A929-884FBBD5F7B7","rank":"normal"}],"P1643":[{"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":"7d5ae537a2786b0c075295621a56fa1116af8130","datavalue":{"value":{"amount":"+0.733290433883667","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":"Q2880609$76E94336-8500-4AC6-9655-2B0A80184258","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":"700a5cf4d8dc2e70a16394aaad9edcecf8faa2d1","datavalue":{"value":{"amount":"+0.7261574864387512","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":"Q2880609$99399401-6DA0-4A77-8F23-9364EE78BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105f4f9435e73b484cdea43aa82d13581262506d","datavalue":{"value":{"entity-type":"item","numeric-id":2882965,"id":"Q2882965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423081dbf44d67c8bc39f63c8daddbb1bf2401a9","datavalue":{"value":{"amount":"+0.7227806448936462","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":"Q2880609$188CDA31-354D-4A1D-A909-8765CA250C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0464a52f9d2f7ab7c5d617d9c46a0c10af42b21","datavalue":{"value":{"entity-type":"item","numeric-id":4863689,"id":"Q4863689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a2bceca5d56d7ae2671d2bd6e520df8ae2474a","datavalue":{"value":{"amount":"+0.7184417843818665","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":"Q2880609$3FEDD40A-9EF6-4C0E-B3EF-F06CE713496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70943295161ad2962d6ba9390cbdff8f31b6f501","datavalue":{"value":{"amount":"+0.7171758413314819","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":"Q2880609$85DB99D9-C758-4CD2-9D5A-B101A0A8308C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2880609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2880609"}}}}}