{"entities":{"Q5111176":{"pageid":7140750,"ns":120,"title":"Item:Q5111176","lastrevid":94289612,"modified":"2026-06-05T06:26:08Z","type":"item","id":"Q5111176","labels":{"en":{"language":"en","value":"Removing cycles from proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204301"}},"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":"Q5111176$273CA023-D084-4B2A-B90D-F45F9C43CBB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"998b4aefbaedc3f777f100798c4471e4dd2802f2","datavalue":{"value":"1434.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111176$0371837F-F5FD-495F-B067-A17B54505AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30309584c89a0af76f7a726e27cf9edba10a4c79","datavalue":{"value":{"entity-type":"item","numeric-id":4608727,"id":"Q4608727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111176$D900889B-39F3-4B96-BAC1-E0C8BA56177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111176$1A057EDA-B3A2-4DE9-953B-13CB7CE9C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7596d272164b7dca564ebd74a22ecc2d2c075c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1709710,"id":"Q1709710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111176$B479227D-D4E5-4450-972A-B1AAD12484D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111176$6029A8A8-4A73-45B4-B274-2A5748D0823F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111176$B251B63D-8850-42D8-940E-A32E97D5F812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111176$C8167074-F738-413C-985D-F9067C233020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa1e10e914a97ae7e9daafa76ece0cb90ffb08da","datavalue":{"value":"7204301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111176$DF23AC9F-48DB-450F-A992-97FACEAA3F0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111176$112985F8-E187-422D-886D-D5E36D65B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111176$5D551ED9-8C28-4FA4-9A35-DB7C1646BA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111176$B8015C8F-58B9-4F80-A0D8-5121A81DDB7A","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":"Q5111176$33FC02C7-CE5B-49F1-88E7-1A2761A042FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c806d231cc95de437b31b0f61ecca97363ff42cc","datavalue":{"value":"10.4230/LIPICS.CSL.2017.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111176$7435C1C6-E202-4B7C-8CDC-AE430E286066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d810f021175925e6dc2d89e37a847f4ea5c360f","datavalue":{"value":{"entity-type":"item","numeric-id":4532599,"id":"Q4532599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cab471347e9e23242911c538676b660b489155","datavalue":{"value":{"amount":"+0.8463111519813538","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":"Q5111176$BEAB3532-8206-432C-9A23-56331C90CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27eb78913d05df01765fdd47f61aef9a5bbf6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5739889,"id":"Q5739889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5801c4fa701c53f623438353100854bbe10febf8","datavalue":{"value":{"amount":"+0.7872172594070435","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":"Q5111176$63B21879-6B07-478C-B181-885ADEE71F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3626ba913acea09d026d0b309b0daaca6f7f7b8d","datavalue":{"value":{"entity-type":"item","numeric-id":3100159,"id":"Q3100159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d8ffb3e77934ef4b60325e021172614f6c9028","datavalue":{"value":{"amount":"+0.7648023366928101","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":"Q5111176$D42B9331-5039-479E-BD61-2B63CE27B823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe186cac75804def3c2fa703a831734e4da013d","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333ec9d39be600008c5431bf95bf32f606ccecbf","datavalue":{"value":{"amount":"+0.7635701298713684","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":"Q5111176$B50B166B-B533-4176-880F-AF8076391CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c9abb6fa586eb03d948fbc7ff3b60fdb6ec582","datavalue":{"value":{"entity-type":"item","numeric-id":3066096,"id":"Q3066096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30c33c6ae52a5f72bf324d1c75e800f2c2cdcf5","datavalue":{"value":{"amount":"+0.7602771520614624","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":"Q5111176$33F708F6-B0EA-4F4A-BE2D-3BA7FC3B0278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Removing cycles from proofs","badges":[]}}}}}