{"entities":{"Q4964705":{"pageid":6994284,"ns":120,"title":"Item:Q4964705","lastrevid":58379535,"modified":"2026-04-04T23:23:32Z","type":"item","id":"Q4964705","labels":{"en":{"language":"en","value":"A new graphical calculus of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317240"}},"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":"Q4964705$252241FE-BEE8-4B0F-96D5-3E038EE25D35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8810cf8448da3ae1bb64f8b5411bbdde8debf12","datavalue":{"value":"1469.03156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$1FABB57E-C565-417B-8B09-437989D99159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964705$5138A6E9-2278-4F15-B414-D3B7E075F824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964705$13730965-EE4D-4693-B67C-C20DBB62812F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a04798673cdee8e131074b158bbd965428ba13b","datavalue":{"value":{"entity-type":"item","numeric-id":656850,"id":"Q656850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964705$161517A8-F89C-4936-8233-5E64A7CA27BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964705$B2DC9B0D-2A7F-4EB0-AF72-E3CDC0E2F688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"955285c772b8350767c4355311f70791ecc66af4","datavalue":{"value":"https://arxiv.org/abs/1102.2655","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964705$80413954-F67A-4BE5-A87C-8473BE440521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ab71b8270e4f76a45254647d7510b7bb8d820fa","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2011.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964705$A3C0A194-737F-4048-9294-81544543A0B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$892B7B99-689A-48BD-85D2-A1836F57950B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$3ACF82B5-72CB-450A-B9E4-91E7366C65F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$1A9C5B5D-29DD-405B-8CE2-95CD7DEEC580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$F4C9A35C-F20A-497A-B235-D5798D333490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e28ab4c306bf3ce30e1101d951a39237b9210274","datavalue":{"value":"7317240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964705$DF273E24-897E-45C8-A7B6-4A074C2242BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964705$9C6FD2B4-6891-49C6-8961-EC6EA1E9F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964705$05D59BBE-DC70-4DA4-BE97-275F65E5F7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4aa3ab8b6f130568ce0cb5a29b60b616c81a265","datavalue":{"value":"visual representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964705$991B949F-A98A-44C6-A6BD-4CC5168F41F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4964705$560E4A59-6B97-4967-8E16-171FBAEAA322","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":"Q4964705$D193216D-2429-4467-8ACC-5245E7C3F6CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d202e58b97543f21ee1587184150da90c45a45","datavalue":{"value":{"entity-type":"item","numeric-id":1916365,"id":"Q1916365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f879d85c9fda4ddaa11f6c7ba14a8c867b5c8d0","datavalue":{"value":{"amount":"+0.8420160412788391","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":"Q4964705$7C509971-E36D-4F88-9BDD-8DEF35B176DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb8caab87733da6d418d30a14cf84599946d696","datavalue":{"value":{"entity-type":"item","numeric-id":3000925,"id":"Q3000925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b2ed06c7fe6abe0d941e3d1e44ea5cdf5aa516","datavalue":{"value":{"amount":"+0.7871116995811462","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":"Q4964705$4F315302-83C6-404F-85AB-107C292536AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa957741c8fdfa9aa356762019ce9a0aaaf29fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5212088,"id":"Q5212088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe67c5115a4a9804019f9e8f616e1a846c3f9b2","datavalue":{"value":{"amount":"+0.7792632579803467","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":"Q4964705$444EC126-82FE-4CD2-BA9A-FF247DFB19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47aec93c1d73dbbcbdc95dcaa7d8ac51a0fb3dd","datavalue":{"value":{"entity-type":"item","numeric-id":5014804,"id":"Q5014804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb83a17637eccb4fde078af410860979910e8ce6","datavalue":{"value":{"amount":"+0.7769227027893066","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":"Q4964705$23F562A1-F20A-4DBE-A06C-0C4857C9DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a703c3ce23ef0429e78c5e840d2ea5f218beb41","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b6a21f6481b3cea052754bc2ab662c30c07cf6","datavalue":{"value":{"amount":"+0.7720259428024292","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":"Q4964705$2B786DD4-4B4F-4AC8-B7A1-3CFC87F18F3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964705"}}}}}