{"entities":{"Q515492":{"pageid":517259,"ns":120,"title":"Item:Q515492","lastrevid":62423385,"modified":"2026-04-11T05:59:33Z","type":"item","id":"Q515492","labels":{"en":{"language":"en","value":"The tabularity problem over the minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695490"}},"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":"Q515492$BE6AAD26-DA34-4008-B1DF-C757465FF543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"910fbdfad517880429114f34e816408522c2c975","datavalue":{"value":{"text":"The tabularity problem over the minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515492$6DDE2E50-9070-42DB-B799-AF619B04FF70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8120092129f3fa062366bdf26523a08eff36adaa","datavalue":{"value":"1420.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$559E8CDC-A791-4995-BC34-3778240AF674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81665decc54dc66db9529baf86c73b671e6cbc9e","datavalue":{"value":"10.1134/S0037446616060100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$F93FCDB9-6513-4AD5-88BE-C69A52AECA3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$0380B691-485A-4E0B-B007-FE7315A99CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-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":"Q515492$2FCDAFEF-F74D-45D9-AA54-3D50E4432942","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$028F85F3-0648-4A05-BE80-659F0E2E3239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$B380A403-2288-4D1F-A3CB-A2D2A75EAC5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a9289ef772afc3b93dd04b9472fe9cfe84b96d","datavalue":{"value":"6695490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$90E0F16E-A706-47B8-A81F-CEFD233BFF6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q515492$69BCA763-90AD-4561-B62E-E10DC93330A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ff4fd80c9395ddbb4f96cc98ff5ca569d2226c","datavalue":{"value":"tabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q515492$584B7031-5B5E-4B62-A91F-FCE0B3D5C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e0afc88ace0dcbc90322552e5b4fcb3965b6729","datavalue":{"value":"pretabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q515492$74AD181E-4B1A-4614-A689-9744E0A9AFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q515492$BF814F0F-6A11-4597-8885-410597AC2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q515492$59E7AF5C-4F44-4EC0-B3D2-488D1E59C568","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$891DDF6A-0671-4CF5-BF1A-F45045A1320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$74DF383E-B7A1-44F3-A49E-B8D941F50B5E","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":"Q515492$F9DAC311-624C-49B9-9028-047E1E21037F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$0BAC6EB4-5AFA-4FC3-B466-F38C77FFC911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$65F12329-4EE1-4B39-B121-23BD5111D01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19fd85ed3951784f76bd0623e4feb5bec994603","datavalue":{"value":{"entity-type":"item","numeric-id":5202988,"id":"Q5202988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$8710CA18-4BE0-462A-8EDE-3F31FA25C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21d0883fa45137b7b7a2eff9c70345bdb4de3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2885194,"id":"Q2885194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$D21590BF-DDEC-4168-8934-E85158AA7648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$80BF7972-AF9B-430E-A7F2-A978D4373136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff468da0683dc846bb461ab51ba3f070e1da3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2364334,"id":"Q2364334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$28FD312B-E62B-4195-B2A3-69A463CADB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$A4310A77-BA46-48B5-B46D-0B63B8323740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$AEDB54B1-4BE8-4C6C-8A4F-891F6301F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$692E64CB-4C74-4F4A-B726-1E2912689DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8b14ebf7b1633a83dec41ff63f00cdc2d1d62c","datavalue":{"value":{"entity-type":"item","numeric-id":5619070,"id":"Q5619070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$01A83021-4C56-43D0-B8DF-C22327618AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a31f88544f0c8be8e3a7be3fe49cfd03468d1d1a","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$4F5848FD-DB88-4BFC-8558-007D64CB4C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$FAE10113-3E84-4EC7-BE1A-24ADECB209F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d0ac5c1a8172e28b06d750d6895d7b377679a0","datavalue":{"value":{"entity-type":"item","numeric-id":4532622,"id":"Q4532622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$EECC98D8-D198-49CB-9991-B4F0DA5196B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48293d85d367383452f99c34c3c6c19e5963c048","datavalue":{"value":{"entity-type":"item","numeric-id":1401362,"id":"Q1401362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$D995DEEB-2277-44E2-93D0-CE7B34F9DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$9B2E7B46-8C64-4962-A324-391400FD5609","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":"Q515492$C0FA6019-16A7-4920-81F5-90C1E88CCED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91ec61c1c2e069ad77857747a99980d23202b0","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515492$653DBBFB-B980-48D7-92EC-856A0FA959FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b07d296e40dd96ca969c8333bfbef0a7cb77ec3e","datavalue":{"value":"https://doi.org/10.1134/s0037446616060100","type":"string"},"datatype":"url"},"type":"statement","id":"Q515492$D9040E91-BC7C-42A6-A9A3-AFFCF0D2D4D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"092f0d40be0950c44dfdabf5d863196dbe2d235d","datavalue":{"value":"W2567507395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515492$64F0556E-0F83-4936-8D39-1FF437CAB9A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae0e8b2e84d4c74cf7ef3876d66ffe154610606","datavalue":{"value":{"entity-type":"item","numeric-id":3305421,"id":"Q3305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc38925d96a41bf5439495045caa96d39584de2","datavalue":{"value":{"amount":"+0.7814425826072693","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":"Q515492$70BD3594-F0E2-4B24-80BE-FA4FB8CBABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae20821f5bc3e90021213f5b9c530dbe42cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509542651b546312ca8283786ccc27b4f035aaba","datavalue":{"value":{"amount":"+0.7771798968315125","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":"Q515492$3A4BADE1-5A93-4AC2-9B29-92620E86EED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37142ebb936cbd1a77688a534367f1b5547e275c","datavalue":{"value":{"entity-type":"item","numeric-id":1745087,"id":"Q1745087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e24c3671041f63249736730bf7457c9083af2e1","datavalue":{"value":{"amount":"+0.7746665477752686","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":"Q515492$A846A0C0-5D5C-496B-9F6D-2FC0A61B694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2474112bd234d250ac4752720ddb65211d803395","datavalue":{"value":{"entity-type":"item","numeric-id":2364334,"id":"Q2364334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6487ea6633c6b5af60d7af72b17500848a9f658c","datavalue":{"value":{"amount":"+0.7697493433952332","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":"Q515492$4D586565-8D9F-47EE-9E54-53B7095A3831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11efebd477c43998ea4774fb3b06fe05bbbf7a5","datavalue":{"value":{"entity-type":"item","numeric-id":511341,"id":"Q511341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b96c9ad824b56e8763a28dae376ee0f1af5a81e","datavalue":{"value":{"amount":"+0.7693501114845276","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":"Q515492$94E71C96-D4DB-43A8-A2C9-847E807B8242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The tabularity problem over the minimal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_tabularity_problem_over_the_minimal_logic"}}}}}