{"entities":{"Q3608450":{"pageid":5638356,"ns":120,"title":"Item:Q3608450","lastrevid":50591420,"modified":"2026-01-14T12:15:45Z","type":"item","id":"Q3608450","labels":{"en":{"language":"en","value":"Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523429"}},"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":"Q3608450$1F0BFCF2-B952-450B-A793-A3D05F66E087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08ca6a49552759bc9aff2f14c2509bef43a2e0cb","datavalue":{"value":{"text":"Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608450$CE9DA308-CFC1-4926-B8F7-CD0D4A770BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb73c285c0f7837982eb27a42c3c24d1b5bd700e","datavalue":{"value":"1176.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$1150B4F4-3FC8-425E-B40B-96506985A724","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"471f46b0a1dfc348960db1105d6d9ac47b95a4b2","datavalue":{"value":"10.1007/978-3-540-73817-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$5C2255AE-D097-4E51-A6FA-6988BB8F34A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aadcdd8853adcdbe1a98961a7b842f126a6759bf","datavalue":{"value":{"entity-type":"item","numeric-id":3549509,"id":"Q3549509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608450$C46EB49A-E10B-48BF-9528-DD8F33F0D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3fef7deccd0656d7d161320bc2e1c8f9a52e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1044228,"id":"Q1044228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608450$7C95C1AD-2B2D-4FAE-9CC7-E44C018F9340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ca7df9d8e8b1ae65a92a26ca7eedb3253fec77b","datavalue":{"value":{"entity-type":"item","numeric-id":679328,"id":"Q679328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608450$5BD7A579-1E53-4077-BD64-6356624CF67F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608450$C2896FDE-B6D7-4977-90BC-B600111DB3B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608450$254B40ED-AB3E-4B0E-9BD3-13E40A25F51D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$D60124CD-8DB9-4E2F-B7F8-A6637DB4472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$5374F382-11EC-43E9-BBC8-1F312773F326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb2745d2cd1fee0812cda11d4c7f05ab736378b2","datavalue":{"value":"5523429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$265AB5C3-1E12-44EC-8597-EE4E69363ADE","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":"Q3608450$D0EE8B8D-A3A7-4657-AB1F-3F7924E25C00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99e9e8f3549051574495461b410b65c3e1ac90fd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73817-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608450$95863B0B-D78F-4E17-B8C9-5C5EE43023F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f04a7a548c9d0d69eebd680a9ecd1a2b576679ef","datavalue":{"value":"W1519562781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608450$87304D18-CB7C-4A16-9285-FE9B1BE66782","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0c5c0035305f714d1781d4956ff1cd1a05cefa","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063a7a4d698d91760239f2153a03023d79d8ffc2","datavalue":{"value":{"amount":"+0.7501453161239624","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":"Q3608450$DB3C044E-D491-4990-8A37-4917F9C5070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ca891ab6c5325b18b3e5fd26d2d7ed28fe9ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1300291,"id":"Q1300291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22d1d52c36b6c9888ae59aaba16bf0c977d934c","datavalue":{"value":{"amount":"+0.7501364946365356","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":"Q3608450$A651C4C8-275D-4787-A861-C7B87BD28577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148bd5d8a4b61cd703dcdb3e0a248d75f9ba0d07","datavalue":{"value":{"entity-type":"item","numeric-id":4911137,"id":"Q4911137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236053b5ef72ba0bbae779b4e0b628f0cc00cae0","datavalue":{"value":{"amount":"+0.7455418109893799","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":"Q3608450$5EA5255B-C39F-4779-9EC8-D62C0AA47F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae34684615fbf449b0c63ee38fac38f9b01e522f","datavalue":{"value":{"entity-type":"item","numeric-id":3426204,"id":"Q3426204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90dc2db0a0095d393dec918969f86347468ae78","datavalue":{"value":{"amount":"+0.7426408529281616","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":"Q3608450$B582EBCE-39B0-4C31-96B9-4AD49D26C3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935fae483cdd979bbe57424dafd09d67bc3bff5","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0a2ba174fa444ec23aacacb71151ed5e4a6cbf","datavalue":{"value":{"amount":"+0.7404741048812866","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":"Q3608450$C5EF9F24-663A-4241-B0A3-411911AC3C9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608450"}}}}}