{"entities":{"Q2643307":{"pageid":2654050,"ns":120,"title":"Item:Q2643307","lastrevid":50150912,"modified":"2026-01-13T06:57:59Z","type":"item","id":"Q2643307","labels":{"en":{"language":"en","value":"Regular-SAT: A many-valued approach to solving combinatorial problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182377"}},"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":"Q2643307$80865B9A-0970-4452-AB67-E74FAC142E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a78cd4732cc867d6c5be3c3f875559456c95e25","datavalue":{"value":{"text":"Regular-SAT: A many-valued approach to solving combinatorial problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643307$9D77AE4D-AA25-4416-91D3-4AE02332C2A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b31dc27e94f71a54d157e6692e5e4a5f05666be2","datavalue":{"value":"1121.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643307$2FF8C3C6-51F8-45D8-8172-6915CE0A840C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a34471a7062eff0552febecc8f87f06e75a14f1","datavalue":{"value":{"entity-type":"item","numeric-id":505968,"id":"Q505968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$2E54120D-6968-4C3D-A140-8BA8C7077524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$25F95E92-303F-4E1A-A058-5E35360F6307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4ffcc3981c9aa28d68c5831ab09a037d6c4522","datavalue":{"value":{"entity-type":"item","numeric-id":2643306,"id":"Q2643306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$ED458CE8-76B8-40EF-B67E-0ED8ACF1CF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a0d6bd94e2873e5fdbc559ad99f5547abed33d","datavalue":{"value":{"entity-type":"item","numeric-id":505969,"id":"Q505969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$77810180-55F7-48F6-BF92-4010E22AAFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$00D03A09-7B47-4260-9619-3C2E533FB3CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$7CB38D13-CB49-4E3B-87BB-5DAA99393A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643307$EFCFAC49-FC98-484B-83EE-E6F6B91285E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643307$FA1FEEE2-497D-442C-9A12-B553F005B26F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af4aa46ad593c215c0c7a2880d6704bb7ae8056a","datavalue":{"value":"5182377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643307$48D1E39B-7BE6-4CB6-9547-2CD83B5C82CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b86e614e9d26df73a5552d97ea78b5f507080bc","datavalue":{"value":"combinatorial problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643307$B864A73B-147F-4AC7-B294-9AC572D5BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643307$C733C242-EAA6-49AB-844A-B6BAF779D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643307$C960C234-9BB7-4495-9360-1FD4337C2CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88028b42ecfd9f4ec087f91a1a60ad6fe6cd7961","datavalue":{"value":"solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643307$F4BED7F6-3E04-4192-B744-8AB5C99D6EB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$25FD7FA7-F464-40A1-AA03-15AEF9E5FC87","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":"Q2643307$855227D3-32AE-4BA4-A10D-98D4C10E7D07","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":"Q2643307$5BE0CCAB-8712-49FE-992E-BF791D8EE37E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29e4b661581c24a813d1327d46a6ccbb9060cdd4","datavalue":{"value":"https://doi.org/10.1016/j.dam.2005.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643307$FE237DDA-15B4-41CC-9636-28EECA73EE1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"981d642d89901784c428a2198f226fa0e1ab96b1","datavalue":{"value":"W2025259988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643307$448ADB7D-B5D8-46B4-8007-A5FF47E874E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9989951ff92c915f90cbf709c10f8e9530978961","datavalue":{"value":{"entity-type":"item","numeric-id":2701980,"id":"Q2701980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$733B8C12-9960-49EE-8B6B-5CC505904DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbb870ce4ab73fc93c4890c4e769dfd57d97e79","datavalue":{"value":{"entity-type":"item","numeric-id":4262997,"id":"Q4262997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$DF6AD5FB-4DF4-400F-ABAF-75EE9AFEFF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778898c032a610b169057aea411be0938160a652","datavalue":{"value":{"entity-type":"item","numeric-id":4938415,"id":"Q4938415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$7041C576-E061-47A9-B71C-335FB0BDA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$854A51D2-519D-47C1-871B-21C46D9E80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba61bbf706b35f21e7f5c81080741ff70873d515","datavalue":{"value":{"entity-type":"item","numeric-id":5687258,"id":"Q5687258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$EDD9DFC9-B5C8-4AFB-8524-3D6E85B9E5AD","rank":"normal"},{"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":"Q2643307$803717D0-D7C4-4072-896A-A90429D14482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$8096A67B-5989-4D5C-832E-1795850B4C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894a726d38017dcebd287aa2e92de0e26e04dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4323008,"id":"Q4323008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$6E408547-D36E-45F0-8C4E-DF2D0800E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff59f31845065999d806b9ab3e88fa5355e4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4868234,"id":"Q4868234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$063D09AD-497D-40E9-8F0D-9EA2F7E2C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$DC543393-6A7B-4029-B41F-845BB336CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$202B069D-25F6-4928-8E62-78EED427241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bb97c2998b2f3aaa74365048a9cdcc1fac9f37","datavalue":{"value":{"entity-type":"item","numeric-id":1426130,"id":"Q1426130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643307$59C8F52D-8370-47C9-A6DF-8C940DF876E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8551b81c00582af9aa37ec1478cd0a2d8bbe10e5","datavalue":{"value":"10.1016/J.DAM.2005.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643307$2C33663C-27C6-4E95-B5B7-06EAF7EBF215","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f807afedc6fe6f2dc9f2499159cc9f18d5a220b","datavalue":{"value":{"entity-type":"item","numeric-id":4475627,"id":"Q4475627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774f02764e17a2815a19cfd7ecdf5a71f4c7954c","datavalue":{"value":{"amount":"+0.8659675717353821","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":"Q2643307$9CEF2216-991F-4F26-B6D9-7B89C6CBF98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a4257078d45800d736d378d3a98ea8a4eff9b0","datavalue":{"value":{"entity-type":"item","numeric-id":2741541,"id":"Q2741541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f304df55c26cb6a014b1607ebf5630bd85217a","datavalue":{"value":{"amount":"+0.8505329489707947","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":"Q2643307$C2368537-F391-4702-B135-EBACBD06C9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327c9947e3f286b99183a7272bde5532c989bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":4262997,"id":"Q4262997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96a65da904fa7938b4a5555c476b64a0b512a6b","datavalue":{"value":{"amount":"+0.7677147388458252","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":"Q2643307$C93C686E-0BB9-4FDC-9AD9-FBC0DF795880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fb2450e1ef8d1d517685780cf1cd62dd5b8c92","datavalue":{"value":{"entity-type":"item","numeric-id":4938415,"id":"Q4938415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c23823c17fd2402a3b70d4b61c78a9a0a297ca","datavalue":{"value":{"amount":"+0.7630123496055603","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":"Q2643307$778CA246-F087-4064-B877-0818212C4D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c70836769dad97f33928de67c22c1dd7a4658f","datavalue":{"value":{"amount":"+0.7609003186225891","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":"Q2643307$3E58436C-CB08-40CB-AC14-DAFB2E61DD1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643307"}}}}}