{"entities":{"Q294390":{"pageid":296157,"ns":120,"title":"Item:Q294390","lastrevid":60713925,"modified":"2026-04-10T18:41:07Z","type":"item","id":"Q294390","labels":{"en":{"language":"en","value":"Computing the canonical representation of constructible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6593829"}},"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":"Q294390$CB463BDD-2B2D-49F9-B996-3CC9AD8B9CB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c66201d2aa5fb2e102ea5e1fba78b3cb3037a7ff","datavalue":{"value":{"text":"Computing the canonical representation of constructible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294390$F11D58D2-D8D7-4597-953C-6D8D932540A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4e678c77cbfdbe63ae12f33cf52147accc9a22","datavalue":{"value":"1365.13043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$F7869308-FA8E-4A89-AEEA-CFE671301CAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b985b50f76ddf04c1084bb32f224213904466a","datavalue":{"value":{"entity-type":"item","numeric-id":294389,"id":"Q294389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$8F50142F-2316-4526-A544-4793454C0708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad095ce817c8a23bbcedab79a26b69b352902210","datavalue":{"value":{"entity-type":"item","numeric-id":588051,"id":"Q588051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$1BB3D8AA-753A-44CD-B6A2-04B2BDF5D78E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$0D95AAE2-D1F4-4F1E-8738-A8B9B35B950F","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":"Q294390$2E91D910-B553-4386-A3FD-50D93955ECE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70e6155be86c25ea0020323dd6f635c5743693ab","datavalue":{"value":"http://hdl.handle.net/2117/100350","type":"string"},"datatype":"url"},"type":"statement","id":"Q294390$E89582DF-AAD1-43DA-9F4A-76B2F93CABC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba28c4c50807d65c4981d45e45f1b5235a343151","datavalue":{"value":"A locally closed set is the intersection of a closed set and an open set. The canonical representation of a locally closed set consists in two specially chosen radical ideals. This article describes an algorithm \\textsc{Crep} to compute a canonical representation of a locally closed set. It then uses \\textsc{Crep} to compute a canonical representation of a constructible set, a finite union of locally closed sets.  Constructible sets have the useful application that they ``appear naturally in solving parametric polynomial systems of equations.'' In particular, one can use constructible sets to construct a Gr\u00f6bner cover; that is, a finite set of pairs of sets used to investigate parametric polynomial systems (see [\\textit{A. Montes} and \\textit{M. Wibner}, J. Symb. Comp. 45, 1391--1425 (2010; Zbl 1207.13108)]).  Two algorithms, \\textsc{FirstLevel} and \\textsc{ConsLevels}, compute the canonical representation of constructible sets. A third algorithm, \\textsc{SimplifyUnion}, can accelerate \\textsc{FirstLevel}.  The article concludes with three examples: one, a geometric problem in 3-dimensional space; the second, an application to the computation of a Gr\u00f6bner cover; and the third, a brief summary of how performance changed in one (unnamed) system where the use of \\textsc{SimplifyUnion} reduced the time to compute a canonical representation of a constructible set by roughly two-thirds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$1120BC3B-A33A-4FC6-A9A5-91918EFBC901","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfa3b3ec20c558ff735a7086023bcd23dd16503d","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$6EC2519B-4BF9-4CDC-800B-0F1FBE3E1696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$A186FFED-829F-46DF-BA01-30E7C0802D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$6FA0D04C-69DB-439C-8D5D-58E2D75CEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$A9BF6D7F-C051-4AFB-82F5-DE40200880CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0918fac0aa4bef6398f7c9a88885fc2920ca2d1f","datavalue":{"value":"6593829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$345A6CF4-7D2F-443B-8915-2C4CCA76DB41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b544c29ef2332a7ac7e48f9d6728288c581f4fd3","datavalue":{"value":"constructible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$F6B27FBF-D126-4586-A230-30C4EE907D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806336dc36151e0f8237285d10debea00570c40a","datavalue":{"value":"locally closed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$89F20248-6573-4880-AA3B-24D04BFF8AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a51fba83cf9860f708e585f25dee26b9c596d1","datavalue":{"value":"canonical representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$287E6EAD-B4B0-42DE-9BD9-A99DC00110FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68376c35eb8b5f51a405b397690b2fc1ae46c42f","datavalue":{"value":"parametric polynomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$65B7B4F8-C6D8-4F9F-B796-A1C63B0A1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee43f98beb26d9b367c96f7cfff1265bb8742a86","datavalue":{"value":"Gr\u00f6bner cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$49F1B523-9213-4A57-A495-520A48F969B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q294390$40857F16-88ED-43A2-88B0-96D8F6AEBF21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$7A14EA66-6152-4213-B5D0-0012B97E7D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ffe7264c078c320becd8ec9b793e42ad55dd6ca6","datavalue":{"value":{"entity-type":"item","numeric-id":28603,"id":"Q28603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$0F042592-E6AE-4909-AC0F-BF06990950CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c523780d75075e4a0ccbf89f03bf768d9983a207","datavalue":{"value":{"entity-type":"item","numeric-id":28605,"id":"Q28605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$369B7DE8-2848-4F31-A3FE-C5EDC030D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$74C01EA3-BB9C-486E-A762-BD3FC858F31A","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":"Q294390$188F73A6-AAEF-4CAC-8B26-3208EADB6CF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"653a8f2a7977fcb7abeef2043fd22bd068e29baa","datavalue":{"value":"W2296000985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$CD26BCAA-96BB-426C-8DF0-F0A1807B59FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3936e3a308e1e5946c09f4afdc56dce57eca8c04","datavalue":{"value":{"entity-type":"item","numeric-id":2879167,"id":"Q2879167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$F71CE637-C271-4EF8-B4F5-BC3DF2DF2F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb1d12908bd98507127de3f5e9507cc5c156c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2849891,"id":"Q2849891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$4EC25D6C-2E22-4DB9-8E33-9C915083B717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170771e2cd04942d8ae42e1dfa23d69c9c583112","datavalue":{"value":{"entity-type":"item","numeric-id":4373408,"id":"Q4373408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$99D37B5C-BA43-4D0A-9FFF-E8D791EECDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6544a3ff385227aa3e360d2bbdcb9b79bd8c66","datavalue":{"value":{"entity-type":"item","numeric-id":5176454,"id":"Q5176454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$B335828C-321C-4B1F-A630-938E8C673AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$903B1F22-EA93-4F58-8772-94F7A55CA0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d769d5d8649975770225e81f2b701cd1289703a","datavalue":{"value":{"entity-type":"item","numeric-id":2469230,"id":"Q2469230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$5811B900-DC0E-4630-9B95-3346A355CAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3040b285a507cb4716dfd187c5350872fcac2998","datavalue":{"value":{"entity-type":"item","numeric-id":5176452,"id":"Q5176452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$3B7983BE-2CD1-49ED-9943-0849E9D2F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$9763BAC4-0074-4900-BD77-9E1D8B3F5B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3019fe7b5f8bb56d04aa2601899dd8c3830e57bf","datavalue":{"value":{"entity-type":"item","numeric-id":4796306,"id":"Q4796306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$FD6FA739-3737-4689-AD63-7B12DC80A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0d7b7f532a496fc39b62046307d198e66dd44","datavalue":{"value":{"entity-type":"item","numeric-id":2946517,"id":"Q2946517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$989DD2B9-8362-4E3D-B898-CB7F274634D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5427f069b3ef4e70c295578d668296ec3cc17aca","datavalue":{"value":{"entity-type":"item","numeric-id":5960298,"id":"Q5960298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$2EAB9CB1-7EEA-483A-BBEB-66136D0D96D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dc9d079f62f11e11b3699725f6db9b5cafdc26","datavalue":{"value":{"entity-type":"item","numeric-id":2229890,"id":"Q2229890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$22BB46F7-F415-487A-8519-1CF2A3698173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599705c67b08e966df95cea5de53eaef2bb21a66","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294390$23B90FAC-097F-455D-8D7B-FC4872EFDCC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f3e72766532a5e907fd0626deaf742b1a42d19","datavalue":{"value":"10.1007/S11786-016-0248-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294390$818E2FFF-54BD-4FE7-BC50-5E0D40871429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a75834b364ef85cb03644b1f12d3364469182","datavalue":{"value":{"entity-type":"item","numeric-id":2879154,"id":"Q2879154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742b8c99bc43a89a472dcc1f5a21b9a6cffc8fe7","datavalue":{"value":{"amount":"+0.7838644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$01468FE0-BE6B-41CF-9C53-A5266E77EA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff94b5d311af514d032608520a83bdc18b175bb3","datavalue":{"value":{"entity-type":"item","numeric-id":673482,"id":"Q673482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e4202d993240b563edd5ef7405c76c8ecdb8b8","datavalue":{"value":{"amount":"+0.7625317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$D9A02F75-BEB9-4346-A6F3-9CBE423D742E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c4e4c1bcdcfe616f71ddc822de7cb5c58bb6de","datavalue":{"value":{"entity-type":"item","numeric-id":294387,"id":"Q294387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22215af431c46e75a2b72739092e6df9c639082","datavalue":{"value":{"amount":"+0.75746995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$ECEE85C5-71C8-45C4-8C44-03C75A889CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2b0da0079a908a8f2e46d6e03c29d4137424a","datavalue":{"value":{"entity-type":"item","numeric-id":782705,"id":"Q782705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1fb9efd0a07a45d6393c0094a68c13617c3498","datavalue":{"value":{"amount":"+0.75737107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$FBE70EEA-A12D-4EA9-A8E1-7B5958CFE614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a306a12f86c7ce120546721ef58579e6041218","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cced3982ed2d3d3faf35aea88c71672cdf895e","datavalue":{"value":{"amount":"+0.7565992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$60A3D0BB-54AC-4A7B-B89C-9F858A5B6BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f558ccb26bd104f0a7244d1a1bc4c7628db7cb","datavalue":{"value":{"entity-type":"item","numeric-id":2455741,"id":"Q2455741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad902a3364231cf114f64992e2038748a78073b3","datavalue":{"value":{"amount":"+0.74764377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$2D7D6CD3-568D-436D-BAA7-57A8D4B62DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfef3f0f4979a60e6d7f6786017d08b15607ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1012136,"id":"Q1012136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dadd295948296f75b0bc914f068e2fdbe7747e7","datavalue":{"value":{"amount":"+0.743219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$9ADF80E4-AFEC-49B1-919E-067EBA2F0A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c3288a6e74579b43122efbb340b5274d104bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf5f9230bc3b3632203342ebae9cbe4978a4c53","datavalue":{"value":{"amount":"+0.74177897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$4E26E153-2017-468D-A56D-153595EFA082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75964fc2d1363d91090bee80f8809c7352c3bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4265398,"id":"Q4265398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7cab79ae9f77a65719df6d518e489eaf02bf14","datavalue":{"value":{"amount":"+0.74146384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$4971E444-65F1-4516-BD39-FE16807BEA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417e8e22d769952028b6ee9a8913f3cac92495c6","datavalue":{"value":{"entity-type":"item","numeric-id":3358853,"id":"Q3358853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016cdba3b0556a4370316ff429827ffd830ed7ee","datavalue":{"value":{"amount":"+0.74143964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294390$AC99D92E-3C60-41FF-A9DB-6D70DF52C498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing the canonical representation of constructible sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_the_canonical_representation_of_constructible_sets"}}}}}