{"entities":{"Q2852358":{"pageid":2863078,"ns":120,"title":"Item:Q2852358","lastrevid":51839756,"modified":"2026-01-20T07:26:02Z","type":"item","id":"Q2852358","labels":{"en":{"language":"en","value":"Hiproofs: a hierarchical notion of proof tree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214056"}},"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":"Q2852358$0C229133-F278-4B3D-92A2-F6B9E4318A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5eeb559fa6973bfe4c4951d55bd009704fc51b7","datavalue":{"value":"1273.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852358$5FB57FCE-1354-486F-BBB9-3855300A03D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b8b1b6117a19b388d1d022c2e390dc69da1c3","datavalue":{"value":{"entity-type":"item","numeric-id":626931,"id":"Q626931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852358$D6CE7370-1F5E-41B7-9A5C-CFFC80FEF770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46fe8286f3579b8b9a6db07a9ed1a07ac3e017e1","datavalue":{"value":{"entity-type":"item","numeric-id":2852357,"id":"Q2852357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852358$E51B7926-5FB9-4E2E-B85F-6416CFDF0872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852358$EB9948D8-7D2A-4ACC-91EB-4042A606C0C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852358$7EF574BD-7D4E-4FC0-9922-9A53A3C772EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c67d92b5db53f84d6b417e8a419d6d63500aa70d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852358$8EAC63B8-2EC7-48E1-A847-1A28F0B85929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852358$12B07021-7657-4DBB-B88E-EBEE082BC7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852358$46D43A6B-124F-4FEB-A0B9-A636D2412F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e52bde383aae72372e252e4d2b5d4a01cfdb66d","datavalue":{"value":"6214056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852358$A16C8CE9-A199-48AE-B027-957A6083F0A1","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":"Q2852358$E60829D6-D5AE-4FCB-9323-BD510F5A776D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b71d056f6bab5b54e42280158321740a4fce16a5","datavalue":{"value":{"text":"Hiproofs: a hierarchical notion of proof tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852358$E50B7227-51A1-461B-8A78-6FF8E74263A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86939d991eb0b7f4f43cbe975b0dc39344e9960","datavalue":{"value":{"entity-type":"item","numeric-id":2843014,"id":"Q2843014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4d878525387230df2e447e6882e7d0c263714d","datavalue":{"value":{"amount":"+0.8707189559936523","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":"Q2852358$C0237D68-2D6E-4754-8DA9-8F6A8B7DCA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09aab0dad9dd5b10f6c7792ef99e86573d003dbb","datavalue":{"value":{"entity-type":"item","numeric-id":626933,"id":"Q626933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a666f1221bd0d2566525640761c04d9b96a72c","datavalue":{"value":{"amount":"+0.8564578890800476","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":"Q2852358$90548072-7399-4D4F-A203-2DC98FBF466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb96d09cfe6e95409cf59d2778d0c56f05ba4e0e","datavalue":{"value":{"entity-type":"item","numeric-id":5505516,"id":"Q5505516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f20a075d57a0f4c16d8007ca30311a72d959be6","datavalue":{"value":{"amount":"+0.8302134871482849","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":"Q2852358$DDDDA1A4-3DB2-440D-83A7-73A57AEEF4A9","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":"852af66c61e0ebe312d8a90fcf58714e4f0ebc40","datavalue":{"value":{"amount":"+0.7538630962371826","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":"Q2852358$B3230FA3-8519-4F87-B44E-2EFF15AA6611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1e03e79ab26cf28f54964f9fe002b3c2a096b2","datavalue":{"value":{"entity-type":"item","numeric-id":2870114,"id":"Q2870114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ceb870a1379860d5192fade45e2c901724c000","datavalue":{"value":{"amount":"+0.7508942484855652","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":"Q2852358$052BC937-C16A-4525-8044-D402EF0084F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852358"}}}}}