{"entities":{"Q294784":{"pageid":296551,"ns":120,"title":"Item:Q294784","lastrevid":60716523,"modified":"2026-04-10T18:41:51Z","type":"item","id":"Q294784","labels":{"en":{"language":"en","value":"Abstracting numeric constraints with Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594106"}},"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":"Q294784$D0BEFB20-6CE1-42AB-A4E2-198125C6F12F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ea9d9d893b23e8f1e5a507975795998309c5b9","datavalue":{"value":{"text":"Abstracting numeric constraints with Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294784$8144489C-EFF1-41C2-ACCE-7D2FCCE91E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2ed85370d95e059f74eb0a173b4b15c28e57ab2","datavalue":{"value":"1339.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$DD8CCD09-C562-480D-8018-5DF251BCA1DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37ab5bc7186b5ab6294dbba4b970b7a8b8a9078","datavalue":{"value":"10.1016/S0020-0190(00)00081-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$0AC3639D-FB31-47A9-AE21-8F6F8F33FD45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$B48200DF-4304-4AE3-B251-DD6200E371E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$17F5E536-12B0-4A0B-ACA7-ACBDAFACF648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$DCF31493-9F0A-419A-BF2C-576323AB8191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294784$C0EC2D71-DFA2-4C56-8DA9-9885B0ED439A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$FD31FA46-46E9-498C-A92D-32C48C50E6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$EA37E69F-C4C3-4DFE-AB5E-6C145C19D8F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e0805935ff2d1c0afbbd7d56ed8c80679a47e7c","datavalue":{"value":"6594106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$F3C746D4-A186-4919-BA28-701F995839C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q294784$29273276-6ECD-4826-9F16-BC9991568CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q294784$2C7188C7-7DDC-40D9-B377-ABEC28DD9F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q294784$BAEF284A-9D0E-4A0A-9FD3-E237A4D7DCAC","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":"Q294784$513034B9-2DEC-4392-B040-953F1744BB01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3c30f37cb7c00c5708b1c92ce4115c99f17bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$66F303E3-11AC-4EA9-8F79-BD0031DA827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5168a69757ddd9ac215dbfaba8ad4ea5029d0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3128619,"id":"Q3128619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$DC8F1D2B-932D-4980-8B9E-44792EFEC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d9baab50c68d0a4af1d19e24cbd87f17f8b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4507857,"id":"Q4507857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$42540603-2A61-4235-91B0-B08DB35873F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9785715215783c7b3b221058a4e550a906876b","datavalue":{"value":{"entity-type":"item","numeric-id":4518882,"id":"Q4518882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294784$68876D35-34F7-45AA-91CF-F9A82B3F5DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcdaf0a0b6a6110197f056bc23dcc98a22704720","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00081-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q294784$DD100B6B-E401-4B6C-83DA-292650E9E64C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bd19f954bb97881385afe755a7536071963f9f7","datavalue":{"value":"W1991816648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$F4524A78-93D3-4D2F-AE7E-C7619F174F84","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56b83734c1ae40a97fa81b4a31041f2fd5dea9d5","datavalue":{"value":"Q127351599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294784$66D5D12C-A54F-4C2F-996C-27977A9CF95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c904ace70e9dc5df8a6fd12311fe7383f4ce056","datavalue":{"value":{"entity-type":"item","numeric-id":6041168,"id":"Q6041168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab6cd51a9c533ff19c228c18d408341c92efb9d","datavalue":{"value":{"amount":"+0.7391059398651123","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":"Q294784$0FECCFDD-9B76-487B-93C1-FDD24E4A1E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaef10eabf2dd1e9c754344f10267fd0d5a5ef52","datavalue":{"value":{"amount":"+0.7211226224899292","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":"Q294784$0D3BEE81-5DA3-4C4F-836E-3A2DA70219A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c214519265aa7514dfb44ca93dd5ba7500d444da","datavalue":{"value":{"entity-type":"item","numeric-id":2926656,"id":"Q2926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f5c142c29754e5fd60bab84e5c03bf6c16870c","datavalue":{"value":{"amount":"+0.7191756367683411","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":"Q294784$68C2EF29-F735-4B11-B5BA-03F889F726F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c14da53605bda1610f650d59b29f06659c1718","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1d6c9d53a05ea38b0a4a68d6a7557be09a13aa","datavalue":{"value":{"amount":"+0.7148771286010742","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":"Q294784$C39BCA60-95FE-45F7-91BE-63C3C04BC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051afe469d3c2b6be60e57c1125d47fb60862e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4719376,"id":"Q4719376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271b891febdc7f2b5ea6423b695b926db56c2c49","datavalue":{"value":{"amount":"+0.7145569324493408","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":"Q294784$9C7CA37D-CEF3-48C9-A09A-F53108BDA952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstracting numeric constraints with Boolean functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstracting_numeric_constraints_with_Boolean_functions"}}}}}