{"entities":{"Q2364334":{"pageid":2375077,"ns":120,"title":"Item:Q2364334","lastrevid":52859129,"modified":"2026-01-23T16:08:12Z","type":"item","id":"Q2364334","labels":{"en":{"language":"en","value":"Layers over minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748454"}},"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":"Q2364334$A11BEB15-E673-4E12-B4D3-9AFD737EB62C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e9aa46a2275d81aaec56b2b8e781a86f7fb055","datavalue":{"value":{"text":"Layers over minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364334$AD54B0C7-5838-4067-BA2D-4E213C47865C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beb217267a4c60c273ada6864b7be2b2e300eb65","datavalue":{"value":"1396.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$6EF0BEE5-1A56-40C3-B5BD-6FB94095D295","rank":"normal"}],"P16":[{"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":"Q2364334$0628F265-2B2E-429B-BE2D-CC139BE6A8A6","rank":"normal"},{"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":"Q2364334$936F4DE3-0F26-4250-9709-1C67052F0D39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$1E741E42-7570-4A01-A351-2A0A1E6FC8B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364334$92F4BF07-51AC-459C-B2D2-000757FD9B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$FAAA8E58-6FA8-44CB-BC8F-B51752E068E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$7357BDC9-0097-4429-8264-67EEC93B80BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$FB11388F-5055-4A4E-831A-7DF15E4253B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"243bc638804868e20f7e867f5c719b2118bd30f8","datavalue":{"value":"6748454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$3BBAE977-81F0-4A05-A47C-9B9EDBACE5C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364334$857C8D16-13CD-4039-997B-FC48FBA78EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364334$700E1DDC-DC15-4A56-9228-306881C423DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364334$38F36E17-BDA8-46F7-8DC7-803A4BC310FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364334$FFFA6A8D-3C86-4635-990D-39B289BBC452","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":"Q2364334$33F91EE7-B56B-43B7-BC30-639315F7174B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90607e22fa9a55cc4612f3c2cba60018d69b9d15","datavalue":{"value":"https://doi.org/10.1007/s10469-016-9399-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364334$64DBDBC9-C4A8-442E-86BF-FAF4978B4FA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1622b57c5c6e40c6767802842e6ac5f29cc114e","datavalue":{"value":"W2550498662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$AFF9B076-1AF2-4BED-BA6F-945F1041FF7F","rank":"normal"}],"P223":[{"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":"Q2364334$73902DA1-7D1F-4812-9831-DAC2E3EE38D5","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":"Q2364334$3F3284C2-2828-4B9A-B5EA-9630DACE87E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$E77BC305-5A21-4DB9-BF87-954F7CB79B83","rank":"normal"},{"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":"Q2364334$5D5D6BC1-C046-4436-A8D5-5F1F637F3C50","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":"Q2364334$40EF6E8E-3891-42C7-8997-1DA654EF016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$645D0E23-4CB7-4D2E-A156-55FE08993783","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":"Q2364334$F3ACAF24-F268-46D6-A8E5-B4CE50930EA4","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":"Q2364334$2D37DA0D-D1B4-429C-B6A9-AE24ADA2A909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$F8C4CAD2-C151-4164-B7BA-556442563F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$B85940BF-0679-424E-AA19-F95F45741A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbb19b823dd70c34f20350c0d7916e904810360","datavalue":{"value":{"entity-type":"item","numeric-id":5628181,"id":"Q5628181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$C71B46A3-BF19-4B4F-964C-C07D3F9825A2","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":"Q2364334$1ABED55F-A979-46DE-B473-CDDF3A9E05E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$5EDDBDFD-DCB2-465C-AA66-33901D266BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364334$3AA19609-4DCC-4754-BF88-33E9C3B02D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f7b25cf9c5a607fb47edef472e9b72e3143f3f2","datavalue":{"value":"10.1007/S10469-016-9399-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364334$99745FAA-DCF3-4D45-B9A6-7465A42E8CB6","rank":"normal"}],"P1643":[{"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":"8cc417740aa7762adf59808d8d36065c0b572629","datavalue":{"value":{"amount":"+0.8465446829795837","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":"Q2364334$9FEB51EB-7F93-447A-B0AE-FA0B37B1AD62","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":"365a4496bbe620c03ce565ea80e17dcc5547ad71","datavalue":{"value":{"amount":"+0.8389191031455994","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":"Q2364334$1BDAA5FB-4762-4230-B23C-16D19D93EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5829b7de121a6f9ef66d4ece37faeebd9f264e61","datavalue":{"value":{"entity-type":"item","numeric-id":1097873,"id":"Q1097873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e55f45888d34500651f4bccbea750fbc6a162b2","datavalue":{"value":{"amount":"+0.7913091778755188","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":"Q2364334$EA3A6BBD-A642-433A-B1E8-98EE4BD2C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2cf63e0bfec0a471e2edb1c315053fcca2f61b5","datavalue":{"value":{"entity-type":"item","numeric-id":3115345,"id":"Q3115345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffe87e810f1e9c13a23b1fd4e2484a240d74a2a","datavalue":{"value":{"amount":"+0.7905968427658081","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":"Q2364334$CBA6659A-40C0-4070-BECE-D88E6F08072A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f1f222619ddb8b0d1be3c69babf86f80b56db5","datavalue":{"value":{"entity-type":"item","numeric-id":784471,"id":"Q784471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ffcb65e12bb473bfa9b0e83cc632c002646b8d","datavalue":{"value":{"amount":"+0.7850359678268433","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":"Q2364334$89BB75CB-9CEA-4DE1-894B-40D119459ACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364334"}}}}}