{"entities":{"Q3331209":{"pageid":3341917,"ns":120,"title":"Item:Q3331209","lastrevid":48721438,"modified":"2026-01-05T17:21:37Z","type":"item","id":"Q3331209","labels":{"en":{"language":"en","value":"On the unique satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863186"}},"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":"Q3331209$3B140FC9-0880-45DD-814E-4E052784E231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10ae95a031c7369d5766bb1e2514c10a5cace464","datavalue":{"value":{"text":"On the unique satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3331209$3FBA5DEE-1C2E-4525-8605-A9B581B8C747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5080aed8faf8ad1b9f7c361882a7c23a8da8dbfd","datavalue":{"value":"0543.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3331209$648CE900-9F1A-4228-A5ED-8199CBBF2F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"797cab921aa493b695babe7a3c27c845987cc762","datavalue":{"value":"10.1016/S0019-9958(82)90439-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3331209$E30CCA3B-5D77-4B77-8D68-A05BE795B3DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3331209$21BE6781-450B-47A4-B2EC-23D35270CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3331209$0721630E-75DC-4C8F-9FCA-6630295B9C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3331209$951FB4D9-1EC6-489C-BBD8-C1D67FF846B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3331209$F4504BA4-B7C4-4C25-995B-1FE46032E989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3331209$0256B3E7-515C-475E-9665-BD8A420B9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3331209$0EA6CFA2-0412-4D93-95A1-C3B342003115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64c93d646d105f6be28530db4e85e91e0ab3d7ad","datavalue":{"value":"3863186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3331209$455B87CE-386F-4643-B6E1-93F0F9DA90F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b4a1c903bdbad63491df93be09359d9b4e135b","datavalue":{"value":"unique satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$4B43DB5A-22BB-4C99-92FF-60E64FF93A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158dda8c4a746799a6a46ef33bd6a1c279ad7e69","datavalue":{"value":"complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$C74D2FEC-5407-4676-B9DF-F46810466873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7719323754f59e63d59d7a4a589a8edd41d18c4","datavalue":{"value":"relativized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$64A8F762-E406-4451-9E12-6EDEA89B1ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b24f1aa6cd117f8c401d3bedaa0f98cd20ebd7","datavalue":{"value":"oracle machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$4A771D2A-2C1B-4BBF-B3E6-76A17ABDA847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$48E275F4-42DA-4883-9F3F-E671AE52E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12bebbfe5ebf3780fada27004fe873ccb59de944","datavalue":{"value":"truth assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3331209$06341123-5C58-4C09-B317-01B2E9022EE3","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":"Q3331209$57AE57A5-625B-443F-99EF-5C2C2A0A0A65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45faa1f7f58dad4b17bbe531548bc272c172ea77","datavalue":{"value":{"entity-type":"item","numeric-id":4542538,"id":"Q4542538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e96be05660ecb3e932629e6495fcfe3effd73eb","datavalue":{"value":{"amount":"+0.8495610356330872","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":"Q3331209$0D1CEC85-4B49-45A1-86E1-8153C3BDBCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6456c7d409da6b9e2de61a1cd646ae0a609b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4930606,"id":"Q4930606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e96be05660ecb3e932629e6495fcfe3effd73eb","datavalue":{"value":{"amount":"+0.8495610356330872","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":"Q3331209$F6B45CD3-2DA6-4C17-9E08-D6A8BF825E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7d84aac28aa4104c6f9771421b418b2d3a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3292057318f1ccc2dacfdfc81bc2c6e52ea3d2fd","datavalue":{"value":{"amount":"+0.845022439956665","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":"Q3331209$E11FD803-F5E9-415B-91DE-17EBD9D45217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451fc3a6fbdfb9bbf958bb10b2350c3b5488d1c9","datavalue":{"value":{"entity-type":"item","numeric-id":3392942,"id":"Q3392942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3292057318f1ccc2dacfdfc81bc2c6e52ea3d2fd","datavalue":{"value":{"amount":"+0.845022439956665","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":"Q3331209$9ADD184C-F9BE-449C-A5DB-117D2F0A7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537314e78adb983f01a6dfb2ea52a847aa9eaa2a","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85ea386e5d733b7bd1e2f88fa99dfce117caaf2","datavalue":{"value":{"amount":"+0.8032500147819519","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":"Q3331209$1214FA51-26D8-4AA0-AC78-968BF1E6589E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3331209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3331209"}}}}}