{"entities":{"Q5498869":{"pageid":7528429,"ns":120,"title":"Item:Q5498869","lastrevid":52195754,"modified":"2026-01-21T03:34:12Z","type":"item","id":"Q5498869","labels":{"en":{"language":"en","value":"Tractable and intractable classes of propositional schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6400835"}},"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":"Q5498869$403D1A4D-C208-4469-BBFB-D0E158E903DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2c550915e32221d07f824d8ee84090337e689e2","datavalue":{"value":{"text":"Tractable and intractable classes of propositional schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5498869$1452B252-0356-4546-BEE5-8AEC0BB3A44F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90fd135fe1d7ee90f216f69d5e577a42eb5ff359","datavalue":{"value":"1344.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$CE91149A-A889-4A77-81C8-E14F63F427CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498869$D1083B6C-B275-449D-B6FF-5A48C2597335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc30e3d1cdbed8d53f5ef52b13c295e4add263f","datavalue":{"value":{"time":"+2015-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5498869$D5CE4D88-8FD2-4D72-BCEB-FC5D99715DD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$768B51BC-4230-4197-AF3D-22BEE6349918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$B46222E1-D577-414B-93B4-F5423A65311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$CFF46435-85F8-4D50-86B0-C238C767F489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321ab6b9dd4397b26e7071c03be677049e07a177","datavalue":{"value":"6400835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$4B048FFE-8969-4C34-A7BA-AC3CB91AFD58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498869$3DB03E3F-004F-4FF7-8C46-3969AA999319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e69fceb77fb170f4d75cfaca9ae84cbb5fb0964","datavalue":{"value":"iterated schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498869$0EB5AC7A-8CD8-4828-887C-1FE209874D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498869$794ABC80-ACA9-41C2-92AC-4A3C049200B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498869$842B4372-CD2F-406B-84CE-38D6A1A1475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29147387eed55a0f3f8fd87c7777123189944d5","datavalue":{"value":"bounded quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498869$E97687C4-90EC-4860-B9B4-43CC3DE32E16","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":"Q5498869$88F0F352-F60F-42FE-A15F-28AE7B359D0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e878c93708c9f07bf69a7374aaf7d7bdfe326e1a","datavalue":{"value":"https://doi.org/10.1093/logcom/exu013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5498869$55F2C6CF-7384-4621-A34F-220DFE5A1D8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a87ca00b2a2e2eca94dc14a6b1cb6957ff47f89","datavalue":{"value":"W2162803372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$20F5A025-2F5A-43CB-BD9B-DC7A4AFFD922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7dc21801a9fb34812dbde2b04b6a59b232936ba","datavalue":{"value":"10.1093/LOGCOM/EXU013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498869$9E367557-4518-48F9-98D1-BB0146B06449","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498869$3CBC56DB-191E-47B2-9D69-864360BD9EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4420cdb81854993fda5b8a25ec8de5074484caf3","datavalue":{"value":{"amount":"+0.8780299425125122","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":"Q5498869$026ED636-8BAE-4117-989E-6E423A06CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5a8642b05d0b4332ee50f284d9395de86290ac","datavalue":{"value":{"amount":"+0.8298720121383667","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":"Q5498869$15A58AC0-EEAC-4F0C-814E-046FE493201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189c1123acddeb4d0da53271b5bc5c74279d56b","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6807ee53c542b11545ba956fb4d017cb4557f1","datavalue":{"value":{"amount":"+0.8234479427337646","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":"Q5498869$5228665A-28CA-48E3-A30B-49CF58096E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eced778ca8a133c24e6193a3a92105e82ee2858b","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565a72a8039d21d46f1c6f98f352ee8919820481","datavalue":{"value":{"amount":"+0.820225179195404","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":"Q5498869$744E3AD1-1C46-476F-82DC-4E8220727E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe17c855d4117ddab26111917a10e36dd79afdf","datavalue":{"value":{"entity-type":"item","numeric-id":2907331,"id":"Q2907331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55ff36f20dcebcc3eacbb969ef293d68e7b13f0","datavalue":{"value":{"amount":"+0.8028185367584229","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":"Q5498869$D07694AA-99A2-4FC6-9C61-106A627423FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5498869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5498869"}}}}}