{"entities":{"Q4608627":{"pageid":6638210,"ns":120,"title":"Item:Q4608627","lastrevid":53047394,"modified":"2026-01-24T03:02:03Z","type":"item","id":"Q4608627","labels":{"en":{"language":"en","value":"A preliminary investigation of satisfiability problems not harder than 1-in-3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851897"}},"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":"Q4608627$0A8D9E27-3781-4520-8DCA-EE9CA28C2E7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36faea20b6bd75a2db69b4e26629e68aefe99273","datavalue":{"value":"1398.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$6C8499AF-15D3-47C9-9CC8-76E3FD0D2614","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":"Q4608627$6E7C0739-3F0B-4C21-82E4-FFDB7B5D9301","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":"Q4608627$948499E4-AA58-43E4-8465-957CCEA828AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608627$1CD3B26D-5FD1-432F-A304-C806E0FEBB66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$FC600224-4D22-409E-9418-AAFBA1FD8417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$35BFC904-CEC8-4C8B-902C-A34466D71D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$EE57C016-F993-4FC2-B283-88273D3E842E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b08acd57534f7caae5dd4af521dc6847ac035a","datavalue":{"value":"6851897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$CD170F89-F947-4A79-AAF3-8D121E376B3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f7f00897f333d8807e836f8b5148926d1762eb","datavalue":{"value":"clone theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608627$4FC66B65-5181-42BA-8DEB-33FE923D3118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608627$FF521925-49EB-40C0-AF21-9890BE5D68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608627$13D7BC7F-EFB3-4B46-869F-AC5BB29E46C8","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":"Q4608627$BD66BDF7-242B-41EC-A018-F6C9E48D8E6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fb30f60486d60b9ee3b0437980ebb87971b2db5","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/mfcs/mfcs2016.html#LagerkvistR16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608627$FC8E34E3-769D-469A-9135-4612945C1EF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce8c676acacda6e70d26ebc87d0420b590b52893","datavalue":{"value":"W2548856372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$27B2CDEA-A1AF-47E0-928A-1D9F259B0EB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2bf85ba0f323cb1c4e03773d281b40bea2d4035","datavalue":{"value":{"text":"A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608627$8DFE4C90-286B-4193-AB8A-704A4803A375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cda239efd9610cdbb01cff05adc54d1a11706f0","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608627$0F1AAEE6-45C6-4BEC-A0FA-7DF3870F4CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2717f81b06cc3edc038993ccd7b2377666ed9c","datavalue":{"value":{"amount":"+0.8371244668960571","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":"Q4608627$CF1F4DFB-37B0-45C7-A130-4B93FD590950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73031b6c517a4cb27504c670a466ea4b9c51c02f","datavalue":{"value":{"entity-type":"item","numeric-id":340559,"id":"Q340559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66142f1d0226e5fd242f286c89aacc3e749d4215","datavalue":{"value":{"amount":"+0.8185660243034363","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":"Q4608627$380AB45C-DE1A-4EA4-98C4-160E7EB79412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cb07bc4ce60b5d17450e70cd67cefe1ffb45a5","datavalue":{"value":{"entity-type":"item","numeric-id":5111231,"id":"Q5111231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40508ab8061944c4e19ebf1b318ec7ba0cf5f1da","datavalue":{"value":{"amount":"+0.8156956434249878","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":"Q4608627$4B10B563-1DA3-4E26-87D0-1FCF8D5319C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d95fbb50472908c17ccd14fcd423092b2fa7352","datavalue":{"value":{"entity-type":"item","numeric-id":5868883,"id":"Q5868883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b6e2364d4e2155c67be27925184337dfde4590","datavalue":{"value":{"amount":"+0.8067863583564758","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":"Q4608627$0DE9737D-D17F-4FC8-91EB-B7FDC01C3441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e5ce7c7708f327a36972787933cd4dc83e063b","datavalue":{"value":{"entity-type":"item","numeric-id":5061878,"id":"Q5061878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4daab0d11a40701a7249ee634a46e3a0f1d268f8","datavalue":{"value":{"amount":"+0.7905945181846619","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":"Q4608627$BED4D269-A862-469E-9816-75A03744E666","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608627"}}}}}