{"entities":{"Q1338341":{"pageid":1349080,"ns":120,"title":"Item:Q1338341","lastrevid":68499285,"modified":"2026-04-13T00:07:17Z","type":"item","id":"Q1338341","labels":{"en":{"language":"en","value":"Combining symbolic constraint solvers on algebraic domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 696964"}},"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":"Q1338341$52E59902-BBEF-486D-B458-2469C4D4C857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eef89476316d9d604a95cc1a69f9c73776268c3","datavalue":{"value":{"text":"Combining symbolic constraint solvers on algebraic domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1338341$61EF481C-89C1-4CEA-99BC-5A313F2A76DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa9bfdab5a26c0013c43db95f306f73707440130","datavalue":{"value":"0819.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$9E4FC9DD-7EF8-43ED-A5C6-6217FB811C2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338341$8C039B3D-93DB-454D-B69C-A966CB41D1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338341$ED1F8232-3F78-48CC-83BC-F3CB137CC346","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1338341$71625881-1D27-4636-A21E-0763E74E0FCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34092c5340d66715bee48b670526075c7ea5e1d3","datavalue":{"value":{"time":"+1994-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1338341$9CCE80B4-9410-40DE-8BA4-20B4C7052B35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76716db14ae4a653229138d38241785f52191dea","datavalue":{"value":"https://semanticscholar.org/paper/dc6ba4cad8a34a900937bb21f2814d7e715e2766","type":"string"},"datatype":"url"},"type":"statement","id":"Q1338341$4948512E-1ABE-488F-A099-CDF13FD9F916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$9BE6F296-2727-488C-A92F-26C4BCE4367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$2E798203-4485-41F3-B262-0FF40CDDC02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$CF04D747-DBF7-48F4-8F03-59F875190945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"715e0f3cd2369ab2021a1ed2f4b56ab6db0365a7","datavalue":{"value":"696964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$178EFA4F-E342-4920-9EC1-375CCEBE60E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338341$097BC77A-3A77-4E4B-95E6-2BE8B68E8C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82384cb65da7554b42542890d7af92d513bc80dd","datavalue":{"value":"constraint solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338341$BA7183FB-9175-41E5-B48A-EFC5323B166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1338341$17C32ABC-C081-4BDA-A4FB-301FF9C60998","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":"Q1338341$39415136-A25D-48BC-A196-F7FA586B2DBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7881864ff71d8f8b0ab434f817fffa0b945380d0","datavalue":{"value":"W1966865798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$E7004DDD-450C-4635-99D8-564D2AC178C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0415bc356b98e3d7076da20f9ed5b3d44d3ba9a4","datavalue":{"value":"10.1006/JSCO.1994.1040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1338341$7F78E576-021C-4854-8BB3-11B4AEE6F375","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb63730912ca1f0c9fe32722123e6f097ceb8889","datavalue":{"value":{"entity-type":"item","numeric-id":5055842,"id":"Q5055842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f6470fc8a72bf5d21f33186fdf0d34f07171d5","datavalue":{"value":{"amount":"+0.790156364440918","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":"Q1338341$9582E9D2-0151-4453-8CF1-F9099507B51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8e1a160b9ed26771c2b247a3956611aa4bab1f","datavalue":{"value":{"entity-type":"item","numeric-id":757060,"id":"Q757060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e9ea7e73cf57af2c1adb50763c7c370966cee9","datavalue":{"value":{"amount":"+0.7424365282058716","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":"Q1338341$1BBB664F-B7F8-4DCA-8E80-0911B09C150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20121d96c9a454acf45191fe75c9090acf3987a6","datavalue":{"value":{"entity-type":"item","numeric-id":3067475,"id":"Q3067475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd6996a02412ec1a652d100b493476763c83409","datavalue":{"value":{"amount":"+0.7314534783363342","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":"Q1338341$B28F8CDC-9F18-4EA9-965C-13923E09D13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34063b74b67a8732dfaffeb7e8be720a4f95bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2762630,"id":"Q2762630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f3fa09ef69b785b58e7e4505bca1d64bf67d1d","datavalue":{"value":{"amount":"+0.7248232960700989","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":"Q1338341$AEFE6692-8393-435A-9C08-3D30CF523EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bd1b9593c7b066ee62e03d7073525679f5bf46","datavalue":{"value":{"entity-type":"item","numeric-id":4255512,"id":"Q4255512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad568bcac0ea119aaa082cc80100a10997cd24e0","datavalue":{"value":{"amount":"+0.7240464687347412","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":"Q1338341$C6AB4FD7-0165-479C-882D-56932C6C4D4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining symbolic constraint solvers on algebraic domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_symbolic_constraint_solvers_on_algebraic_domains"}}}}}