{"entities":{"Q1853541":{"pageid":1864283,"ns":120,"title":"Item:Q1853541","lastrevid":74322090,"modified":"2026-04-14T19:31:47Z","type":"item","id":"Q1853541","labels":{"en":{"language":"en","value":"Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857075"}},"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":"Q1853541$E1101B2C-63D0-4A76-9D2E-F85A0E181D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e1fffdaae2e91f5726fb1a05a7137b96bf9fa8","datavalue":{"value":{"text":"Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853541$9BB6EF77-ABE2-4FB7-97EB-9AF915A7DD20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf69d8ee8af87df4286448e0382b151f594b0e53","datavalue":{"value":"1061.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$9500F6C8-97C3-4958-BE89-D61466835507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ad405970a1f7c0160104827c8a4ec3f690851e","datavalue":{"value":"10.1016/S0304-3975(01)00337-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$3B333B9C-28C6-401B-8BD9-823E4AF32311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72bb661145d847bd188af63dd7facd787002875e","datavalue":{"value":{"entity-type":"item","numeric-id":241266,"id":"Q241266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$B4F1AAFA-ABEB-4DDD-AF88-5D8A12DCC2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$F868754C-26E0-46B6-BCEC-A94BB2652DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$D2E36C3C-DDC1-43A3-A87A-25EE9AB64E0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$03A56100-6772-4E81-8D72-72003836C95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853541$9AAAF678-4F86-4173-B4CB-1C2646EBA055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$D6C70D5D-1F03-469B-8F7D-7C57993A724D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$D6A8C15D-736B-42B4-B5A8-AA5C3E0FBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$8521BDF6-400D-421A-B379-8BA64DF40109","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12cca9e916243f64889f9f0f09df9a57e0c37351","datavalue":{"value":"1857075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$F1641307-E4AF-40A6-89EA-674A5D68179C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d40ef407e191229c2cc919905964f4a9c020ea","datavalue":{"value":"Minimal unsatisfiable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$4A555426-F839-4D61-950D-CF58A2821CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$54E361DE-C9ED-47E1-A9E4-2CCAAA7E79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f10bc329eab0f8e0030a3524d4d3e89075045e38","datavalue":{"value":"Deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$119CEC36-9C43-4D71-A068-E29E3637C408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b280aaf0d7a117fc368b192e63d44160845a03e7","datavalue":{"value":"Matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$DC6726B6-06FF-4970-BEC5-9E01B4AFA06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725f4c7e69b04347a4c2212a285a4d604dbb6573","datavalue":{"value":"Autarky","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$8EE54251-F3A8-4B4A-BED2-E592A65027DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e7a56b03fce2e41562bbd9d06c9c5eab081e95","datavalue":{"value":"Polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853541$28CB8399-AAF1-43D4-A404-181F20D1B4BA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b9783b1ed0b9b963b3090d9b327e244b73be008","datavalue":{"value":"Q60060025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$01D04A62-B164-4D77-95E0-3164AB2490ED","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":"Q1853541$D5F4B7A3-4774-4673-8605-9B21CBE40142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$A852A31C-0087-43FC-8016-7A0620D42A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86e72a26e33825519346307d94ebc6c9adfe16e","datavalue":{"value":{"entity-type":"item","numeric-id":751274,"id":"Q751274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$C96EA3A6-79B1-4C87-BCCE-147DEFB41ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61c5d68d33f8ea7723f3ac70afbbc88052e3402","datavalue":{"value":{"entity-type":"item","numeric-id":3258697,"id":"Q3258697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$E18FE384-7ED2-471F-82B3-15E934542536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$EE143397-341D-40CE-BFF7-D30515475F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$9834962C-33E0-45CB-8438-3A8A6EF6C748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$612CFA45-9059-44E4-9419-789BB55854B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$BA8EE901-5ADE-44AE-98F7-995171DB575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9a2cd4087851a84b2bfac35ce60d8bb18f5319","datavalue":{"value":{"entity-type":"item","numeric-id":3042418,"id":"Q3042418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$F9EDA9DC-0B5F-47E0-BBA9-7D167FD29C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187e1fb158e6b4695b1eefc466a8e0535eaf95e7","datavalue":{"value":{"entity-type":"item","numeric-id":5682014,"id":"Q5682014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$5EC9E5C6-F3F2-4B94-9BB4-21BA061C25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$DC3A9912-11D7-4E74-B2DF-553A1524AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981f2aa5602bf05aabd13fac87fec61adfeb287","datavalue":{"value":{"entity-type":"item","numeric-id":4263797,"id":"Q4263797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$2CE3D77D-25DD-4998-8B34-3E1203BF77FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$303C151D-DCF8-42CF-8FA1-34418B5956FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$8C143437-40C1-4FFA-82B4-117B0F59776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$CFDB60E3-E10E-43F0-8CF6-FCBEA1CC62B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20560673347fa07753fe40599896f4c6b70ef341","datavalue":{"value":{"entity-type":"item","numeric-id":1088987,"id":"Q1088987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$0456B289-00A7-4A67-A291-19B00FD1552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$221E05C8-5A59-43CB-A4D5-F5697125E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$BF2EFD75-AFEB-4125-BA66-E02D13B48B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4555b8516a2a6e9af4db748d7449dd969982e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853541$070B21A4-2F05-4051-BF59-369C60AA1F82","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ab613199bf0c053398a23b3b63ac5d8372f3f1f4","datavalue":{"value":"journals/tcs/FleischnerKS02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853541$324B8A77-E0F9-4BFA-894D-B93947A20EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9063d8828da2a85e9bc93eb404c3a02b388b10b","datavalue":{"value":{"entity-type":"item","numeric-id":3082962,"id":"Q3082962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b0c552d34ecf585d98840227eaa525b5323e35","datavalue":{"value":{"amount":"+0.8892991542816162","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":"Q1853541$46213983-C4B5-4866-B941-39095FD702E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9ff714fa2bf0640f604531d7bbd74f6f4b166a","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f55debb1a21397bad34a312fe86127a4fdb07f","datavalue":{"value":{"amount":"+0.8821298480033875","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":"Q1853541$61580CD0-6263-4CE4-B0CE-F31EACAFBB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ecb93b794022b0047bafb37df1c9cc3623ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":1853126,"id":"Q1853126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfb041c875b8e9daae142f0b61331b7cb6b06b9","datavalue":{"value":{"amount":"+0.8748469948768616","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":"Q1853541$6A0A00B5-F285-4C25-836D-326F7226FE44","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":"69963841f8b3745ccf0f374857dd838d47f3bc95","datavalue":{"value":{"amount":"+0.8451614379882812","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":"Q1853541$FED428EE-942B-4BF7-8622-4473E8C4B6B5","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":"9aea7b502e687ca4737d9f60397a71597c02d64c","datavalue":{"value":{"amount":"+0.8449357151985168","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":"Q1853541$CC864259-E569-46CD-BDFB-4F6DA5E10086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial-time_recognition_of_minimal_unsatisfiable_formulas_with_fixed_clause-variable_difference."}}}}}