{"entities":{"Q4032849":{"pageid":6062583,"ns":120,"title":"Item:Q4032849","lastrevid":55230535,"modified":"2026-02-05T02:32:24Z","type":"item","id":"Q4032849","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150217"}},"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":"Q4032849$744457CB-FFFB-421E-8746-01515AB6FE53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0449dfcf0295a9729b10e05c006635fc255a565c","datavalue":{"value":"0769.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032849$BC1DB5BF-15E8-4718-878C-B456E558C526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032849$BFE26E9B-4957-48AA-92DD-B3ACB9918FD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032849$7AE01DF2-4280-4B5E-BA31-B8622CF73815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032849$6D13D1A5-A0A6-4072-BFF9-684BA0A9E2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032849$EF6BCB30-DD70-4ED7-8709-B9A11B5597AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baecf510828a86e54ac7334755e7eaea65618ff5","datavalue":{"value":"150217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032849$F90116F4-641A-4010-9D59-F8D94DCF6280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ed1c17782e31d3d1661abd6299af080ca84f42","datavalue":{"value":"implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032849$FC96B9AB-3236-4654-953E-930A568367B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f60cf44c664c316e92612eb8df7751870f379b7","datavalue":{"value":"implicational fragment of intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032849$4372E7A7-852F-46EF-A9BF-A4C6272AB8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e60a99efb1db865b832d04827e7420fe0bdd41b1","datavalue":{"value":"implicational fragment of classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032849$318D1D01-C7AE-4F75-BFC7-794233357792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032849$1C3BFF06-CFB6-4FC5-AFF5-C074EF257518","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":"Q4032849$44A70212-6D92-4A9D-AC10-00EE12996B3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bfafe419b402cfb256bc00bb823d48f73c8a46","datavalue":{"value":{"entity-type":"item","numeric-id":4443202,"id":"Q4443202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1470e21653d60cf9945a1cda327f924b603ea8","datavalue":{"value":{"amount":"+0.8086419105529785","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":"Q4032849$C509740D-8EA3-449C-9219-518BACE26ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a63ea7cf2a908f4e0083f03cec3c832f6b5007","datavalue":{"value":{"entity-type":"item","numeric-id":4305491,"id":"Q4305491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1967e46cfeb76ef06259f9683ddacb73f388dee5","datavalue":{"value":{"amount":"+0.7644704580307007","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":"Q4032849$64252211-F76C-4E25-B805-989366C32C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6cfdd8e7dd7ccbda5410609aded9d45cf794ac","datavalue":{"value":{"entity-type":"item","numeric-id":1595914,"id":"Q1595914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1967e46cfeb76ef06259f9683ddacb73f388dee5","datavalue":{"value":{"amount":"+0.7644704580307007","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":"Q4032849$C61C05A6-D679-4C2D-A5B7-4ABFE5E6424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f39e073466e7cf9e9e2347ad50d3a48ea66787d","datavalue":{"value":{"entity-type":"item","numeric-id":4544192,"id":"Q4544192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c147995a6e79efc92da6663a3062344f98dcf16","datavalue":{"value":{"amount":"+0.7606044411659241","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":"Q4032849$7A146E69-9758-4AA6-B958-D27022E3E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdad42667dfe83c01445837c4ab831d7d6f45f1b","datavalue":{"value":{"amount":"+0.7590572834014893","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":"Q4032849$8CC179AA-1BE5-4B27-8C93-0277391D7D73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032849"}}}}}