{"entities":{"Q4726224":{"pageid":6755801,"ns":120,"title":"Item:Q4726224","lastrevid":28866331,"modified":"2024-03-05T16:05:48Z","type":"item","id":"Q4726224","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999890"}},"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":"Q4726224$72B817C4-6264-420A-A0E1-1567094AF015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9088ffdbb792b0727cd677b65e9dc0bf2c56be47","datavalue":{"value":"0617.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4726224$90A2CD33-B769-4305-880F-467E03B0C776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4726224$95ABE6AF-CED9-49CC-9E5B-7B8B2D165D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4726224$66977E93-783D-4EF2-B784-C9B179861893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4726224$C37E34CA-2B29-4ECD-8167-DBD264A38889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36eb9e0eaa2cd9ce3fc0d93e31dda12a3d929eb2","datavalue":{"value":"3999890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4726224$044EEB7F-17EB-4F8D-A5D5-1FD226B55E02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4726224$2DAABE3E-A999-4901-83F1-580D35519C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4726224$59902426-51D0-4083-ADDA-6094C3BE7029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b40b3b54d325fae2c3822fb7f53f453790c709","datavalue":{"value":"superintuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4726224$94BCDFF7-FC84-4B2D-8622-C18CB230AAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4726224$F255AAA0-2370-47FC-8B16-243A9B71CA88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4726224$57DE5F6B-23CA-4DAC-88D1-336FD3B36A5E","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":"Q4726224$25AA37BC-7115-44DB-804B-5AD8130829C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4726224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4726224"}}}}}