{"entities":{"Q3434502":{"pageid":3445205,"ns":120,"title":"Item:Q3434502","lastrevid":88194185,"modified":"2026-06-04T13:52:56Z","type":"item","id":"Q3434502","labels":{"en":{"language":"en","value":"Complexity results on minimal unsatisfiable formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148418"}},"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":"Q3434502$B4409FC7-1452-4FA7-9BF6-992B9E21DA9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db79ff91ebabac01914206888790dbc76698dab","datavalue":{"value":"1116.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$81C3F1DC-C6BC-4CC7-9B1D-F2F725D9F3F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434502$1CBEE926-A050-4A6F-9F00-B9D7BA280926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434502$EA1C6B1C-39E1-43F4-9B02-5AC9050F8BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$2A07ABAB-7F1D-4D2A-9864-99FF30F080E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$74B46B0B-4703-4121-8CA6-4921FFDC3D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$BCD61753-8129-4F08-AC35-D51E0B6F8604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$43693646-7330-4916-B6D6-E52C072FB3A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f241fb0cbc85e2a7122e8fca5c281ee54033292d","datavalue":{"value":"5148418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434502$D76F8435-2DDD-40D0-A7AD-39D5E3AD9F2B","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":"Q3434502$2FE2495A-7A2B-4979-9E17-448E95521D34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f3b959abc5df196425724c440feff6626db7e9","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d66242d86797dc4ffee4311a42d1573689c89f4","datavalue":{"value":{"amount":"+0.8894979953765869","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":"Q3434502$3426AC4E-F2B1-4848-B842-06780A2BB7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cfb41756e8ccfefb4b225fce6e9d3280f5e028","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33ac2ed86f314489ace2a92c22fd8aaefd5e583","datavalue":{"value":{"amount":"+0.8637435436248779","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":"Q3434502$829821B3-73F0-4565-8CCA-3FAB42E08AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b794518fd502dcea6c4eacc8cbe76fd24be9682","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301284be73708683fa6c54e80166c19e583bd43e","datavalue":{"value":{"amount":"+0.8359438180923462","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":"Q3434502$6197E94D-8CD9-4A0C-98A5-5CB36BD36873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f9f440b5025f4259c3aed9e33eb7275d9f0ecd","datavalue":{"value":{"amount":"+0.8216862678527832","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":"Q3434502$D9777852-EA7E-45D0-B74F-2D17063DDD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246510fd0c60250673f3c57b553e5dc170341820","datavalue":{"value":{"amount":"+0.812110185623169","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":"Q3434502$B6A36253-88DF-4F2F-89A0-2A2179795BBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity results on minimal unsatisfiable formulas","badges":[]}}}}}