{"entities":{"Q2900259":{"pageid":2910984,"ns":120,"title":"Item:Q2900259","lastrevid":51516911,"modified":"2026-01-18T14:36:27Z","type":"item","id":"Q2900259","labels":{"en":{"language":"en","value":"Extending the \\(\\mathcal{TOY}\\) system with the \\(\\mathrm{ECL}^i\\mathrm{PS}^e\\) solver over sets of integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059270"}},"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":"Q2900259$234B2030-7925-4281-83DB-4A669DFDBEBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eda5e90351fd1f3c30397ce0651694889a2f3b3","datavalue":{"value":{"text":"Extending the $\\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900259$2D40BE48-2430-49DD-B361-2D2ADF7E5D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fdf7da0a68292e9b817766d802327b2c7924a72","datavalue":{"value":"1354.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$EED77BC5-40BF-46D9-AF62-0EB69A4C9757","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"697ca58b209d89fef3ca7b982faa205cec69f3c2","datavalue":{"value":"10.1007/978-3-642-29822-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$1C1CA5C1-61ED-4BC6-A78E-E707EC22CAA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7680ddbf5e0a2f8c7aa33b00b39d4e1ebcde3347","datavalue":{"value":{"entity-type":"item","numeric-id":2867958,"id":"Q2867958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900259$9F7E50FA-0EA5-43E6-919F-900E6083C312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c8b8430da77fcbb9c2918cf77da8405145527a","datavalue":{"value":{"entity-type":"item","numeric-id":2900258,"id":"Q2900258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900259$06EB418E-A8D8-4B70-94D1-156ADE1549E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2f350b0ca7d3bffc2448c6acb1fcdb3a057978","datavalue":{"value":{"entity-type":"item","numeric-id":2304531,"id":"Q2304531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900259$80D683D7-6BB6-443B-8F91-0551B1BE48CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900259$FB750870-EABD-447E-BDF2-7D5506F32125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-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":"Q2900259$15032DA0-BBBC-4AFF-BF18-3CDB01E6AE71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$BFBEFA07-07BB-4A05-B056-3340829CF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$20B2507B-3F90-437C-904B-9F342614FCA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7370d55f8fdc3b519e543d661b38a40b12948df","datavalue":{"value":"6059270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$A6410C57-CC64-4F38-AECF-C950937A0AAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd94b7871b981101be7ca1414e4d0078bfbd6699","datavalue":{"value":"constraint functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900259$06FB9129-2521-42A7-8F2D-ECA379C69C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103e9333d759e1ac1c7e33d0e08ac1ce8de3f8f0","datavalue":{"value":"constrained lazy narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900259$FF8A9A60-79A9-4DB4-A9C5-3BBC915747EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900259$BD0098ED-A460-434E-81D9-27113634ADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d84592be4a57dc8eee3e4e127a947cefc592bde","datavalue":{"value":"domain cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900259$487A3269-A423-4A0E-A102-71EC84C5695D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36f5026b55bb5cc68aa4d2933cfba0f3ca08a59d","datavalue":{"value":{"entity-type":"item","numeric-id":21791,"id":"Q21791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900259$0E0BA7FC-6699-47E6-BBFB-1A844E41AFA0","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":"Q2900259$528DC6B9-FCF9-4C47-9EE1-BA7E9AB13286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb7056ce1ad94cf09a3739fea098c65defaa920e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29822-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900259$F1B4FE72-DB81-487C-9685-D5E16935CC8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2320c94fc4a1689f39b591ba1e178f4e828495d","datavalue":{"value":"W1590251201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900259$EB397CB0-4789-4CA5-9845-E46FDAE04909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11274d664ba1caba92b41966e3f86ee65bd45697","datavalue":{"value":{"entity-type":"item","numeric-id":3183129,"id":"Q3183129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0378d92f1896e1c5e177317b500bc74dbf57dd0","datavalue":{"value":{"amount":"+0.829775869846344","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":"Q2900259$5804F158-61CC-46D9-830D-967177C1AF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c09437d8dc3ff1a0fb424f5f5eb0bb391d8fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2873802,"id":"Q2873802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6867f6daff7970cceac6e71399ab7e9ee97a0f17","datavalue":{"value":{"amount":"+0.7919837832450867","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":"Q2900259$1B9F9E43-7B57-4C64-9A3B-A50220ABD402","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":"518d853b98cb1acf938b0cf8c2d61a30fc4e01a1","datavalue":{"value":{"amount":"+0.7446684837341309","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":"Q2900259$AB27B452-0A12-4595-982D-24D41E52215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ce04256f50c9472a9b1e4bab01e51f1487fefa","datavalue":{"value":{"entity-type":"item","numeric-id":2867959,"id":"Q2867959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c3ff23eddcd1ab1f3f6f4fa59bc86a1aeda77a","datavalue":{"value":{"amount":"+0.7365754246711731","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":"Q2900259$F6E59DEF-E631-4811-95FD-96A5DA7320AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f3ab52d8b030b2152300e81cd564e313382c81","datavalue":{"value":{"entity-type":"item","numeric-id":5179011,"id":"Q5179011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175adb1a8434d714ec27b36b934a929684a6fe9f","datavalue":{"value":{"amount":"+0.7360942363739014","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":"Q2900259$C6BDC79A-9917-44AC-B014-B1A772E73743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900259"}}}}}