{"entities":{"Q4994969":{"pageid":7024546,"ns":120,"title":"Item:Q4994969","lastrevid":58387638,"modified":"2026-04-05T00:13:30Z","type":"item","id":"Q4994969","labels":{"en":{"language":"en","value":"Proof-graphs for minimal implicational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362064"}},"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":"Q4994969$02D50486-8286-45CA-9803-DFD0353BCBD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7f90ba83572e86cab468f1deda19403388db8e7","datavalue":{"value":"1464.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994969$AF567F0F-9C1C-47ED-83E0-BB0FCF1FBB5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"139207e0c6d40184ca007123ac3b3c0cabb94b14","datavalue":{"value":{"entity-type":"item","numeric-id":1744416,"id":"Q1744416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994969$77FD05DC-CAA4-4A68-97E3-63E3A9CFD170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994969$3316ABFB-F1A2-4DC3-AE65-756DDD349E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994969$56A91627-7EA9-48F6-B753-720DB5FE8095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994969$2A5AF47E-4275-4F33-BB39-103FEA9C63A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3afd40ed38fa28e8790c45bab10cde1c6110ce2b","datavalue":{"value":"https://arxiv.org/abs/1404.0082","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994969$66CEC2F4-EFFA-4527-A0AD-D15125631A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"438b553a29b8b751ef3ca74c42a7aa7f4d2d322f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2013.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994969$FBFFB5AD-A6F3-4BDF-97D0-3DCFCB0401F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994969$B03D2FDC-C384-48F7-AA69-3DAC04F48BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994969$015D588E-0D3F-4DC8-B2A0-A228BDF067ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4694a4440b4e4fa56a16c46b0b99ef11850503a6","datavalue":{"value":"7362064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994969$4D8E6FAB-3BE2-4A8A-A804-F8471C9F02A2","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":"Q4994969$2E638711-8F32-4381-865A-E6114C771B04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce593f3b388a79b0e95969ed8b7309993d112c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1744419,"id":"Q1744419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672d69021040405f88d2fda60758078a8f4de592","datavalue":{"value":{"amount":"+0.8522598743438721","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":"Q4994969$6B46EBAB-D442-4768-A7F9-FC4E397BD800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a825afb1f1e5a1a816984135c316fee9a5af33","datavalue":{"value":{"entity-type":"item","numeric-id":5039187,"id":"Q5039187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3806d15416fc4e3935914af9d853f1d82c0c7684","datavalue":{"value":{"amount":"+0.7783933281898499","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":"Q4994969$6EA05DD9-8BB5-4F30-9402-EF7345F4FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236cb124d1527f524b3fda79b792cfee4f228338","datavalue":{"value":{"amount":"+0.7655109167098999","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":"Q4994969$AA497117-3B99-4C16-8B8C-B175F76DDF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2877963848044aafe30ac36ae6e1ad563d9d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5039194,"id":"Q5039194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae773a923454db9339bd007b6286bb8e7d86187f","datavalue":{"value":{"amount":"+0.7558411359786987","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":"Q4994969$4C72B47C-6569-4F07-AFC3-6ECB4C6CDA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b889c55c1ed1ca5754abf1531db4531062599","datavalue":{"value":{"entity-type":"item","numeric-id":2520659,"id":"Q2520659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbed318121831a0421c9c7825049fd1737ca5ae","datavalue":{"value":{"amount":"+0.7531982064247131","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":"Q4994969$5CED45CD-498A-4E18-985F-D00429179B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994969"}}}}}