{"entities":{"Q3502699":{"pageid":5532602,"ns":120,"title":"Item:Q3502699","lastrevid":50365511,"modified":"2026-01-13T21:54:47Z","type":"item","id":"Q3502699","labels":{"en":{"language":"en","value":"A Decision-Making Procedure for Resolution-Based SAT-Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279240"}},"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":"Q3502699$538FE029-E83A-46B5-8D28-68B39B2C451B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afa2b80d62c7e9bce8a5fa2f6bec9e40b0ba8605","datavalue":{"value":{"text":"A Decision-Making Procedure for Resolution-Based SAT-Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502699$28F560A3-910A-486C-A1B1-63CA8BEAB8C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a167749ededf3909d95018e1b15c6221b82aad6","datavalue":{"value":"1138.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$0538CC97-3607-4354-A0DE-6D215469E91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784adb59520d270f157c591846d8a71c08dfae28","datavalue":{"value":"10.1007/978-3-540-79719-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$1B51C930-5C44-45CE-AE88-00840BC062A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$344097C9-8562-441B-B57B-DC335B65F929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$2A9D1A7F-7A2D-4E7D-BE03-0B440CABAAAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502699$F69ADD83-F7ED-4CDC-B892-67B57BF368B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$FA142DD8-C333-4D9D-A0B7-42816CEF0270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$D8AE432E-FEE5-429C-BE44-7A68D58C425A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b7529930c2f0c2c4598117822507e5f12cdf456","datavalue":{"value":"5279240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$0A2A5807-65B2-4514-8552-414A1DA37F2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$8316750E-796F-4F60-9314-4DB9BD5D1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$510523A5-7836-4FE4-9B88-2EEC2F051D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$62D28EC5-17FE-4EDB-90D9-A9A45AA33C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$18588486-24B6-44E2-8213-26B67CBB7A7E","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":"Q3502699$137049A2-D1F5-4253-97F1-23D45BCCF986","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":"Q3502699$FBBEE268-8CDB-4880-AA64-981CDC3621CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f28f6947a5b0dc37c3de1841536bc9f03b751bbd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502699$E0BD8027-996A-46A2-8C13-7F20523BA2A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56f54ac58b29cec61be75484cac3fa2d5f02b344","datavalue":{"value":"W1553616831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502699$03353C08-F02C-46D9-B2B2-DC0E65C1CB0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$AFD23F20-932D-4747-9DF2-439DD90957EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$D1F98DA8-7C05-42F9-89A2-E933C432335B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6a82db298b5163e0ed17489122547c8492c15","datavalue":{"value":{"entity-type":"item","numeric-id":1808886,"id":"Q1808886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$6F4AA84A-F34F-4E7C-BBFB-BAB2D48456AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee5ce99745582a300ea09e155a2a37836fddb81","datavalue":{"value":{"entity-type":"item","numeric-id":5756586,"id":"Q5756586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$21269EB7-788E-4500-9EE1-0AFC20D81E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$7E8787CE-43E6-4186-822E-0726DC06E259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc877b42f4324f220c66a0727f2695f21979a84","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$7AB13B06-98E8-4461-9C0B-A84A619113A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$91AE05CF-D5E1-497A-92F8-156D0CB016E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$B448B8FE-66DD-49A6-8049-2200964DDDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7248bca5c2b687d3ef261e8152721d8a7b152972","datavalue":{"value":{"entity-type":"item","numeric-id":1606970,"id":"Q1606970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$DF0CA6A5-1BFF-4CEC-B18C-CA305F5F0582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$24E01E78-BABF-4365-A928-E864075A3661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$E9CDFC50-C514-4AED-BC0E-C302A68B7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$7ED2D466-F0EA-4CFB-B1BD-B69E13BD7308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502699$60C6779E-2B10-4309-AD5E-111616944386","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b4b0f14bf64d62c16bfdf7891a2d41d0befbdf","datavalue":{"value":{"entity-type":"item","numeric-id":4930585,"id":"Q4930585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e080c826d5f46e28aeae986e1c252433d8577bd3","datavalue":{"value":{"amount":"+0.847478985786438","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":"Q3502699$BAC7C364-D37B-45C4-B0D2-7A75DB78A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3913820f0f7f91e823d617ba44a2cd3c836457fb","datavalue":{"value":{"entity-type":"item","numeric-id":3620438,"id":"Q3620438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9f2b7c9867e52b9b23fd47230da5c4eaf1868d","datavalue":{"value":{"amount":"+0.8022853136062622","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":"Q3502699$38D4A18B-E392-442C-9B42-31AF6DDEC278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b651dc2d6f12dba6f1069e122fa153b49fc7dfa5","datavalue":{"value":{"amount":"+0.7986811399459839","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":"Q3502699$2264FD46-79A7-473F-A547-561B6586D5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07be52163ba25294d2d097649553e02f2b644233","datavalue":{"value":{"amount":"+0.7948300838470459","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":"Q3502699$ADF3ED2A-B428-42E9-9221-837E740975B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eb549478e330037cdc38e8233efba2c9840afa","datavalue":{"value":{"entity-type":"item","numeric-id":2749860,"id":"Q2749860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b362b67c1cdebaa082476804f4e73be1bdb2de","datavalue":{"value":{"amount":"+0.7832351922988892","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":"Q3502699$A28DB572-D3FF-445F-8E74-5C3DE01E059B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502699"}}}}}