{"entities":{"Q3936721":{"pageid":5966626,"ns":120,"title":"Item:Q3936721","lastrevid":55038649,"modified":"2026-02-03T01:56:12Z","type":"item","id":"Q3936721","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752826"}},"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":"Q3936721$311A4470-155B-4441-9BF8-A8B0A10F3F1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39ab81d55d24cd2cfec6c341603b0a3981d5f2c0","datavalue":{"value":"0479.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936721$2863B060-7F1D-4E6F-908E-9F9AF4ECA16C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3936721$D675D47C-A991-496F-89BD-1988AC03A69F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936721$6E7A3482-F75B-4C8E-B7C7-DDFA43689B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936721$4DDD8C79-FC66-4E65-A3CA-6E2F825B0DBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d0c1407442b9e445c6e5afd62e3113688973bb","datavalue":{"value":"3752826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936721$CF8B06E0-1D9B-437F-8A39-B67C8DB8A74F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$5AC3E404-735D-4C41-B0D5-F294126FB6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0354f66ee0c0f51e87aa7e53c9bd598eb0009346","datavalue":{"value":"proper class of equivalence-classes of formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$D60D77A8-2ECE-4288-A6A9-E4A7E05FA9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e75ce6fe768688a028465a6176fac45bd87e9b","datavalue":{"value":"propositional logic for two variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$EC27A1B6-B5EB-4A43-888C-00A9AE6E8E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ca7fa7efd1c0ee47ec1c0a3564635db9bbcfeb","datavalue":{"value":"infinite disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$57F9AE25-8FE3-4A59-8C4C-B20C44D9F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6819cd69d150219207b9870e4b97e773503115f","datavalue":{"value":"proper class of mutually nonequivalent formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$BB3459D5-394E-4ACB-8F06-2E685867715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936721$4FB32EBC-58BE-4117-B52C-26906294D4D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936721$2A6ECA0C-555B-4319-A44F-9BB2F70B3AF8","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":"Q3936721$18958472-1080-478C-8E43-C75ED56C4EE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936721"}}}}}