{"entities":{"Q1380432":{"pageid":1391172,"ns":120,"title":"Item:Q1380432","lastrevid":67507374,"modified":"2026-04-12T18:28:37Z","type":"item","id":"Q1380432","labels":{"en":{"language":"en","value":"Hierarchies of polynomially solvable satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123700"}},"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":"Q1380432$F9BB295B-0212-4829-9F88-1F5D52DBCBE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6cc831c5b0e18d9da5b925bc7723bef27ac39e6","datavalue":{"value":{"text":"Hierarchies of polynomially solvable satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380432$ED8FF2BB-5B66-4F18-9487-66900DB4DED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"451255bdf7f83b00f8e654fbedcd2f781ef854d1","datavalue":{"value":"0891.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380432$7C429135-7DAC-429B-A474-59363BF3B295","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a7a1d7a4bd883b67c257c38aca49f11101177be","datavalue":{"value":"10.1007/BF02127974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380432$A35A4940-CBAD-4571-A041-21589AA1F7B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a293a9ce82b4253e6b403cab38fbc131fcb98","datavalue":{"value":{"entity-type":"item","numeric-id":613475,"id":"Q613475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$BE0C12D9-926C-450C-8F0A-62CF4D51161A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$DB3F00C9-3E64-4DF8-9713-105E9612E16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a46d7ed2be515f1109275f35494322d35fd95b","datavalue":{"value":{"time":"+1998-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380432$03A8C5BE-2511-4257-8DF1-BAAE45FA1762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380432$0006E7A3-11DF-4473-8610-6A4AB1EA4C5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b5d6907887c59621235f4b9431439efd6ebe31","datavalue":{"value":"1123700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380432$D0E98771-A8ED-492A-8C70-DFC7EDD19690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4628391bc7e2f29119ced30c12a75c601307e8","datavalue":{"value":"propositional satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380432$CCD49B2E-8A2B-47C6-9F64-E75D8EF8FFA2","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":"Q1380432$0370BD5F-4CCA-4703-AE8B-F0EA4DA264D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc02dd393daeba068a538742544af1d01d7236b","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$D1ADFF56-31AA-47BE-8606-DF36C001E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$D649590B-F33B-4F8C-8058-BB411261855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef315ab5ad899918c3679cb795f946fa31b7854","datavalue":{"value":{"entity-type":"item","numeric-id":685363,"id":"Q685363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$623900BF-D51B-4078-983A-28A7C6A407DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$C94A0455-3807-402D-96D3-5CC471B6EEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$891EBDAF-E35A-4799-BE1E-E07E977C65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddae42721643d87fa0fa62e8eb51411c2aac507","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$2C03D8AA-6668-4D91-BE15-8F3F8C80B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$7ABA23B0-057F-498A-B3A2-76EEAC1FB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f50fe41c220e27dfe716a1bac722b4324e7f15e","datavalue":{"value":{"entity-type":"item","numeric-id":1804878,"id":"Q1804878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$EFA619A7-7572-423B-BB65-11ADA565750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$4FEDED2C-3E84-4BCE-8079-0ED8A39DB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$169EA1DE-3FA5-4A3B-94E0-17E9EAA88DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b353bc1298597265c71a16d3c350d4e62f0e57f","datavalue":{"value":{"entity-type":"item","numeric-id":3677734,"id":"Q3677734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380432$FAAE4C65-28B1-4D50-972B-EB6F73177573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f145644c622b4e625d56dfcbacbc60bbfb3148c","datavalue":{"value":{"amount":"+0.8716225624084473","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":"Q1380432$49967136-84F2-43DF-8EB8-E3539193F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef37a3e9d81c7daedadd6c94f75da5e5790107e","datavalue":{"value":{"amount":"+0.8711671233177185","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":"Q1380432$18CF0D36-8A0F-4ED1-B390-1CE979C05025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dff7bcce7cc9619d1f2879285177956c39aab73","datavalue":{"value":{"entity-type":"item","numeric-id":2387427,"id":"Q2387427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28712105fc4fa74947ddf2ec2f19121665453a85","datavalue":{"value":{"amount":"+0.8363451361656189","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":"Q1380432$7123730F-F1A5-485F-A88A-C0AC2EE688AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714e4a9e7f1408587fae8225245f16eec36c4018","datavalue":{"value":{"amount":"+0.8001431226730347","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":"Q1380432$E0E50180-C76D-475E-9492-30B1F1932981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchies of polynomially solvable satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchies_of_polynomially_solvable_satisfiability_problems"}}}}}