{"entities":{"Q993493":{"pageid":995341,"ns":120,"title":"Item:Q993493","lastrevid":51085250,"modified":"2026-01-16T14:26:19Z","type":"item","id":"Q993493","labels":{"en":{"language":"en","value":"Reversed resolution in reducing general satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5788051"}},"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":"Q993493$D9634C81-BBC5-411F-8C77-A973FB94707D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d64068392078a2cd795db564fc4a666ee46466","datavalue":{"value":{"text":"Reversed resolution in reducing general satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993493$68FB26FF-A893-4E5B-985B-E2B9CF83AAA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae7ac79621dff11aad38267423ed69f7df6ac23","datavalue":{"value":"1202.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$DE760444-B3DD-440E-937D-BA596ED8D1E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6ca0116ea8f3a7e5d63d2b7a681797563ad56c","datavalue":{"value":{"entity-type":"item","numeric-id":993492,"id":"Q993492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$B1075666-D41F-47AD-ABDE-14C8BD8C5090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$E7B302A2-E533-411B-8F7C-D4ED3028FA64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25a12ad0594443d505ca92af898ecd503f486793","datavalue":{"value":{"time":"+2010-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993493$3A72A2B6-342A-4559-9993-42B2786E9C75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$DC44EDFA-D036-459C-8F5A-953F0FD1F5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$C4DB3876-8388-442E-BF24-864AF9D24A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$B3044B43-FD5A-42A3-B341-17271F9C0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$479426E5-0FE4-47A6-B43F-7171B0637F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$63EF1593-FD08-4A5A-B261-D41446AB449F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ca5f35d92ca81aace1d903111c3238e99103608","datavalue":{"value":"5788051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$8C9D7DB8-0DBD-42F4-B272-FE7B7D1FB741","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$4EF0F38C-6168-4F76-9E6E-90D3EABFAE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$FDEA8072-AD20-4454-9C2A-1D16085E77E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$53ED1B60-B791-4A61-9505-DB1547BE5A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$0E7314B3-770B-45DB-8051-C5249862E865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bedda88297876c2ce1e58a5468f5e1dab8f1f2b","datavalue":{"value":"colorability","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$38AA3C39-B0B4-4665-BEEB-576A3C092392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c7f6ffd28757b3c20c442947d98d8ce415abe9","datavalue":{"value":"marriage problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q993493$158EB931-171B-4195-AE75-69D7C86C619C","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":"Q993493$96DBF112-0BA8-46E5-B303-D385A7ECF3E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55497500874c2a8959c6205519993c4e4b3e96c9","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9262-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q993493$A9DB05B1-8554-471B-8993-AF8453583588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7801e1520061d985dda1ebe4052b7a5dd96ac11","datavalue":{"value":"W2039061386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$58E58992-B267-4B41-BBE5-0B81907907F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7831a0f075c047298d85174de1f19adca15d80","datavalue":{"value":{"entity-type":"item","numeric-id":2772903,"id":"Q2772903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$646F89B3-4747-41C2-8B74-0C838F54AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b71ab2c7a7feb0086d0e2bec43676e933b5680","datavalue":{"value":{"entity-type":"item","numeric-id":4025013,"id":"Q4025013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$579138ED-0A9B-4F2B-A820-8E14BCFA010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c9361288a408f957b654b8f880a4a8f41cc317","datavalue":{"value":{"entity-type":"item","numeric-id":5422264,"id":"Q5422264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$21FB0E00-66B7-41D8-8322-63DC8EF48A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145b6b94877894df8acc2c76b2d0b3cc303ece39","datavalue":{"value":{"entity-type":"item","numeric-id":1313082,"id":"Q1313082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$B0E90B16-FB0F-4F67-90B5-2D534FAD51F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de45b436f2e447c66cf3386afb11ad574df42373","datavalue":{"value":{"entity-type":"item","numeric-id":4179015,"id":"Q4179015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$EBBB92ED-DE9B-4759-85BA-BC34E18F03FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325820f1da9bdbe993d9d54d34a90dc88d69e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4869540,"id":"Q4869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993493$16080731-DC03-4D7C-A2F9-C4E926396050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca0e377e1d281a11de26dc6103b7c672fd4394e2","datavalue":{"value":"10.1007/S11225-010-9262-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993493$71D89BAA-DCD1-42DF-BA5F-33CF1FB33E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d257a4f3557c6ec781c9e532bfad50107ab87","datavalue":{"value":{"entity-type":"item","numeric-id":5325876,"id":"Q5325876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07247ab03bf6b931379920f6821245bc0f8cfe6","datavalue":{"value":{"amount":"+0.7987238764762878","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":"Q993493$B2A1274E-EB4C-4F81-9904-BC50F57482E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b981f354689fb74fa20ab948881d506ff1cc13f","datavalue":{"value":{"entity-type":"item","numeric-id":4025013,"id":"Q4025013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc590b3ccda4f43f0ffb8ceb6c182a53adb2c21","datavalue":{"value":{"amount":"+0.7604531645774841","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":"Q993493$C041FFB0-0E2B-4072-A552-A14EB1267137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d1a987e762a6e1474ac4d8de9613095a83a102","datavalue":{"value":{"entity-type":"item","numeric-id":4345011,"id":"Q4345011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057a5ff8e9c1d191947880dd4056f3e275b47573","datavalue":{"value":{"amount":"+0.7593032121658325","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":"Q993493$28F7FF7A-8634-49B5-9266-4313A8029FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2e5dcfccf86ad82bb064a81d797295101701f0","datavalue":{"value":{"entity-type":"item","numeric-id":3434492,"id":"Q3434492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057a5ff8e9c1d191947880dd4056f3e275b47573","datavalue":{"value":{"amount":"+0.7593032121658325","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":"Q993493$904F367B-14E4-45B9-982E-4946A289AAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530d621f7f94c168b3a27adcf17cdede5225045b","datavalue":{"value":{"amount":"+0.7485358715057373","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":"Q993493$1F47B310-9BA1-4A1C-8B16-AF59870ACEEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:993493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:993493"}}}}}