{"entities":{"Q6370807":{"pageid":13504787,"ns":120,"title":"Item:Q6370807","lastrevid":103004354,"modified":"2026-06-06T06:05:28Z","type":"item","id":"Q6370807","labels":{"en":{"language":"en","value":"Algebraic Semantics for the Logic of Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900483928"}},"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":"Q6370807$8F027551-1555-4ACA-9105-9D0124ED966C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6370807$872CDD1E-2093-4D21-9CD8-68D9B39A195B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc8bcdc0a6cbb2bf92927d78022f9cbc7a86f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2075928,"id":"Q2075928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6370807$5E0AA1DC-4158-48AA-A98D-982A7F97625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720929bc0e9c7898e5e15d3c8d2a09ecc071ce","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6370807$AD3BB627-B18B-4DBE-8136-C58202C7E2F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6370807$ED3A37D1-533A-4044-A796-46D6D286DCBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab48e44cad0e320368c7878a2850827a834534aa","datavalue":{"value":"900483928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6370807$D8895DBF-0360-45FF-A617-D8349F034ED3","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":"Q6370807$F0063535-58C1-4F59-AB67-687F33E15BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic Semantics for the Logic of Proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_Semantics_for_the_Logic_of_Proofs"}}}}}