{"entities":{"Q1706265":{"pageid":1717006,"ns":120,"title":"Item:Q1706265","lastrevid":68972169,"modified":"2026-04-13T03:27:13Z","type":"item","id":"Q1706265","labels":{"en":{"language":"en","value":"Tarski's theorem on intuitionistic logic, for polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851798"}},"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":"Q1706265$5A548E84-87BE-4E7B-8684-06E712A48A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"410c01c88663e6c0766f8f7dbb0c4a6f27f5ecc7","datavalue":{"value":{"text":"Tarski's theorem on intuitionistic logic, for polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706265$090EEA2B-9ED6-4A16-915F-F239E495243F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"350060cb73b58307246ac575875b10a388c5618b","datavalue":{"value":"1390.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$142272DD-D1D7-42F6-8B55-5D6AC6F59540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$2871FE19-4599-4987-9B68-C01BF037EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$D547B0AD-DFE5-4404-A240-60FEE960AE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9612c4c1bb8c73afa5c90fbbd5335e3ac37b26","datavalue":{"value":{"entity-type":"item","numeric-id":1706263,"id":"Q1706263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$9AC35978-C6F0-41AE-9651-9F2525595D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b3e272fd3d0a6ab5faa1da804a2904ddb206ce9","datavalue":{"value":{"entity-type":"item","numeric-id":1706264,"id":"Q1706264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$97D3CD67-D656-4DED-8171-AFDD8F9B7E0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$CEFAEE45-6BD0-425D-AB32-31DA1152C855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706265$C20B46B4-588C-4C07-B486-F4B156325E32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fc4895a5f13b0866305e2142b0390d349243f03","datavalue":{"value":"https://arxiv.org/abs/1701.05094","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706265$379CC21F-3E57-48AB-A7B6-77B49B71B357","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f622d8e2342a3e03c4ca6312f62316c0914adcc","datavalue":{"value":"It is a well-known fact that the intuitionistic propositional logic is complete with respect to the class of all Heyting algebras. The mentioned theorem by \\textit{A. Tarski} [Fundam. Math. 31, 103--134 (1938; Zbl 0020.33704)] states that this logic is complete w.r.t. to all Heyting algebras \\(O(X)\\) of open sets of a topological space \\(X\\): every non-theorem is falsified by some \\(O(X)\\). Actually, the class of admissible spaces here can be considerably restricted: for example, \\(X\\) may be any Euclidean space \\(R^n\\). This means, in particular, that the Heyting algebras \\(O(R^n)\\) and \\(O(R^M)\\) with \\( m \\neq n\\) satisfy the same formulas; consequently, the intuitionistic logic cannot detect the topological dimension of an Euclidean space. Another classical result on intitionistic logic, which goes back to a short note in 1936 by \\textit{S. Jaskowski} [Actual. Sci. Ind. 393, 58--61 (1936; JFM 62.1045.07)], saying that the logic has the finite model property: a non-theorem can be falsified by a finite Heyting algebra. In the paper under review, the authors provide a Tarski style theorem that uses only locally finite Heyting algebras of open sets, and hence covers also Ja\u015bkowski's theorem [loc. cit.]. Namely, they consider the lattice of open subpolyhedra of a compact polyhedron \\(P \\subseteq R^n\\), which turns out to be a locally finite Heyting subalgebra of \\(O(P)\\), and show that the intuitionistic logic is the logic of formulas valid just in all Heyting algebras arising in this way. They also show that the logic is able, in a sense, to capture the topological dimension of a polyhedron.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$C755EDA9-A215-4CF0-A747-B1CE3583CE57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$765EFE1E-5A7C-404C-B502-931860147045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$45A8E29D-D253-4003-A3F1-C0153913E3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$CAB8530D-7A39-4C31-B69A-821B901A211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$7666EA63-741C-4588-BFEE-DC5FD83E740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$2363BE37-4ECF-48E8-8B99-71675A7EDE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$06159765-8440-4F71-929F-ED903720E9C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e745f19bd9c9efadfee894c44a1bf47e58f48c1c","datavalue":{"value":"6851798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$606516A2-BA1F-48F0-9047-1F4C3295E53B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b6a8b39a7cb10b0a05e5511a5a6d1ab0cf6eeb","datavalue":{"value":"finite model proprty","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$F3485373-DEE9-4FA6-A461-EF2CF6CED7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$C56040D5-3426-4C5C-94C3-B28AF2D56AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$D07FBC67-6985-4BD6-87F5-C4EF9C6DE251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f5a0578cd7b302a83190331380e0f2e08a442","datavalue":{"value":"PL-topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$7A8B50FF-A334-4711-83C3-0FC11691EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f2a96a2b64089759dd2d2593ced2328c88f9b6","datavalue":{"value":"polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$527B6925-7C0D-4E6D-B90D-75725CD0A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$7893AC30-6EEB-4FB2-8DB0-BCF425C3DE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706265$29ABF7E9-BBB8-4106-B103-EA8D5CCCFD7E","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":"Q1706265$9FF4A86C-3B92-4343-83D2-F98CB44FEEE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21985389f9a3bf77a8532b9feecbcd3c4831985f","datavalue":{"value":"W2963685352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$DBCD7DCB-131A-4E61-92CA-ED64E5C21332","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"121fc1b0f8d9fffc91d98a4bc269dab40f63f5a8","datavalue":{"value":{"entity-type":"item","numeric-id":952491,"id":"Q952491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$8FEC3574-828C-468D-B1E0-EA2F4226DA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$F8F77E55-D925-4952-8D47-4BD3FA114901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f7f31049ee9579d468c829b9238e1e422f8c58","datavalue":{"value":{"entity-type":"item","numeric-id":4222745,"id":"Q4222745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$C9AE4ECF-0579-46EE-AEE1-D6EBA930B7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$AF01BE33-9E9A-46AE-B255-81B3BFF6D139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70871b2b5cffa69e9508895ed67104ae992e96f2","datavalue":{"value":{"entity-type":"item","numeric-id":5224685,"id":"Q5224685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$DCCFBD02-F22D-4848-B56D-811A84A904F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$8DC1FB3D-20F4-4E9F-99F8-9266852C6EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3760b801141d798ca65d9cd1f7c7b1bb40a3cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$B438E58D-F2F2-48F5-B0BC-3D22E8189DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adcd6f57747fd98bf860a3058106dd66aef06511","datavalue":{"value":{"entity-type":"item","numeric-id":4600458,"id":"Q4600458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$C6B2F0C9-5F6C-4C7C-AB73-9CF6D710D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$756016E1-0AEC-4362-8056-C11E7BE92BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e29cec8786ca251bbacb83b140ec1f440a0490","datavalue":{"value":{"entity-type":"item","numeric-id":4871782,"id":"Q4871782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$37D0372E-7B8F-4CA7-9020-6E2C6ABC6472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$19C821E1-C9E6-418B-8396-9F762B9FC453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$0CEEA8FE-C01C-4E27-A5A4-80B20EC451B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602eb46cfff74b421bd94331e79844c009b66b56","datavalue":{"value":{"entity-type":"item","numeric-id":3995201,"id":"Q3995201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$14804717-A4F8-4988-B73D-D5920D8752D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65caf7669c7351926ef7737dc221b9aef57f412c","datavalue":{"value":{"entity-type":"item","numeric-id":4277651,"id":"Q4277651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$ABE8F4AB-39F3-4A9A-9500-548D4FCB1A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79205307b2e374114a851fdf52f3d5af953392ec","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$1719B669-F580-41AF-BD7C-F4D90DD1B8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bf2f788f058086891313472afb09ba5e14cbb2","datavalue":{"value":{"entity-type":"item","numeric-id":5614468,"id":"Q5614468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$3141FB02-47DF-4EFE-BAFD-DD9B92BB0D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff4da6c1d6da2ecd996a7eb49167ae1e3533b0","datavalue":{"value":{"entity-type":"item","numeric-id":5584509,"id":"Q5584509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$E877A54A-AB3B-47C6-B70E-CE04359D258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$F1CB2C2A-7DC3-423F-99E8-0E40C1CACAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5089fc6939f97e1a5c71705d3e8b1fb112d6b93","datavalue":{"value":{"entity-type":"item","numeric-id":5605151,"id":"Q5605151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$C93EEB34-C672-479D-A35A-DDCC6FBF3384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$0BD33129-530A-4BA7-BF78-9C9F4774C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$FA553E78-AFA5-44D7-A8C0-CC8A390D3D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$60B03E9D-6CCF-406B-92FC-377A1FE52D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$4E872353-CD75-4F3E-B337-5A97C46EFCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c58adf6922ee10e6b8bd4b9b845393b871b463c","datavalue":{"value":{"entity-type":"item","numeric-id":4069959,"id":"Q4069959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$DD0B2753-DC9C-4ED4-AF4E-FCDB29CDFB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$2DC9B860-0319-41F1-B3F4-525458157056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baae621a14722da0659892b76836e44f2a829274","datavalue":{"value":{"entity-type":"item","numeric-id":3935151,"id":"Q3935151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$6AD16C7C-B8E5-49ED-AC2E-0E12D2DC4E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4c905b40385af582cf8c7670cbd209925268d5","datavalue":{"value":{"entity-type":"item","numeric-id":2534978,"id":"Q2534978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$BA0B5613-F413-440E-B622-B133491EF2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706265$B14A0164-946A-4BD1-9B49-266ACAA0106B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1779f61d59b88ed2e529b6d2a03117810bc4a482","datavalue":{"value":"10.1016/J.APAL.2017.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706265$51251D5C-8B79-4096-981B-75F7EE60BB57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7048b01db9b59225a0617ea77a86af71406ea699","datavalue":{"value":{"entity-type":"item","numeric-id":4694249,"id":"Q4694249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b158cae0475402fa9e07628da1aa6bdb353eff1b","datavalue":{"value":{"amount":"+0.7445817","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":"Q1706265$61118DB2-8A79-4F25-8652-D84074B69FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d1cfd9aaa74f33391da2779d5573a2ef6e0be1","datavalue":{"value":{"entity-type":"item","numeric-id":5389361,"id":"Q5389361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225bee9a4a45d2c97d0e23f74db19cc8e516b67a","datavalue":{"value":{"amount":"+0.7110887","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":"Q1706265$8D0CBDC6-64D7-4FBE-805D-48772D466CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266725cdfd1cc95ffdd050b888c4682cd7544ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2998377,"id":"Q2998377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388dc3c202ee84038c792cfd22f206d230a7030c","datavalue":{"value":{"amount":"+0.7070833","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":"Q1706265$CDDF1F55-D2A8-48BD-BCFC-593257585B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af492aad8878f1a94467bffce3ac23da3efdd3ac","datavalue":{"value":{"entity-type":"item","numeric-id":4304123,"id":"Q4304123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ded34e59165c4c5687950b8861e53944298a57b","datavalue":{"value":{"amount":"+0.7064421","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":"Q1706265$9E7071EF-23D8-4301-AE17-AD878500EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1323ead5579d010ffe3547debf37ba725d40fbb8","datavalue":{"value":{"amount":"+0.69882655","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":"Q1706265$E8A0A351-DFF7-468D-A0A6-21D63E8C4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929d7ac4260d1518d4144285a2efb99bb81b4db","datavalue":{"value":{"entity-type":"item","numeric-id":627438,"id":"Q627438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9592998cf47cfae2ce7048473e6644521b00416","datavalue":{"value":{"amount":"+0.6986567","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":"Q1706265$80DDDB28-8674-40B4-8207-5E0D8C3D4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee608b393463611c492e5fc8554fdab74ad3018","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6936abe64cbd9afbd1d348bd804202cc3278eba1","datavalue":{"value":{"amount":"+0.69818985","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":"Q1706265$41BFDA46-BCAC-4CFC-AEC4-3CDE6303B30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d46a87531b444a0835266b3d2aad6d4e93b1bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1744600,"id":"Q1744600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb66f8c74a54428a24e7263d8d05493163aba2f","datavalue":{"value":{"amount":"+0.69461685","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":"Q1706265$613BD529-FB5C-43F5-8D3D-E5BD60762B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2e118ef56ac8f2eeafb4ca4bf831744269ffff","datavalue":{"value":{"entity-type":"item","numeric-id":5224685,"id":"Q5224685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589f3b85a931796096934af1d212d26da59af6fb","datavalue":{"value":{"amount":"+0.6867201","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":"Q1706265$E9DF4C5C-02AB-4CE4-B823-8976960638B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tarski's theorem on intuitionistic logic, for polyhedra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tarski%27s_theorem_on_intuitionistic_logic,_for_polyhedra"}}}}}