{"entities":{"Q1799062":{"pageid":1809804,"ns":120,"title":"Item:Q1799062","lastrevid":53239709,"modified":"2026-01-24T12:59:47Z","type":"item","id":"Q1799062","labels":{"en":{"language":"en","value":"An assumption-based approach for solving the minimal S5-satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958088"}},"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":"Q1799062$56011405-9701-44F5-8DE1-ACA327E0D94D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e110754474f88d1f49420ab1e55f832ce8ecaf2","datavalue":{"value":{"text":"An assumption-based approach for solving the minimal S5-satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799062$D51584E5-90DF-4E09-8217-248DEB63322D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3430205537155da6ee571227656ae66825e83ac","datavalue":{"value":"10.1007/978-3-319-94205-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$23A22EF6-5400-4939-BB04-92069F29DC3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$50B5A37A-C5C1-4312-B99D-A10C2553DB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$1973B7E1-29B7-4FB5-89CA-572D58DDBD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09766d888a0213ca4fbb8f44744783f688574e","datavalue":{"value":{"entity-type":"item","numeric-id":970090,"id":"Q970090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$DEF0C3E9-80DF-48DF-8C74-E31056E69A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c104ed3b8d9c31e8cc3c8d5cae6b9898ceb6b0af","datavalue":{"value":{"entity-type":"item","numeric-id":1799061,"id":"Q1799061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$8E119F49-C04A-43D9-8911-0799B35C6D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799062$50A2C368-428A-4199-9D2D-019F95A241F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$6A9C26D1-E020-46F8-8043-906C93289191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$DD14EA9C-BCB5-416D-9570-93497F4D54EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$1603E1B5-B624-4A33-A694-8EA4F431C2D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e97b697e6f8ae3f09d1655f8d92c5fd04111887","datavalue":{"value":"6958088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$14BC2BDF-B4B8-45BF-AA3B-2B05A750ECFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799062$D9832C0B-FCE0-4770-8E20-30F6121947C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799062$DB571D45-19BB-4D95-B773-0BE487D8CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632762b52d729f21e0acc6a42018f8e0d67fd225","datavalue":{"value":"incremental SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799062$5B245F14-DD35-406B-B2A7-5E0C1C52E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae8844fb4afa35253d54126900473b330ca958","datavalue":{"value":"minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799062$FAA9185D-71B3-4D73-B2BB-7146DB3639A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$1145E304-63CB-4919-9964-1EAF1AC4955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$F22AFBC5-ED82-4F0F-B02F-8A88166EF455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$CA555B5B-3A85-426A-A44F-96A60C8D23A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$43D0DB43-8114-4970-944B-2C3D0F970E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$EC2EEA4B-1BB2-4C47-9FEA-433A4E71CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$6057AE8B-614D-41D8-BF30-78C1C90FC92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$19205B73-FD62-4801-B43E-2484F41DB445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$10CF0CDD-7668-4D0A-8E14-52DAB2D10F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73e63da46ad72634f3f2787f78c121045ed2916","datavalue":{"value":{"entity-type":"item","numeric-id":35221,"id":"Q35221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799062$B5CEE00A-0258-4C30-95FE-43BC5E894B48","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":"Q1799062$1B024420-912D-448B-8749-190687B98DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c635676c02b38f0c94cdb5e364c33ba1f970cbe","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799062$A5B5E65C-0F38-4B48-947E-2FB39AA7DF4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f03a0ce4434538b46c60f6026e352bf214008da4","datavalue":{"value":"W2810892201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799062$03C3C6EA-F51B-4200-80D8-FBF89ECA3F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80301423f2ed00db159b434b086a73ac036347bb","datavalue":{"value":{"entity-type":"item","numeric-id":5326466,"id":"Q5326466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdb2e228093d58461a55bbe4ec1ee32ece13216","datavalue":{"value":{"amount":"+0.7300532460212708","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":"Q1799062$C6279B2E-1DC6-4756-9B60-9E804D3A70FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0754782f566d9cbefb4f929f977e929866a52e9","datavalue":{"value":{"amount":"+0.7168290019035339","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":"Q1799062$032A63D8-B0E4-4395-AD61-6F01D973BD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ac58c1580b01d84b0ff2c452eefcac724d0f92","datavalue":{"value":{"entity-type":"item","numeric-id":2849495,"id":"Q2849495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3de208ef5c23dbab326ff0331ffa74458ed9c54","datavalue":{"value":{"amount":"+0.7155004143714905","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":"Q1799062$335539F4-C618-4117-9551-ADDC06CD8016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b695b185e452e074e203b9cfdcfa0c066d69e77b","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abceca6c9f7a32d4ccae450acd8bcb0d93535ee","datavalue":{"value":{"amount":"+0.7095032334327698","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":"Q1799062$C0321C84-821E-47E3-BD27-EBE536BBBB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c4466195aeb3e5a71dfde54a3d77737c40506b","datavalue":{"value":{"entity-type":"item","numeric-id":5897228,"id":"Q5897228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4132e89821771215907c2966b67bcf8a22b5ec4f","datavalue":{"value":{"amount":"+0.707947313785553","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":"Q1799062$68926351-70F5-483B-99E4-FE0E7C2963F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799062"}}}}}