{"entities":{"Q5232011":{"pageid":7261579,"ns":120,"title":"Item:Q5232011","lastrevid":53521442,"modified":"2026-01-25T03:44:29Z","type":"item","id":"Q5232011","labels":{"en":{"language":"en","value":"Logics of proofs and justifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101543"}},"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":"Q5232011$49C21F74-C6CF-48E8-95C3-CCAC2F4DDF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d6b87ef508cfdf47347875de16717a447028553","datavalue":{"value":"1457.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232011$6EF25D4F-01CB-4B34-8B6D-2615B79CD32E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232011$F42784C8-B5AC-44DF-A6A7-12ED9DBF7885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232011$D945FE7F-488F-418E-950D-469E0B0A4967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"761866c458b823deb2476ea286c91321ef138424","datavalue":{"value":{"time":"+2019-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5232011$BF6B769A-BC58-49DD-B2E9-62EF8254D8D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232011$7C759479-8EA5-413D-A32A-CF9EB804212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232011$B2AA1D97-562B-472E-A31D-0CFBD942C054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232011$761A1A21-8502-4216-816A-421A9D89C17A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29316f69c9034e67c6459f0c4797de4e37d6f6cd","datavalue":{"value":"7101543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232011$8D1DE5AF-51D1-414F-92B0-396CE6A7A2F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75eea8d43707120a587300f6ffcab84a74589c0","datavalue":{"value":"self-referentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$06ABD400-752E-4BE6-A266-3FC61DE5A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$93F09956-9211-4EBB-A369-B9A7C4A2D877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$7CB26098-52B1-481E-B773-681628C4C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60dbbfa4aeff9a1cfccd08aab69561e0b5c48e13","datavalue":{"value":"logic of justifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$CAF5F1DF-C643-4095-B8C7-29D1E5E75388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87118bced0172ce0c67f9333bd3ecd188c91f9e7","datavalue":{"value":"BHK-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$EA40B034-39DD-4EC7-9C01-AC0122641DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd45d4f609507b798c08e4c5146a6c653aa25bb","datavalue":{"value":"evidence-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$072B4F9F-9445-4B7E-99D0-D91270281DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4249b6c9e5e788f8a8dc75aa9740c3a2d360b078","datavalue":{"value":"constant specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$40655ACA-B343-44AE-A782-B2691E7319B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee298f5ff74c819a37fc4b5cf235dc084046c9f8","datavalue":{"value":"proof-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$A0037794-068F-43DE-9361-D4C4CF20738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272f76a894be1e6e4c25a3990b272c4204ca2e4e","datavalue":{"value":"epistemic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232011$857FA0EB-D933-486A-A187-C98704897B70","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":"Q5232011$00F4E8FD-B06A-4536-9D32-D5D3C78D428F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1e97173db305564213a200ec48a7aa5ca858bc","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dbafdbe8424ce33c9bb810b896a646c5329025","datavalue":{"value":{"amount":"+0.8812074661254883","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":"Q5232011$DB9274C6-0FE5-46B1-8671-A079D3C06DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f15ad7b001570029ae74d7368ebbf56e7a79ef","datavalue":{"value":{"amount":"+0.8673891425132751","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":"Q5232011$36DBDA04-DD8E-4EE8-8EC7-2527F36522B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d0fa343c0b96a269f5396808d56db680ae857","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5beba6dbe8cebce8bddac86977a9b8e6602dc1d","datavalue":{"value":{"amount":"+0.8630602359771729","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":"Q5232011$80E55986-E4B8-40CF-907E-067D579BA180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1052271dc8e6bf0c0b54b347b45832a1f0e40aff","datavalue":{"value":{"amount":"+0.8595983386039734","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":"Q5232011$BED13B1E-15C0-4E46-845D-3A87287D32BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2f7d4d8682c0e4265f4ba66874d397e0da5da9","datavalue":{"value":{"amount":"+0.8593919277191162","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":"Q5232011$BC49781D-0D9D-417D-8552-590398FB72C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5232011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5232011"}}}}}