{"entities":{"Q5212088":{"pageid":7241659,"ns":120,"title":"Item:Q5212088","lastrevid":94770596,"modified":"2026-06-05T07:39:23Z","type":"item","id":"Q5212088","labels":{"en":{"language":"en","value":"A graphical deep inference system for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157613"}},"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":"Q5212088$CDA1FAB8-945A-419E-AE99-640282BF3D78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73bf475f72bff13b16bfdb27d02b9af5b4fc1c75","datavalue":{"value":"1457.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212088$5843B24D-6851-4B2F-BD61-B3DE2B7D0A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6013cf70aefb55154622fcf6604c309a577e547","datavalue":{"value":"10.2143/LEA.245.0.3285706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212088$56D97156-4E58-45BF-BB6F-86DCA107DD2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59e40686a276c1443f83ed04fdfba129189929f","datavalue":{"value":{"entity-type":"item","numeric-id":5212087,"id":"Q5212087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212088$F0407FCD-7D77-47DB-A2AA-D8BCE3648769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"652c9e00241996c74459897b95e32e3cab48887a","datavalue":{"value":{"entity-type":"item","numeric-id":513914,"id":"Q513914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212088$CF82DA9A-25B1-4E57-8C66-B4544C95B349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212088$C26F6C46-00F7-4BD6-A2FE-9F5F1EB9192A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212088$A9E78278-D1C0-4230-B482-22C7F71E6078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212088$15BD77B5-A1C6-4832-98AC-3639FBF45D68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feb1cc0b5e1445acac56f082d92fa1f469b36425","datavalue":{"value":"7157613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212088$D64E5ADA-1D44-447F-ABF6-A50515476674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ebc262a0c797bde91bb06dded05eaced8a99b7","datavalue":{"value":"graphical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212088$296D921D-9507-422D-91C7-C70E5112DCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212088$875ECB77-E170-4873-9175-9B8E6B8CC22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309bb4710ee975c313de77da2c7bee8d2253a2a5","datavalue":{"value":"Charles Peirce","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212088$B6C2F2A0-94C0-487A-B839-A9F8C6BFDA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212088$2634E16A-EF73-43CF-B13A-3BBE3754D85E","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":"Q5212088$90D21553-58F2-44B3-830D-B5895B1357AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0971be9fa333631e38b90a05d9187c3d2e3e723d","datavalue":{"value":{"entity-type":"item","numeric-id":5176672,"id":"Q5176672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4e480391925a4fbba7a551ff029ed93cf5b89c","datavalue":{"value":{"amount":"+0.7756968140602112","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":"Q5212088$79A6189E-EF21-43DE-8E14-9F0875FD1238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d94eac23b34bee4cebd91c0adbe4274e61aed","datavalue":{"value":{"entity-type":"item","numeric-id":4964705,"id":"Q4964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91bbc986c4ac78614b7f8beb1d0643bda657664","datavalue":{"value":{"amount":"+0.7675157189369202","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":"Q5212088$EC8445E0-0BED-43F2-B5F7-624D28D05764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4836aae2cba6e0b0ff9e6e51c8ca6b4e951f1b","datavalue":{"value":{"entity-type":"item","numeric-id":2363507,"id":"Q2363507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269abb3c9125167e3cbb3f5060c435f863e39368","datavalue":{"value":{"amount":"+0.7448021173477173","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":"Q5212088$0CACBE47-F0F3-4AD9-86A6-1F430CD16033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a51c8995db8c0d9c7111b433f42184d330dda0","datavalue":{"value":{"entity-type":"item","numeric-id":1744424,"id":"Q1744424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c398b55123d3b858ff940aca598857642bb60da3","datavalue":{"value":{"amount":"+0.7429319620132446","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":"Q5212088$4257ACE9-DD6B-433A-9B52-C2DB487E80A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48a51b7e4039662efd803d3e21f6b69897f6165","datavalue":{"value":{"entity-type":"item","numeric-id":5375875,"id":"Q5375875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2895ccec0434920a799ebf7deec10831faa93ca6","datavalue":{"value":{"amount":"+0.7360837459564209","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":"Q5212088$877AEFC0-9C2C-49ED-9904-31F6A93CDC9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A graphical deep inference system for intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_graphical_deep_inference_system_for_intuitionistic_logic"}}}}}