{"entities":{"Q3000923":{"pageid":3011647,"ns":120,"title":"Item:Q3000923","lastrevid":51256778,"modified":"2026-01-17T11:49:47Z","type":"item","id":"Q3000923","labels":{"en":{"language":"en","value":"Geometry of interaction and the dynamics of proof reduction: a tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5901476"}},"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":"Q3000923$9918291C-5038-451F-B061-71A8D8401FFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"208d6507f4c28bf01a4b4a92af20ac91531ff24e","datavalue":{"value":{"text":"Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000923$199140E3-74B4-412D-96C8-61718CE2EF57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be3d7eff78da92b8f5e97ec06dabbc5ba005ae6d","datavalue":{"value":"1253.81012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$B1BE0141-66FF-4694-A475-24ECE1BB0357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216f6f4dc9a406302a93b27546acb7715f4b260a","datavalue":{"value":"10.1007/978-3-642-12821-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$284920EA-3D07-4E39-9404-F47C10D62128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d36d31f804a7251d6e5c2fcb0c40accc7881c7","datavalue":{"value":{"entity-type":"item","numeric-id":534709,"id":"Q534709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000923$CCE0F23A-C85F-4BFA-AF91-7D27D6E413C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000923$EC7BF0B8-1631-459E-8D66-6541BEC509BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b249c2b1173477a13f7f68037ce65df7542291b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000918,"id":"Q3000918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000923$5A3476E3-39EE-4F34-AD5C-929ED17F5D73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fad9e66134bb431a5ce183a1b3c2f5a020fa1ea2","datavalue":{"value":{"time":"+2011-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000923$6993CE33-006A-45C2-8DCE-8D9A8FAB9BDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95fdc38b9beeb1cbbfac2975717b64e2e1dcd94f","datavalue":{"value":"81P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$C3ADCA73-8F6D-4D8F-A5B0-DD82AF04D541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$53169FC6-6B70-4FFB-882E-A43BC39479DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcaabab79e0f4f953f89d0364df12087e4461169","datavalue":{"value":"5901476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$C8E7F4C8-DB24-47E2-B184-3C48E35FD5E7","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":"Q3000923$5D439953-4D70-43FC-947B-E27E1FC1550B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"403a6d21a3c23253f6739ada2e77d03aab957578","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12821-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000923$0817A1F6-FBEE-4C29-9549-182BC361389E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560502f2828325c9799edfd040f6aab4d1e7b4b6","datavalue":{"value":"W938235216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000923$37629AD5-A7FE-40AB-8820-07126D8F5BD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb2aafe845e9165c95709ad7fff928fd40e9956","datavalue":{"value":{"amount":"+0.8296734690666199","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":"Q3000923$30E78EAF-10A8-41FC-A1F4-4D4E37DA7E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5da4659ce3a7b636838e5cff468e499137903","datavalue":{"value":{"entity-type":"item","numeric-id":4961719,"id":"Q4961719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21754de1dd1a9a4554059aad767fe9f6ba88376e","datavalue":{"value":{"amount":"+0.8271181583404541","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":"Q3000923$3DE5D356-D618-4454-9213-53E1C93C26D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4736240ea9c8198c5eac1f3cff0dd84db0548e48","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84856c9337fda0dfc87caa9d3d8328e94e37334f","datavalue":{"value":{"amount":"+0.8265154957771301","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":"Q3000923$D0F766FF-1F74-4276-BA20-98684926FBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e489536e520f634927e3874e6cbf028a8baa7086","datavalue":{"value":{"entity-type":"item","numeric-id":5415631,"id":"Q5415631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8274c8592923d71789c7c00dc7a9c1b37618414b","datavalue":{"value":{"amount":"+0.815367579460144","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":"Q3000923$0FE19299-F0EA-4076-9922-38AE2020B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88b354365e7c4e3fdaa1d38cd046112f96c84d0","datavalue":{"value":{"amount":"+0.8051595091819763","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":"Q3000923$E4440EEC-F461-4D6C-B3F9-8B1B7FDB2711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000923"}}}}}