{"entities":{"Q1676326":{"pageid":1687067,"ns":120,"title":"Item:Q1676326","lastrevid":71882448,"modified":"2026-04-14T01:09:49Z","type":"item","id":"Q1676326","labels":{"en":{"language":"en","value":"A computational glimpse at the Leibniz and Frege hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803109"}},"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":"Q1676326$D01D02DF-91B3-48E7-A74E-B6AA0935FAEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aaae079f0959b246231cf23857fca374d31dc36","datavalue":{"value":{"text":"A computational glimpse at the Leibniz and Frege hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676326$F76B1D67-6E3E-4C3F-B1FF-C50E2E9794B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"874c8ae9b42683c5dd76b94a65d35e7790ed3e47","datavalue":{"value":"1391.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$FA46C8FB-D4F4-408D-AB86-3F4A4C760C42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85df26c66de56d0d6dddc989cdbbfc63a8da6f68","datavalue":{"value":{"entity-type":"item","numeric-id":324256,"id":"Q324256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$4C22FDA3-C567-4049-A600-2856F6083F95","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":"Q1676326$7FE29361-8A0A-4935-8AFD-C1C8B55991F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60f7fdf31400cbe5a25db6f9e2bbea930bfc8562","datavalue":{"value":{"time":"+2017-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676326$75845CCB-43A6-458C-AD96-D0AECA0D8EFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80fd5a2cc2b1f503daa787501d1eb2d08b808ccb","datavalue":{"value":"https://arxiv.org/abs/1908.00922","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676326$3F1B15EC-4BC0-4933-B2DB-A38BBFE1822D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c95ff658c351b3112005a8ce2a6438bcb52046b7","datavalue":{"value":"The author deals with the following problem: is it possible to decide whether the logic of a given finite consistent Hilbert calculus in a finite language belongs to a given level of the Leibniz or Frege hierarchy? In the first case, the Hilbert's tenth problem (on Diophantine equations) is reduced to the problem of classifying such a logic in the Leibniz hierarchy. In the second case, the author relies on the undecidability of the equational theory of relation algebras in a single variable. Thus, for both hierarchies the problem is generally undecidable. Moreover, the problem is shown to remain undecidable when restricted to the classification, within the Frege hierarchy, of finite consistent Hilbert calculi that determine a finitely algebraizable logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$A4E5F32B-16F6-476A-AED4-D2D132840D0A","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":"Q1676326$A6603F1E-0A1F-427C-A902-A5C8A03035BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$F99B60CE-3A9A-4EBE-BE22-13A103B0402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$13E5AB08-638D-4B45-930F-0EA9945C25C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$74CDDFBD-ED12-466B-8D55-2A1BFFA23254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$805C5E1D-A3BD-4999-A20B-0FC417C4DAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7b8d255acde5092d50aa69e0770ad963de23610","datavalue":{"value":"11D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$07B4E8E6-3A3A-43D3-B924-6335030C06F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55e40f81fce0e82245cc01efc9f4e81a34621ef1","datavalue":{"value":"6803109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$D6A6B029-48CA-4152-A7C9-411AC8790B25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$A34A12A1-DF97-4C71-A3EF-659D31269D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$C2B56FBE-9685-4B6A-9E70-D448540F747D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ccf56720c6cab3d62019be535766050a08cb8","datavalue":{"value":"Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$E2BCEDD4-BD0A-44FD-8C51-012F011BED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd31bafec044ee369284e8833eaf3a41645768ce","datavalue":{"value":"Frege hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$A4FE55DB-C03F-4A06-8509-D9D06F5D8F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dc5c4478e280200738e78108a10d8f8ac0f7b","datavalue":{"value":"Leibniz congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$5FD05C73-E72B-4233-BF10-D4943481170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdac41da6e60e4ac0c1c658151c5c862147988e8","datavalue":{"value":"Leibniz hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$5A8D1E0D-C419-499D-9AD3-89AB7D71FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676326$5C11C97E-6718-4BEF-99D1-EDDC61D6DDF8","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":"Q1676326$53F877F5-B7A0-4213-BE92-3E4504331EBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2eaaabbf6ef23214fa3bb18b94aa65520b1c4abe","datavalue":{"value":"Q122969939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$CDB2E819-72BA-479E-81B2-182E1993DA01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fc81922b96ec9be7f91311a63a1de449f748963","datavalue":{"value":"W2739404527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$C55E84C3-162B-4DF4-BFA9-8CED593F4BC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6189fe1c0813f4fa771e52af0cc73660e3cfaa7c","datavalue":{"value":{"entity-type":"item","numeric-id":4465171,"id":"Q4465171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$F990A328-8381-4D56-972C-D59F0D70C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$142E2E2E-49B2-447A-B318-BD13E879911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00597f1037a916fe90bbb9f8b2789c58e5a7ff45","datavalue":{"value":{"entity-type":"item","numeric-id":2411405,"id":"Q2411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$9CD01E7A-5B51-4751-A1E2-74560CDD9B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283258d8f6a50611821873bfd86a3de7be3d7b97","datavalue":{"value":{"entity-type":"item","numeric-id":2433094,"id":"Q2433094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$57FC36E5-EEB7-46F0-AA91-39946F487DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$27DB919C-CCB7-404E-9156-574CEA007769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$EA4EFB94-C437-46EB-B357-A4E40CADF0AF","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":"Q1676326$A7A003EE-2B16-4D5A-A8AD-28A443D90F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$609C84AD-070D-4A12-8EF7-63F11DF35927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$79A2840D-0DF8-4312-AFF9-1587E1BEB97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54be5ea7226b346ba7ae62565ca826ef2327181","datavalue":{"value":{"entity-type":"item","numeric-id":1770606,"id":"Q1770606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$483E1252-54A7-4262-A07E-2012F7CBA92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$C47A1C3D-D8F1-4B87-AA70-9F48092938F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$93100376-3AC7-4EE5-BC0F-8C12AD334EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$BCE8C8F1-51EF-4D30-A86E-4CE5DFFB8AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e62da9690ee647bae23badaadb79e8c0a914dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4644494,"id":"Q4644494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$640F72CF-DD04-44D7-8B43-074F096DD202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6306f1f3a286fabdc791b3509e23b5fd08f55235","datavalue":{"value":{"entity-type":"item","numeric-id":5599830,"id":"Q5599830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$C30DB479-6973-40E0-B0BE-B625F0DBB5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213d3894eec852c61cf5db9fadd2c65815477d14","datavalue":{"value":{"entity-type":"item","numeric-id":471164,"id":"Q471164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$2F8234D3-457B-4720-B4D6-2E37847221A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$ED970594-3E5C-46AF-B38E-6D1EDD177A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b538b0fcdc1f1e889c45eca2b275d172253444","datavalue":{"value":{"entity-type":"item","numeric-id":1576381,"id":"Q1576381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$C84FAE37-7952-49DF-94B9-D711ADFDF505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809be90ab75bb104475818980dbf1ee09bee639b","datavalue":{"value":{"entity-type":"item","numeric-id":5311056,"id":"Q5311056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$6A9E8A7E-54D2-4C98-A42C-B95A668B5FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$37D5E225-AFC2-4C09-8F93-175B315236C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$39876C4B-2B9D-440A-A90F-6C5CE0979742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$0ABA4126-AAF7-4A9F-9A3E-5A955B33AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676326$CD04D70E-061E-452C-9C5E-161B38DC502A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fe8eaa1abee8f3bb19150a6177a7878883eeb86","datavalue":{"value":"10.1016/J.APAL.2017.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676326$D0B2FE04-CE9C-43E0-A07A-58D2ECA5B647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cab437a2cf363dbc4e5c10a092f9d79cc6a77b","datavalue":{"value":{"entity-type":"item","numeric-id":1740630,"id":"Q1740630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5738eec060697165aad56bd7c6611bb1d98d9b","datavalue":{"value":{"amount":"+0.8672507","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":"Q1676326$E591E1F4-3D93-4514-A489-797229A058C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb680fa3e5c30e85ce781b304ecaa91488fa0b77","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a94af334fd2ef5209a2f93fa17755c00ffc7f9a","datavalue":{"value":{"amount":"+0.85588646","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":"Q1676326$C678CC1E-A3FE-427A-8C77-6A2EE9186C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502900427f52c8dc06c114b6ced510de6fe82992","datavalue":{"value":{"entity-type":"item","numeric-id":1575655,"id":"Q1575655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ff2ea92343890d58a6a2dbb21bab151f55d626","datavalue":{"value":{"amount":"+0.8419654","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":"Q1676326$36D4F832-5B9B-4CF8-AB80-47363C642884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9055996a1973eb9a8d66a6b109c2b3702d20fecf","datavalue":{"value":{"entity-type":"item","numeric-id":3576224,"id":"Q3576224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaa634e9c3323c52f643624d009d5f39463b466","datavalue":{"value":{"amount":"+0.8408373","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":"Q1676326$FB4ED507-B28C-43C6-923D-7A6B98868EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10fb58723d6ac4f8a71cafd2665d9baf8c93bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2271986,"id":"Q2271986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c4a655ef15ff91047903b47d2f99a4f9fd7858","datavalue":{"value":{"amount":"+0.8400141","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":"Q1676326$BDEDE285-E808-444A-B95B-66767512FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e3710785b4e5fa99ee6f73081e92b625a48509","datavalue":{"value":{"amount":"+0.83755463","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":"Q1676326$609A0654-AD43-4AA9-884A-B538BFA4B161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0a91138e90bf399b2dcb7fbee8e2fd139fa300","datavalue":{"value":{"entity-type":"item","numeric-id":2014991,"id":"Q2014991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceff0b29650587eff4c4eee6e634a3cbd5b15cf","datavalue":{"value":{"amount":"+0.83595294","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":"Q1676326$DE2E11F2-6843-4394-B284-BBA7CCD4F14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5e5b657b099637f031be28c5118d03871a059a","datavalue":{"value":{"entity-type":"item","numeric-id":1430995,"id":"Q1430995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87335616cdc199df42bc4d42f35b5ff118a0feb9","datavalue":{"value":{"amount":"+0.83592963","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":"Q1676326$42AB3BA4-D566-436C-893C-FC4BE2FC0913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdc3a3b0abb0fa1ad83e6040892066529f068b6","datavalue":{"value":{"entity-type":"item","numeric-id":4732455,"id":"Q4732455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0aeb177e505f8ed5dd9ab8eb18a9923a9cf954e","datavalue":{"value":{"amount":"+0.83497536","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":"Q1676326$F72CC7D0-F9B4-4EEC-AFEC-F75F63A5E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528e6771ce6a43b6b480d58ae14f5b157c28792","datavalue":{"value":{"entity-type":"item","numeric-id":5463274,"id":"Q5463274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3f9d674501f7f6511fe5ef90b5beaf61501eae","datavalue":{"value":{"amount":"+0.8341469","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":"Q1676326$F56065BB-93C6-4922-B90A-DAD9CE949DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computational glimpse at the Leibniz and Frege hierarchies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computational_glimpse_at_the_Leibniz_and_Frege_hierarchies"}}}}}