{"entities":{"Q3606145":{"pageid":5636051,"ns":120,"title":"Item:Q3606145","lastrevid":50581097,"modified":"2026-01-14T11:26:10Z","type":"item","id":"Q3606145","labels":{"en":{"language":"en","value":"PURL: a new polynomial-time solvable class of satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5519222"}},"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":"Q3606145$D6E7F535-FD71-42AD-B560-A138FB9F065C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"825ac4975a4cff19f3df50b86201c80aa430272b","datavalue":{"value":"1159.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606145$EFF2F8B2-C8C4-425A-A61E-7A9DA566A5EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55a60ed9d0978631083185887ef049104cf61bf8","datavalue":{"value":{"entity-type":"item","numeric-id":546276,"id":"Q546276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3606145$1E34C8C6-AF3A-4E4B-A91F-78A5D9987519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8617332624c0e7f65e9c4375758e079e1391ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2456630,"id":"Q2456630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3606145$654D0E63-A533-4765-AA9B-DFF637444453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d67e02631961d6a95cc2ac639c9dc6095ae2b","datavalue":{"value":{"time":"+2009-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3606145$F07AD00A-44FF-44E3-A7C3-9FF281B373BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606145$4C51E8C0-0379-4835-A91E-85BD997D0EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a81f8b07104bffd6433add5e5d2bc9a0a5e437c","datavalue":{"value":"5519222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3606145$66521D6B-F68B-49D0-88BF-70C1DCEE3810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606145$1C408A78-3EF9-4A23-A71B-41E37F4537BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606145$AD2CA1C4-CACB-4437-A251-E394391B4937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da9de732f2a3d6176ed287123b088b550186869","datavalue":{"value":"CNF-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3606145$34B3B9EE-EE4F-4188-9DC9-7A4262B5A336","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":"Q3606145$C526FA3A-49C1-40A0-9CAB-D7777C82A087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af26372f8488092a28deb7345d27371562709b8","datavalue":{"value":{"amount":"+0.7834383249282837","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":"Q3606145$74563CCF-EFB0-401D-85D2-F76C9B234F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7ee387099c9c6016c957b688ecec299319bb6a","datavalue":{"value":{"amount":"+0.7721308469772339","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":"Q3606145$3583A74C-9FAC-4659-9F3D-D661C0FEF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7ee387099c9c6016c957b688ecec299319bb6a","datavalue":{"value":{"amount":"+0.7721308469772339","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":"Q3606145$BCBDEC39-C6CA-416B-84FC-70EB6B59031F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4a63f1290754c6acd3a74610b5b9edbfe0e3e9","datavalue":{"value":{"amount":"+0.7651904821395874","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":"Q3606145$1747DD45-3D97-4DA4-8FAA-7D2A75E729CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd9e5cacfc9a515f723536fa9ba0f70d9f901d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371a4a8a053ff99b721a10573a26cdd6e7af8088","datavalue":{"value":{"amount":"+0.7640208005905151","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":"Q3606145$1F935643-50F6-4374-AEC5-B0D65DB8C602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3606145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3606145"}}}}}