{"entities":{"Q4268407":{"pageid":6298008,"ns":120,"title":"Item:Q4268407","lastrevid":46782165,"modified":"2025-12-25T14:14:39Z","type":"item","id":"Q4268407","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1354098"}},"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":"Q4268407$C4629EBF-1CF9-4CD3-9BDD-3CC094EC65E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"099175bf8f51bfbdb8febd9f9a4532d0781f72a8","datavalue":{"value":"0926.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$1E03921F-04A3-46C9-A717-40CAD44A26B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4268407$009EF422-DDDA-4F06-900B-5893BE6602C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4268407$ABCE0DD5-418C-44A2-9ADF-E9F84CAADB75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$3D044A7B-18C3-48B6-9861-3A1E441A2DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$8E2C09A9-5FD4-411A-A568-B525C7DC2CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$E85A4CEB-9E48-42D8-A012-E775AC69B20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$12D9FC74-7FB2-4057-B96C-CE737F5065F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"012a8b173c1c2be1d12348eb86edbecfa2c51533","datavalue":{"value":"1354098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268407$66B32B19-8959-41A9-A3F7-B33815E0457F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$B4EFC930-1E9E-4FE7-B1BF-6A3658E15B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6568d1c3f04ba1b48da5043c1efd53b30da4ca7d","datavalue":{"value":"proof structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$A285066E-31DF-48CD-8C9E-90C3F6417B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ca77a74dd1694f34f240d1233b1c865e7610d6","datavalue":{"value":"proof graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$F18BAF50-1DFC-446F-82BC-9E7B0814B3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$AE50F441-2C74-43B1-8BF7-77343C601538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7380c7239b0bb2b03c6e19497d397a34898c9df5","datavalue":{"value":"nilpotent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$BF3DFECE-938E-4BB3-86E3-A02DCE2830EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1836c7cfaf942ce3be409aa225813312eb81932","datavalue":{"value":"skeletons of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$AC5C7547-78FF-468F-848F-DC68269042B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7047974fa86be02901a3fe85241d3257b6164c17","datavalue":{"value":"natural deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268407$99E1A090-BC46-4AF0-BE3D-FFC75FEA578B","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":"Q4268407$D973C44B-DBE2-4FB4-968D-476E8739F430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e53759432799cbc7db97c1949401fc9d29504f","datavalue":{"value":{"entity-type":"item","numeric-id":4645245,"id":"Q4645245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f2dc877d58c4062d984150663470771fe4f42a","datavalue":{"value":{"amount":"+0.7052891254425049","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":"Q4268407$7EC5CE13-2FD7-4241-8BCF-1406ACF100E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd98a2a5e6890497863bf02a01ff191d9612fa1a","datavalue":{"value":{"amount":"+0.7014495134353638","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":"Q4268407$AEA01A37-BD93-4356-94E0-B41C673A7311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c767d8b0e2fcbe638ab8ce9edcedf6d7e403dd","datavalue":{"value":{"entity-type":"item","numeric-id":5145617,"id":"Q5145617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cded753c31a1d82819d56bd3a3e7412cfa076fb5","datavalue":{"value":{"amount":"+0.6908153295516968","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":"Q4268407$EDB01E6A-46BF-4355-AA75-B5C16E2F0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d216a1f088ad317eccff22dbab20b51d426274","datavalue":{"value":{"entity-type":"item","numeric-id":3623221,"id":"Q3623221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ed4cc1e6f2f782453e5370ecb263974991c704","datavalue":{"value":{"amount":"+0.6907516121864319","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":"Q4268407$1095B023-1151-43B7-8C78-714A3A7CC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d830d6cd2f2c112f5b8264c1e249ce20fd6d5a2","datavalue":{"value":{"amount":"+0.690045952796936","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":"Q4268407$836EFAC4-3759-4908-9774-CF190FE0A6EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4268407","badges":[]}}}}}