{"entities":{"Q4304150":{"pageid":6333751,"ns":120,"title":"Item:Q4304150","lastrevid":41150750,"modified":"2025-04-18T12:48:25Z","type":"item","id":"Q4304150","labels":{"en":{"language":"en","value":"A Finite Hilbert\u2010Style Axiomatization of the Implication\u2010Less Fragment of the Intuitionistic Propositional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 636010"}},"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":"Q4304150$535EE0A9-E970-42F8-B3BC-CD4F56E06BD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74861411b5e1ec9112191afe0d47d5f65d78e4a3","datavalue":{"value":{"text":"A Finite Hilbert\u2010Style Axiomatization of the Implication\u2010Less Fragment of the Intuitionistic Propositional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304150$F32E69F8-DA41-4E31-AF66-04369DC1AD84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1976f82a505b63bdde36f998da2fa8bae66509e9","datavalue":{"value":"0806.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$0B9C2117-484E-4A13-99A2-1B9EC73995D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78eb03c5b6b6b3872c69f87326379191472f34ce","datavalue":{"value":{"entity-type":"item","numeric-id":850802,"id":"Q850802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304150$7B250A60-9B98-4BF4-B0AF-B4D16580DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcce233b166e058167480b7b1c165291f5f8481f","datavalue":{"value":{"entity-type":"item","numeric-id":1576378,"id":"Q1576378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304150$8567D5B3-BB05-4A32-83F7-A09508ABD1E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304150$5B2A95D7-8A1B-42B3-BDDF-2198A4FC7AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cf4a05b0091bc454edd80b572caa9d77bd5239c","datavalue":{"value":{"time":"+1994-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304150$DC51F673-F843-45A1-82BD-CEFE624B0B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$8B1390F5-D621-4CFE-9047-56CE839095D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$275C3750-0073-42F0-B443-E5AA59C80F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$2C06716A-F1BA-464B-AD5F-8B327403C2FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3c8a40f67a1a388f6e2a11fdf605ec88632d265","datavalue":{"value":"636010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$0B1BD5EE-0571-446D-AD27-AD2DD9109EBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd06ef31cf1cf0687d613575b62e21e4a3ad1c","datavalue":{"value":"finite Hilbert-style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304150$680F016E-B0EA-4823-A12A-8B7A3807FA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eeebdab3bf404d92afdc38a585a4b10ec45952c","datavalue":{"value":"implicationless fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304150$7F347E23-6EE1-4483-ADB0-F189F64E4099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304150$423D23C5-12B5-4489-9094-38270B44DA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de53c6279d12287ef7387baae5470b9c95fda97","datavalue":{"value":"finite axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304150$203715E3-7CF8-4E9B-AC21-917381677357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b851efe6616e465d3f28dea487b8a4067e98d045","datavalue":{"value":"structural closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304150$64A8D9EE-2BEE-49F0-A48E-85E9787D5ECB","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":"Q4304150$5FA3C865-C5BF-4EC6-92F2-34F11FE9E64C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"528a9387f8d11aabe370c8d36719576bf2fff0f3","datavalue":{"value":"https://doi.org/10.1002/malq.19940400109","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304150$EA2E9FB7-3C46-45C5-BA0C-478E7777546F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db19c9659f61238d909fe6d08c10b2ab2a87748d","datavalue":{"value":"W1989947827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$F3BC7400-F37C-4A2B-BBB0-87C1DF8D9406","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304150$96FEDA7E-60AE-48E5-A362-D114A04399D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c00a9efd92c9ae3e29194946a05a6146f3ead3d2","datavalue":{"value":"10.1002/MALQ.19940400109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304150$D2F82712-B05D-4828-86B5-4B0D70414A23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89afe035fc220689fea307a5d8f3bb6170d9ace","datavalue":{"value":{"amount":"+0.8982371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$09D3450C-20FA-4ACE-A2FF-2F52A7913ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975271918cc45843c338aa279e7e8dd254fdb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4424650,"id":"Q4424650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569d5913d7c97859f782badd0f6cadb0c0c8c663","datavalue":{"value":{"amount":"+0.8909842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$22D0493B-99E4-46C2-8F25-264E55165B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9df43d218892d4efc6b9bcbfa0b06cb6dd92ad","datavalue":{"value":{"entity-type":"item","numeric-id":4943158,"id":"Q4943158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d5891cf3e1d3dd352b6cfa0fe7607351725ac6","datavalue":{"value":{"amount":"+0.88944876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$E354A4C0-0A0D-4028-96AB-4543ED67C8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31fe6a7f24f40b673b1599c897fd8a9a8b2e7fb","datavalue":{"value":{"amount":"+0.8885234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$12B14272-8F89-4B69-BBFF-FA54CFFCE57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e83a047cca94fa4efc9b9fd0436f1a812f656c","datavalue":{"value":{"entity-type":"item","numeric-id":1694454,"id":"Q1694454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce21d6531d975041e130f9f3c62999032155aee","datavalue":{"value":{"amount":"+0.8864596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$313F6AA9-3D0F-43A3-AA41-33EA85014E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9006799b359b371cd7172c9952a2c9a087c12d81","datavalue":{"value":{"amount":"+0.88603497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$1B8E59E5-93A8-4E06-9BC2-D17EF4C41062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415320bfd6b5386161517f3a8013a4c89473cfd2","datavalue":{"value":{"entity-type":"item","numeric-id":3240236,"id":"Q3240236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63260b6098327b93b23adcca864c35b8846b0d56","datavalue":{"value":{"amount":"+0.8857815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$1FDDD895-FD30-483B-81E9-EA8A6E7ED7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f5863c7387ad8290471ff79d1de3d74836c4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5460160,"id":"Q5460160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3525a3a447002a4cbffd817bb5b989a5f751344d","datavalue":{"value":{"amount":"+0.8845967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$782AA86F-C7F5-4BD7-B1A3-074706ED0BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a314ac53ba6070fbb1043781b4068c92c6c6504","datavalue":{"value":{"entity-type":"item","numeric-id":4531584,"id":"Q4531584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef20bc94122d4e95bd98a810f7dc19f35e38238e","datavalue":{"value":{"amount":"+0.884387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$86FC87DE-8444-4E00-AF5B-00ACB222644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e227575590b60e4bc268b67cecf58dde0eb6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5809943,"id":"Q5809943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a722c3470af729a39a59d42796876b4be8e01b8f","datavalue":{"value":{"amount":"+0.88349605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304150$27758982-9D4E-4B83-BA7A-EFB5B4DA5DD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304150"}}}}}