{"entities":{"Q2865084":{"pageid":2875804,"ns":120,"title":"Item:Q2865084","lastrevid":51881432,"modified":"2026-01-20T11:28:06Z","type":"item","id":"Q2865084","labels":{"en":{"language":"en","value":"Automated generation of logical constraints on approximation spaces using quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234240"}},"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":"Q2865084$808B9E81-DECA-4FD7-BF59-0260B77A8A0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a27054ac0d772b7b01bc3cf97067be92dd513dd","datavalue":{"value":"1275.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$3471ED14-A4DB-49CF-B23B-300ADF9B4F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22aee7faf3a16e8c9f4b23135775a03383b29116","datavalue":{"value":"10.3233/FI-2013-900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$99B7DCF0-C655-42DB-8B17-E01BF56F4FB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032aafba140558c82c03c3da77f727bddea77b26","datavalue":{"value":{"entity-type":"item","numeric-id":329425,"id":"Q329425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865084$671B645E-E53F-4468-BA1A-8FB977C5AA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865084$82F5FEA9-0FE9-42C6-85BE-D095F381FB6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865084$055D6E63-125F-462E-B7C2-DDF7054D13BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2865084$0BFE2E40-EAFE-4CB7-B28F-F2DEA1472B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$3BF9A27B-3A49-4EBF-8A72-78B87A089579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$6F12C297-8C99-4C40-9422-C303E58CC989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$C42FBC6D-8F1C-40B5-9D7A-788A9870B452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9514e76aa4fa599a77a6cd38582aafb58cdcbf4","datavalue":{"value":"6234240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$4FBEAECA-C9AC-45C3-A732-A1812BB121A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabacb2bd9bfa003ffe87c04d7c5daaff1d4875c","datavalue":{"value":"approximate reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865084$7AB42152-E654-4720-8920-7F7FD7E5043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe46657715cc6096ab87d19893dd8e5bc0b0ea2","datavalue":{"value":"rough sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865084$05C8E936-412A-402A-8801-B86DCF117D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c2e66c5188fcec41f67e908c4a9f28f9d88db1","datavalue":{"value":"approximation spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865084$3C40E03B-2940-48CB-8852-D2FFF6A2B704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865084$F5043FD4-8375-4365-9C6C-F48E5E8F1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865084$F31BE550-DF95-4CE4-9A50-99F4EB208E8C","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":"Q2865084$A099E102-DD3D-4E2D-BE0B-BE9A22058769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"681b4aee3f9891f533b8c4e79bdf628842eeff92","datavalue":{"value":"https://doi.org/10.3233/fi-2013-900","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865084$F3F20BF7-6086-42BD-BC69-0881B9A5AE81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f410309c8b3f2d302334ed6b27d3422921173c8e","datavalue":{"value":"W1778761959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865084$847027C6-79B1-4446-91CA-40CEF0A1689F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1293292d5aab6ca49e93ec8c72a991386253e62a","datavalue":{"value":{"text":"Automated generation of logical constraints on approximation spaces using quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865084$643692D3-4C2C-4D1C-AC8C-2A863B36F248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cee74e24aca95e5a1e1fb5905f9bf7f14802f2","datavalue":{"value":{"entity-type":"item","numeric-id":3425577,"id":"Q3425577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21f469d15dce3011a9e126244472011c55eaf57","datavalue":{"value":{"amount":"+0.7462786436080933","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":"Q2865084$2026BE23-336A-4087-948E-9C2410990458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d490a5036347adcb2193e49bc561352175e0a949","datavalue":{"value":{"entity-type":"item","numeric-id":5369812,"id":"Q5369812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87db0e6c6f931fd6621dea54b893fef037c4e14b","datavalue":{"value":{"amount":"+0.7245227694511414","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":"Q2865084$C8D30E0B-2C9D-4D4B-9BD0-B8AD2A8C2DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4755e92612b7b561c3136c0ef2d57ae52ae1c38","datavalue":{"value":{"entity-type":"item","numeric-id":5505446,"id":"Q5505446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72a1095818624b907f41ec35913be9546acb125","datavalue":{"value":{"amount":"+0.7215740084648132","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":"Q2865084$4324D25F-4EDF-48B9-9C18-BD5EB4C39948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9395028743549c6bb6e65183088b4a163c2976","datavalue":{"value":{"entity-type":"item","numeric-id":5394676,"id":"Q5394676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb14a2d4387fce3741f690d9141417b9b8210629","datavalue":{"value":{"amount":"+0.721192479133606","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":"Q2865084$C800BAB3-1AAC-487B-9497-7EE798307A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d7e84885d34fd587099ee6c46bf8e43e74d95c","datavalue":{"value":{"entity-type":"item","numeric-id":4250252,"id":"Q4250252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8627f4aeda50dcdf10509fbaa080834e501adf9c","datavalue":{"value":{"amount":"+0.7155511975288391","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":"Q2865084$D5672F8F-139F-4220-9683-D1EAC646567B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865084"}}}}}