{"entities":{"Q3079917":{"pageid":3090632,"ns":120,"title":"Item:Q3079917","lastrevid":86159237,"modified":"2026-06-03T15:40:52Z","type":"item","id":"Q3079917","labels":{"en":{"language":"en","value":"Constraint solver synthesis using tabled resolution for constraint logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860254"}},"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":"Q3079917$4C3AE87E-A96D-4550-AAE6-54AA49FB923F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190bc73e8219046da1fdbc9685f40350b008f938","datavalue":{"value":{"text":"Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079917$903E2121-22C8-46EA-9ED6-0E5418AA2734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e15cd4f0d0582d077e6c00f1ccc55d693a1d988a","datavalue":{"value":"1278.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079917$113B77C4-5AA7-49FF-A1F9-2910C76560D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9daa51a9e7f2a4bc6094d2b4e59b74776636523f","datavalue":{"value":"10.1007/3-540-45013-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079917$E81291DF-1217-498A-A032-1047E77DED49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd69b789f3d38ce7f14234fec70f00f184f7f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1300289,"id":"Q1300289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079917$A368E8E3-270C-4E0E-9F84-6CCED9207CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3c2a147dc60b0b311ba4fa3d90147cddf86d70","datavalue":{"value":{"entity-type":"item","numeric-id":1046576,"id":"Q1046576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079917$6E73276C-B69A-46A8-919D-0A3516443C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079917$81727F05-5C73-41FC-9557-6856394D8D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079917$C9FEC04D-C555-48F9-931C-A1BF67570C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079917$5DE2FA84-7EA2-4968-A241-0E7AE9ABBF1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240ecaf11abc242abad49a8e27dcdf1e907157e1","datavalue":{"value":"5860254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079917$3E083BDD-CDAA-4EDD-860D-9EBCFEB3EDEF","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":"Q3079917$530F73BA-05EA-4D81-9C09-B1E75EC861E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93b56b0340261b11de84fc4bb98df600020883df","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079917$960ABCDA-262D-4EB7-9583-E24EE6A29D33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c04261e65ac8ee8378f6a6a78254131618644a6","datavalue":{"value":"W1939623278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079917$F3A7AB88-085A-4BF0-A572-FD09B0FC8F46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d01de18dca00eb5ddcaf64457b0ef98200d8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696591,"id":"Q5696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84309b61f4d1591908da8207206f87375b70c20a","datavalue":{"value":{"amount":"+0.7922520637512207","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":"Q3079917$91123837-060E-4376-AAC7-0F8450BBB124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354c0af27bb1fe35944f46c2688b9989b11b4d78","datavalue":{"value":{"entity-type":"item","numeric-id":5504596,"id":"Q5504596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d20d8858f8dbb4e055cddbc44359fa62ed55db","datavalue":{"value":{"amount":"+0.7738128304481506","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":"Q3079917$AD73B72B-76BD-4D41-8C9E-F1EFD753E446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f24f047b7e4924215bcfeafca34bdedf040a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4475619,"id":"Q4475619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fa60b6a45cffcd0e54e2e1e307903a4999c6c7","datavalue":{"value":{"amount":"+0.7734870314598083","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":"Q3079917$054D97DC-F133-40AE-A011-05B344583883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55ed612ebaec6a26e767939e88b09fc851e84ee","datavalue":{"value":{"entity-type":"item","numeric-id":2933968,"id":"Q2933968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b5bed14af2106ac7ce9bc6f6c63e94370177e0","datavalue":{"value":{"amount":"+0.7622408866882324","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":"Q3079917$034D4D62-D052-4B0D-AE24-1A70D9F79CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac5f4305882f198f444aac1074ec30e4e16122d","datavalue":{"value":{"entity-type":"item","numeric-id":3616883,"id":"Q3616883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566f87c08d76dbe69a158adb660c7c22a443dd4e","datavalue":{"value":{"amount":"+0.7521136403083801","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":"Q3079917$9B0A97B3-ACC2-4C85-81EA-81D49E5271E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint solver synthesis using tabled resolution for constraint logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint_solver_synthesis_using_tabled_resolution_for_constraint_logic_programming"}}}}}