{"entities":{"Q4736755":{"pageid":6766335,"ns":120,"title":"Item:Q4736755","lastrevid":48304798,"modified":"2026-01-04T07:37:31Z","type":"item","id":"Q4736755","labels":{"en":{"language":"en","value":"On deciding the non\u2010emptiness of 2SAT polytopes with respect to First Order Queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081817"}},"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":"Q4736755$25D0FC23-6B5F-47D9-9041-BFF3BE6A09EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2511d17b285aeb4eae222a8bf24010bd7a28ae","datavalue":{"value":{"text":"On deciding the non\u2010emptiness of 2SAT polytopes with respect to First Order Queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4736755$899E3E00-841F-464E-88BD-35170E7CFF1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"487b641f5e2688ca37b4b0aab106d7c377c0904d","datavalue":{"value":"1073.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$3C58FE3E-E11A-483F-A052-72716544E8F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736755$3DC0BBBF-F7FE-4C2B-B6B0-709C2378717C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736755$CE0055F9-656D-4485-ACFB-5A205A7A8C13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$B8CA3243-5315-4FF7-87DC-0A28C149A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$57B8718D-E075-4402-9343-ECDF9A8794A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$B26487F2-45E6-4D15-AEE3-C1B42DDED330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f80bac234879bb2fa51eef66de6411f52ae959a","datavalue":{"value":"2081817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$3D56841D-1DC2-4657-92B8-1DE5C7CD37F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d81f572157261f704377cd7cea58be03c04703a","datavalue":{"value":"2SAT polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$40E2397C-01C5-4DCF-BFB5-851CEC6E0AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a368cd6782976d1b88e01bc288501b4a14e8f74a","datavalue":{"value":"first-order query","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$B6BCA96B-2018-4551-A869-948D8448D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b478f253af6b2276b4bd7fb15d88c3efdd740f1d","datavalue":{"value":"lattice point problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$7611D16D-F42A-495F-B01B-F8499E1FF3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16781a4f8408858db81fc1f460ceb0a3946f02a8","datavalue":{"value":"quantified lattice point problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$B231CB5E-4F88-43FC-88F6-34197E03AD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$66B22FD4-E022-4937-A2FE-19C7EC008E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736755$6E6A9DA8-28BA-48A1-A8C7-799C8B0AB7B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736755$7811F46C-AF3A-4A9B-8A35-19DC85096DC6","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":"Q4736755$769F1FCF-19BC-453D-B10F-68B031446005","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fad482346712ab93aafafadc8f341d44fd9b63de","datavalue":{"value":"https://doi.org/10.1002/malq.200310099","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736755$2E424939-84AF-4FD4-8E5C-972E5AE12A4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17faf09425d11005937f985e572f9a9fad0e7944","datavalue":{"value":"W1964809718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$DEEB4168-BABF-4441-9CE8-53D3EE3E0556","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97e728d5318f53d1df9f6cbc7c5cf7c2fdc47ea2","datavalue":{"value":"10.1002/MALQ.200310099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736755$79E1893F-AC72-4D82-9405-1F7F9CBCB857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee749b8016eea6e9aa999fdd063e75f442743dc","datavalue":{"value":{"entity-type":"item","numeric-id":4808721,"id":"Q4808721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d9d9da92a4416c6f75b3f4769e0a8ea298c819","datavalue":{"value":{"amount":"+0.9372487664222716","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":"Q4736755$B997CF68-5C95-4570-806F-020DF1356BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb52269eeabb9da239a1911795d57861fbbf0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":2741538,"id":"Q2741538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac18d8522329034dcda7f5cec659ce0e619718f","datavalue":{"value":{"amount":"+0.7895766496658325","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":"Q4736755$9EF703C2-100A-4E3F-A8F3-3EB54CC1DC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd5270a42829f48fe662631f1211d87c7e576fe","datavalue":{"value":{"entity-type":"item","numeric-id":2311345,"id":"Q2311345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cf32e82b907dd6ba35bb2343401ff734e9a837","datavalue":{"value":{"amount":"+0.7244071960449219","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":"Q4736755$E2E26F81-873B-4D25-8828-32973F631FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5282e977cd3d516d1b24623bdfacbd29cc7fc0f0","datavalue":{"value":{"entity-type":"item","numeric-id":4258616,"id":"Q4258616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be267118dce4de5c9c6752657d51214ba2b4c9c","datavalue":{"value":{"amount":"+0.7135781645774841","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":"Q4736755$1A7CAD75-7830-461E-B00D-09E675183AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5d08da4ebcf5bf8f79e8e4b9dc61d7f8468a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3340499,"id":"Q3340499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be267118dce4de5c9c6752657d51214ba2b4c9c","datavalue":{"value":{"amount":"+0.7135781645774841","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":"Q4736755$BC993B75-6576-47EF-8D07-F5716876A178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736755"}}}}}