{"entities":{"Q5136331":{"pageid":7165903,"ns":120,"title":"Item:Q5136331","lastrevid":53877734,"modified":"2026-01-25T21:06:15Z","type":"item","id":"Q5136331","labels":{"en":{"language":"en","value":"A dichotomy theorem for the inverse satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278111"}},"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":"Q5136331$85008F9B-F749-4408-BC20-4B0260EE9F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82acd9a0b42b7b3a31cfe15680d40bdf9b279af8","datavalue":{"value":"1491.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$7B5B2650-573C-41F7-9EF1-1B7B4564AE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14bf9162b740554f10f249160c6a8ec7be62f28","datavalue":{"value":{"entity-type":"item","numeric-id":340557,"id":"Q340557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$4D8837C3-AECB-4B24-8AD5-F38CA202C96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a60214f899072228899eac2888c688684b2536","datavalue":{"value":{"entity-type":"item","numeric-id":2221798,"id":"Q2221798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$1C07F4CE-6308-4537-A7D0-164FECB0D381","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136331$9134EC0F-A1CB-4B08-AD40-6C8390A1E4C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$5213589D-D30F-4EE0-AE5A-47038F65E205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$9B4E50A8-423B-4C7D-A940-406BE45AF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$0E25636C-57E4-4899-86ED-548E2C990519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$988B74C2-D696-4B0C-AB47-2609064B83DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14652a8eb52066d7af7f373ba1536dd31194ebe4","datavalue":{"value":"7278111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$A44473AD-93A2-420B-A4FE-9703AA2CF6FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f7f00897f333d8807e836f8b5148926d1762eb","datavalue":{"value":"clone theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136331$2627F7C7-4EDC-4063-8922-13D328E1F41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136331$28550CF0-C303-4331-B6A0-606BFB615460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136331$C18DEA1A-A8EE-45CA-BFEB-43232C7C88CC","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":"Q5136331$364AD7DA-2096-4CD6-B725-636EA7C50B30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78e2458c1ab8a5d1b9c9350300912ee6c71cab1","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$70EB0EBF-C92E-4911-86BB-10ABE82C40C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ed840054e7f655a624e64bea5ae42b96cba6ee","datavalue":{"value":{"entity-type":"item","numeric-id":937196,"id":"Q937196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$16E81618-8A84-4C94-A479-CE6D72ED9DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b95fad168eff7e162971f51061049b58880d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5504698,"id":"Q5504698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$BA12988B-262E-4E48-9843-2368691E82C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d9571fba27d91274408c6b1abd2f3213070da7","datavalue":{"value":{"entity-type":"item","numeric-id":955340,"id":"Q955340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$675715CE-62FE-4A07-850A-BA08BFC1A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$00F00F5F-646C-4394-A1C9-7944B10D673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$E7F940FD-A19A-43CB-999F-08651C846D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a5069e21a39ee93057000732bfaa763e1d5be7","datavalue":{"value":{"entity-type":"item","numeric-id":2345449,"id":"Q2345449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$10491433-B9BF-436C-98FC-EE93DCD91F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470dd9c55d42a17c07d8f9e5c2d60682fb7074d","datavalue":{"value":{"entity-type":"item","numeric-id":340559,"id":"Q340559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$D6403515-DC45-429F-97AB-CE2807DDC9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$9138D8EC-5A08-497B-A28B-0023E24D8133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$1CE1D0BB-742B-4263-96C6-75A0027DFFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d989c12c295419a7cc9e906c50fcd67b273d58","datavalue":{"value":{"entity-type":"item","numeric-id":2448853,"id":"Q2448853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$4FD7E9F4-52D4-4C55-9844-767489FB1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82abf87683e7226c5356d83bd4395f15c0f31d8","datavalue":{"value":{"entity-type":"item","numeric-id":3133171,"id":"Q3133171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$60DB37EE-2031-4335-883E-1E26471CAFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$EFB57E6A-4767-4C2A-B647-9AC242B0EBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebedbf13874b9ef42ab57c21d511466dac18346","datavalue":{"value":{"entity-type":"item","numeric-id":3918109,"id":"Q3918109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$4341326E-6EA9-4483-BC0D-EAFD88B4FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$988FB7AE-56EE-4224-8A67-3DF54E6C0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$0E624316-BD71-490D-976C-1323C038E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970665c78fafeb8980f58c02b850306265e3dccf","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136331$2C7F7B45-DF8F-4C5E-803C-E9C42E413EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"807d0a893cd3edfaa02e30f2b2c3668be83e83d1","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8374/pdf/LIPIcs-FSTTCS-2017-39.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136331$2A5646A8-6839-4AB1-9F0D-0D4433D98C07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b31c6eeee95b6c58a204487413672495baa8f9c8","datavalue":{"value":"W2788734544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$9EF935AD-3A41-4BB7-A1B3-C98CF187D3D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4e4a63d7773dbfa89db82da25aa9af8355b6a6","datavalue":{"value":{"text":"A Dichotomy Theorem for the Inverse Satisfiability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136331$EFF20E85-E3DB-4ADD-AA62-7E886C4FFDAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b2cc9c1e8f39e43bd7a9055b58390d8023ab86e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136331$29931A79-E318-45F9-85D8-7FD5D27B1236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991633080ded167b5f480ef478c0504097ecf149","datavalue":{"value":{"entity-type":"item","numeric-id":2221799,"id":"Q2221799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e4b8f17e68ed93ebb750ce9b762a500ce8040b","datavalue":{"value":{"amount":"+0.9304698705673218","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":"Q5136331$2E421F86-DC41-4839-8F79-6337EEBE730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d066f96ec8d55d189c19ba338856541f779c34fa","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da6bf38721d71322954d98c17ab464f9d859412","datavalue":{"value":{"amount":"+0.8794865608215332","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":"Q5136331$7BF9AAD4-69CC-4CA1-928F-56670E8990F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338ffbdc9a04c9baeb6d37021fcde9208068b560","datavalue":{"value":{"amount":"+0.7792030572891235","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":"Q5136331$BA6A4D7F-A265-4F67-96BE-0085B14675AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8067314dfa8dec77f08c98ec8630779dcefc0","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe9c574630b5b6847aa24af5c137661ab6dfd47","datavalue":{"value":{"amount":"+0.7737832069396973","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":"Q5136331$3258F5A3-AFAD-4979-9A4D-69093E7EB5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9a8d7354122c67343d654b6d768ffb48a33419","datavalue":{"value":{"entity-type":"item","numeric-id":4608627,"id":"Q4608627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32458d0905f325f3e98df3aee85146849e7a293","datavalue":{"value":{"amount":"+0.7670087218284607","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":"Q5136331$C1B7AFAD-5131-4055-B3F0-8BF57EB0DC79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136331"}}}}}