{"entities":{"Q4272504":{"pageid":6302105,"ns":120,"title":"Item:Q4272504","lastrevid":47211754,"modified":"2026-01-01T00:44:50Z","type":"item","id":"Q4272504","labels":{"en":{"language":"en","value":"Formalizing a Hierarchical Structure of Practical Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 469196"}},"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":"Q4272504$8EA37DEB-3CB7-4B52-9139-0F3D4A0D022A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffaf35b0a72cb57552776dd5f531123b50a5ba33","datavalue":{"value":{"text":"Formalizing a Hierarchical Structure of Practical Mathematical Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4272504$A6E12D2B-E039-4898-ABEC-1F7E4B36AB37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e754e70f5a8619f1dc8994ea789d7848247d783","datavalue":{"value":"0779.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272504$D18A62EA-38AB-498F-9EF3-41FACA41E961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2de5877895937d2af49704410633dcf0bea75","datavalue":{"value":{"entity-type":"item","numeric-id":736793,"id":"Q736793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4272504$6DA4E763-8B82-4CB8-802F-C65C2AB1F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aab6dedcb6e4efb99030d8bd26448927a29ad86","datavalue":{"value":{"entity-type":"item","numeric-id":911772,"id":"Q911772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4272504$BDE2C4B8-674F-4404-B159-6DA4F8BC2DD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4272504$01538296-C1AB-4F8C-9A8B-E93A18504E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272504$7BE8DC37-F059-4056-92CA-27E9BF2B8E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16a3c47a6ff415c88400faf847218716b163a86e","datavalue":{"value":"469196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272504$058A628E-AAA5-4467-A900-DC6E0D469A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e38521aa55b376e7425170bc1bb21bdd996554","datavalue":{"value":"interactive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272504$38F8F703-0E2B-413F-A959-F46B18D2632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e7475c9119e4a0892bc2a9b4dc3f13f4297446","datavalue":{"value":"proof editors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272504$67EF7772-E346-40F4-BA83-F0F9A3A08B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272504$B87A6BEA-1F99-41D7-900E-AC19606B2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd071081c3e3dbf3c9667019c637f1dd6db392c3","datavalue":{"value":"equivalence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272504$472714D6-FD4C-4507-915A-D85A239D7571","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":"Q4272504$55D2A410-8EC5-44D3-BB3F-132B700FF031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94bfd1076e08f8630f0f0f1e4dd707bfaf0b2e0f","datavalue":{"value":"https://doi.org/10.1093/logcom/3.1.47","type":"string"},"datatype":"url"},"type":"statement","id":"Q4272504$3B8D16C7-9379-447B-8471-7A2A0A8555EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd00af61f6cc84993f5f6b4b83d1e8cd887afdba","datavalue":{"value":"W1971240548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272504$3D98F3F2-EEC6-4DEE-BD53-DBAC10EE069D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeb57fc7b80e234f7df0fd9b1b1c7f391707391d","datavalue":{"value":"10.1093/LOGCOM/3.1.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272504$40B2BDF7-9451-4023-B208-7BFAB919B4F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4272504$EE2939F8-9C78-4080-BC67-773080F93C06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52c078c320b6e365969df3b512f448a7eafa852","datavalue":{"value":{"entity-type":"item","numeric-id":1098332,"id":"Q1098332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13202612df87ec46efd6d1d73e3838d44390e40","datavalue":{"value":{"amount":"+0.7205249667167664","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":"Q4272504$51E248B7-D252-44C6-8FA1-B7ED7993695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b333c543d704257088996ea9556a68e90debe70","datavalue":{"value":{"entity-type":"item","numeric-id":4413893,"id":"Q4413893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ec7875139b54ebcfd52674ddf6bec2ad6c2f02","datavalue":{"value":{"amount":"+0.7199036478996277","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":"Q4272504$4FF05E00-2DA3-4927-ADF7-8E4590563A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6b79329a05aebeeaceafc262ed034a0f25766","datavalue":{"value":{"entity-type":"item","numeric-id":2702597,"id":"Q2702597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db75eeb6bdeee51ae204cebb27831fd1c0601d10","datavalue":{"value":{"amount":"+0.7199033498764038","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":"Q4272504$CFE4BC52-B2E6-4368-AC4D-ECC0FDAC091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fbd266961e50cf56c1d7a6bad9dd7ba1d9cbe2","datavalue":{"value":{"amount":"+0.6948751211166382","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":"Q4272504$DFA968EE-43BB-4025-B2A4-1AA1310E950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba22c30664cfbf384d03ed3719c5c41341d3858","datavalue":{"value":{"amount":"+0.6823342442512512","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":"Q4272504$ED011AB9-9E26-41FB-8F79-03527F93CFFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4272504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4272504"}}}}}