{"entities":{"Q3206929":{"pageid":3217637,"ns":120,"title":"Item:Q3206929","lastrevid":45687229,"modified":"2025-12-16T10:15:22Z","type":"item","id":"Q3206929","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648683"}},"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":"Q3206929$08B60C1C-AA67-4C99-887C-4B4015967455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"244e0d845662c7325dab70a0544f12a9b0ef8be3","datavalue":{"value":"0417.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206929$32687665-393C-408B-A164-CBAA33E492EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206929$854E8AC5-FD56-4813-8563-7AC3B6498907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3206929$A3A6A57E-EA04-4A19-9ECF-BF10E906EE19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206929$09B06103-23BD-4014-B702-05438F8E869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206929$383470A5-F637-4FF7-94EC-2BEABFE71648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206929$C3714E52-4A42-468D-836B-1E2FB723A8C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49889bab3a6ef4b360911d1f985f4562bba5947d","datavalue":{"value":"3648683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206929$53BAA61D-6937-41EE-8F41-CB9772B777B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d708b94c782079b2641dadea9b7223394fe578","datavalue":{"value":"finitely axiomatizable superintuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206929$0F9C227D-73E5-46AF-AADA-33A96F4BFE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94f6caae21c159a643191787c81fc58fdb85600","datavalue":{"value":"degree of undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206929$1DDBB5D4-C5BB-4C30-84B7-D187A4ABD1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206929$48D2246D-E4A7-4FF9-9F57-D29135D27D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206929$BF49D7B8-3883-4483-B52C-E3EF8D5049E2","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":"Q3206929$731F27A0-6289-405D-8BAB-2B3BA90DD3FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3206929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3206929"}}}}}