{"entities":{"Q1044229":{"pageid":1046077,"ns":120,"title":"Item:Q1044229","lastrevid":69500208,"modified":"2026-04-13T07:25:19Z","type":"item","id":"Q1044229","labels":{"en":{"language":"en","value":"A full first-order constraint solver for decomposable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5645707"}},"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":"Q1044229$831081A8-8422-4AF4-8531-58F595A9DC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea0d1a784246835b108b162b3c880b4857234815","datavalue":{"value":{"text":"A full first-order constraint solver for decomposable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044229$EA092FAE-2BF9-42F8-A960-D45754585BFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32fa6c67a846f607d39c397f29211199032d4238","datavalue":{"value":"1183.68557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$A988EEE2-37BE-4860-B0F0-F446CCA862D3","rank":"normal"}],"P16":[{"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":"Q1044229$BCF43560-CBFF-40D2-8F3A-943A2487AEA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$3AECDA08-DE62-4385-A02D-6003CDCC3220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60d299e7db113c73bf4e2404b159c8b142acf49f","datavalue":{"value":{"time":"+2009-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044229$97B5859D-87FD-483D-A201-16D4E820C594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$023F06AF-8771-4CA6-A1DE-02EDEEE8D120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$4962D5F0-B175-4D74-87F7-D960C375EBD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6465a9d8c5a093fe4651779573408943f1a89c","datavalue":{"value":"5645707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$D86F8DDF-B45D-47CD-968F-674B0A47823F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bea9b6d9c866baa791493f0615aeab5165082d","datavalue":{"value":"decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044229$B2953C8A-95E3-452B-BB11-DA4732CB650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044229$43082F71-AFE1-4722-95C3-678A12C953AB","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":"Q1044229$357B0675-6BE5-4F19-8B87-1205941BFC16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc2c6d75146d99676156e99771dba5e6c54a6bdf","datavalue":{"value":"https://doi.org/10.1007/s10472-009-9142-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044229$498D89CA-C73E-4F89-B8A7-E109ACE42CAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c0b8e6ea45b00a6aacdb1d79ba74a2c0928913c","datavalue":{"value":"W2043633856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$4EF8D204-E7B8-48AE-887E-1528BA6FD2A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$C93FA5ED-4106-4425-9A21-F9923A02B20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795b80bcc45636783a7e3a0cd8702bd151d2a5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1424767,"id":"Q1424767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$F69E8AC2-3B7D-4FC9-96BF-98228819D992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc5ee37c33b7de5b88e4050c6023289141b8d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608448,"id":"Q3608448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$EE925BC4-6CF7-4D3A-A950-A43639E1DC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275930f537f4e0ba73d6830ee6dda03efba6ae56","datavalue":{"value":{"entity-type":"item","numeric-id":5505492,"id":"Q5505492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$CD066C81-48FE-424B-A3D5-B723B6549D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$7FFA092E-8C1F-465B-B4E6-A95BBA2159B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523e0d28580aaefb56178f551e92654ba2c8be91","datavalue":{"value":{"entity-type":"item","numeric-id":5309080,"id":"Q5309080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$F4E485BE-ED3A-494F-BB7F-93E7CB135B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc21b669b2564759bdd47e39db325c4ac3bc184e","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$EB8C78A0-8549-4C31-8E28-768FA4130C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37fc4c52602fad33fb34559c8c11a4750756d9e","datavalue":{"value":{"entity-type":"item","numeric-id":5491895,"id":"Q5491895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$82964DBF-0E19-436A-A43E-5ABFF0BA659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9f1b4e0c7b24f4f7214a2429c9305e86616aae","datavalue":{"value":{"entity-type":"item","numeric-id":2701742,"id":"Q2701742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$8BFF3DB3-BCBF-4B94-87A9-DFC3C62CDDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$2438BC43-19DD-444D-9200-EC573D1AE6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f26918fbada64c1f3b77f3fcc6bd24c4b07c93","datavalue":{"value":{"entity-type":"item","numeric-id":3184508,"id":"Q3184508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044229$B99D815F-B0FB-4BE4-ADA4-A941C0A59C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f57aee1d81d2ecc4d3f186dac4e2eabd51cff8","datavalue":{"value":"10.1007/S10472-009-9142-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044229$985278D9-C448-4C90-BFEA-85020547ABB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6bb93d9d363413f0ca3dc1d6e174743bc5112e","datavalue":{"value":{"entity-type":"item","numeric-id":5505492,"id":"Q5505492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$C650E023-EDBF-467A-B368-27E70E57A7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d10e9183572962abaa593b3a619cebbb758f7","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a00613a8ffdaf687e2ea6730cd4b47abbe8b281","datavalue":{"value":{"amount":"+0.8733215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$97885077-7018-471D-94E7-B2B5765BE515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1156be26d8ce132080bc8f0f9817fb5f9f4a0405","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9e294738c6e6702cb1424d854b481cdf3c5691","datavalue":{"value":{"amount":"+0.87141705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$330918A7-F937-4C5D-B4B7-DA8F620C97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9360ba89d17bc5f79bbc6f6b1e1f0c1b8bde","datavalue":{"value":{"entity-type":"item","numeric-id":2882989,"id":"Q2882989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bd66f863497c719061414ffee6a70c3ee4793e","datavalue":{"value":{"amount":"+0.86650497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$57CFF157-1366-48C7-B76A-FAF1FDEDFA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc6475ae51d03eac437dfd9066756b2ac537b01","datavalue":{"value":{"entity-type":"item","numeric-id":5449619,"id":"Q5449619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4abe3a838e75a660865efae32a1fe96454b4f4","datavalue":{"value":{"amount":"+0.866359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$2B34F4D8-BEBA-47A8-A95B-CEDEBA765358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224e00451bf9a1744fc6ccb895ff1dd60fb8e619","datavalue":{"value":{"entity-type":"item","numeric-id":3608448,"id":"Q3608448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4abe3a838e75a660865efae32a1fe96454b4f4","datavalue":{"value":{"amount":"+0.866359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$43612F42-B61E-4C88-B0ED-8677FA9F6033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e78371aeb5da781aba1285c7a94f386a9554828","datavalue":{"value":{"entity-type":"item","numeric-id":5892436,"id":"Q5892436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b01c6252e28cd600ef43196a194c4fc2104468a","datavalue":{"value":{"amount":"+0.86342514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$4160576D-457A-42F3-959D-BBAC592FBF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704c4df2ce33670c78739fe4ec55da0855178c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5892176,"id":"Q5892176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b01c6252e28cd600ef43196a194c4fc2104468a","datavalue":{"value":{"amount":"+0.86342514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$C750B1E0-339E-424E-8812-1173568DCD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9150e2b8d1114fc80d0da7008a33705215e03e49","datavalue":{"value":{"entity-type":"item","numeric-id":2062094,"id":"Q2062094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83dc5914ff7ea42416bf0079e273f043fd7b383a","datavalue":{"value":{"amount":"+0.8631546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$B8E3B4F2-CA16-45CD-8D8C-7C97571F6751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f49eb732ab01fe0df681bb724a669a10d8436","datavalue":{"value":{"entity-type":"item","numeric-id":3067537,"id":"Q3067537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf11954f8655b891c49e533b8ac47df89846ae1","datavalue":{"value":{"amount":"+0.86282337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1044229$A46F4A1E-9750-47E5-AC1C-44C1A694F673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A full first-order constraint solver for decomposable theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_full_first-order_constraint_solver_for_decomposable_theories"}}}}}