{"entities":{"Q3100159":{"pageid":3110874,"ns":120,"title":"Item:Q3100159","lastrevid":51371600,"modified":"2026-01-17T23:33:46Z","type":"item","id":"Q3100159","labels":{"en":{"language":"en","value":"Proof-graphs: a thorough cycle treatment, normalization and subformula property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977310"}},"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":"Q3100159$E1B5E3F0-A9DE-48EB-90EC-1C4989B153FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"640f5e429092fc69bcd9431c2bb1cd75f26eb9f4","datavalue":{"value":{"text":"Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100159$5651CC83-9928-4334-A6C0-BBF258AD02B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b81daaca5b454d698d473560d7266f0c9169f43e","datavalue":{"value":"1252.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$6C9E52F1-F983-4BAC-A50A-4C12DD0A5B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa7d1bd2842ca576abbe63e8dea89e621ad15f6d","datavalue":{"value":"10.3233/FI-2011-380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$C92118C5-8144-43CA-B4D1-1D6409884C01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37bdc06c39997217af4ef6d9d118c0fd50e5bf16","datavalue":{"value":{"entity-type":"item","numeric-id":3100158,"id":"Q3100158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100159$765CEEE4-325B-41F7-84C4-CEEE1BE7F0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100159$F08F8414-D522-4971-9E64-98A5220554BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100159$B42A66EA-368E-4A39-B800-7AFD7F749D55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100159$26CB924F-BEA8-43ED-A2B3-6E6C19D15CE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-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":"Q3100159$5A46947F-6B70-45F7-91F9-F4A4BCF90F9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$67B75ABD-E21C-485C-8C11-FDC1E71EE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$61D62F54-E509-4545-83E3-7DA6EE3BE964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17e1e0dbca73f60f58f8d7696a7a25abbc1b02e1","datavalue":{"value":"5977310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$38CBE1DA-774C-452D-ACC3-70CE21B7D0DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$814E5C6A-E84E-42F5-A363-854EB276AD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$F392A56A-AD85-4150-B6C0-F58F17DF3C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01262f4a4602033c317fe8908e7615ae591981da","datavalue":{"value":"proof-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$667158C6-B006-4DC0-B968-DF53D92BDE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcf267cbc3e04fdcfc3d3761f7ad8ebdabe8c51","datavalue":{"value":"cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$22780F54-F37F-46D7-9A13-DF562C7FA0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"014fd56e913c0d6d4d6618b21ee0688a8124740a","datavalue":{"value":"classical natural deduction proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$799B44DD-FD58-46CE-8E3B-DF7A7FE4BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44578dba08ae6c86afc5caf433568f1b1074a07f","datavalue":{"value":"multiple-conclusion proof structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100159$8C2704C0-D82E-4E24-94CD-89BBAE4329B6","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":"Q3100159$A162EF9C-4373-4071-B773-0AAA1FE1D28D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b333feb74feefd227c443d2696b21a6520111df","datavalue":{"value":"https://doi.org/10.3233/fi-2011-380","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100159$0F9FE7CC-EF18-4021-8531-1AADAEDD0988","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64f9dee52ae9b21c9deb3bf347ea5c3950d8bbd1","datavalue":{"value":"W1927937548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100159$92134A44-8BC5-48CC-8930-7467AF7BFCE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d6b4ab73324cd55915ab57c3a1d55cee62b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":3638277,"id":"Q3638277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2f1b6f3c255de82d26b03ba0376b97eddc5496","datavalue":{"value":{"amount":"+0.9038568139076232","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":"Q3100159$680F1972-0A87-42B2-9163-F31DB8100C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcfc9b831a68081c08e3f7eac085ef5c6b8f42c","datavalue":{"value":{"entity-type":"item","numeric-id":1744401,"id":"Q1744401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2888213aec21a063143a736bb95f899029019598","datavalue":{"value":{"amount":"+0.8182281851768494","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":"Q3100159$22BE89AA-9311-4D76-AB27-A8D3A51BFDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647117a57b5dd894702bbb26eee6260d5cf01855","datavalue":{"value":{"amount":"+0.7652018070220947","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":"Q3100159$B9366C54-10BC-4686-9078-891DFB577905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec01395e391c4f4c7c0856ab037be1fd835cf86","datavalue":{"value":{"entity-type":"item","numeric-id":5111176,"id":"Q5111176"},"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":"Q3100159$847171FF-450C-4EFB-A5FE-839112737379","rank":"normal"},{"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":"dd48bb6fbbd65984c3836f2863706493e1746fa5","datavalue":{"value":{"amount":"+0.7602905035018921","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":"Q3100159$E03AA430-752F-49EF-B68B-BCE8EBE53813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100159"}}}}}