{"entities":{"Q1744419":{"pageid":1755161,"ns":120,"title":"Item:Q1744419","lastrevid":53070200,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744419","labels":{"en":{"language":"en","value":"On strong normalization in proof-graphs for propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862949"}},"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":"Q1744419$0CB96E06-0405-49A4-860F-9757EDC1545B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac71f6af28577f4d659ac0590dd2609cd2b6e7b8","datavalue":{"value":{"text":"On strong normalization in proof-graphs for propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744419$84C79094-86B4-4060-8E9D-7FC7794B690E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf6f86e7d01daca6195e1b3b9a06c4c3724ecc65","datavalue":{"value":"1394.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$BFA7FE10-A596-43AC-9E4D-A02C901117FC","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":"Q1744419$F0533D0C-457A-4E7A-A95A-0294F8B861A7","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":"Q1744419$109F6287-6C37-4B5D-8D63-0D47B07B799B","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":"Q1744419$FC378A3E-D504-4C98-970D-B4603B7F512F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744419$35553C0D-B83C-4297-A019-9AF1309A1802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$EFFF95A9-C12E-4D91-B543-2B2350B6C41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$8BEE36C1-249D-41EA-9B78-33541402CCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$EAA2A74C-41E5-4203-9A0F-8D8426B849F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$E4827675-D19F-4E74-B7AE-82D8ABD7580A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"315a24d79ab15e145f22a4dc3e4e5e31f93f3db6","datavalue":{"value":"6862949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$6A808102-D0F5-43AC-BEB3-06F75E127423","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$D0DD707F-7CB6-438B-9062-B238CEA11C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ca77a74dd1694f34f240d1233b1c865e7610d6","datavalue":{"value":"proof graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$E87A487F-4D94-4B56-9324-60721138B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46de5d93ee6a5475a65527c5572fe50ee84e88cf","datavalue":{"value":"N-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$BB1EDA18-D23D-43FF-8846-5C86447E5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$ED8E916C-6B93-4886-87C9-19D37991C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$49D16344-A751-4689-8E76-0D79263ED7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404b306615310eee2c7ea0eb1e025b59a6b29b09","datavalue":{"value":"multiple-conclusion systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744419$F770BF49-89A7-4FC8-9726-47DF45409A4D","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":"Q1744419$87468755-95CB-4CCB-80E5-5AFE56583E0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a73620723a183f575cfcd7780c5b42bdf644f71","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744419$2AA83986-4532-48C6-8FA8-4B11AD63D061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d476ce537d753ddf82acc252fc6e3386ccf25a84","datavalue":{"value":"W2471400301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$8F8DE96B-0658-4C59-B88E-33FF5B848F19","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f35b069565c0a9cb6e382c55e4522bf4bef8946b","datavalue":{"value":"Q113317679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$D691AE04-FFC9-48CE-950E-3BEDDB2A0B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f174f8187c91bfe6499d7c38885f45afea642586","datavalue":{"value":{"entity-type":"item","numeric-id":3007263,"id":"Q3007263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744419$A5219989-F767-439C-B563-548FD084E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366a01cca8cfde21d1fc93e79cec304df3fcf35a","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744419$A3837FF3-93E1-4DC2-883B-BE68C2FED329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5278625b926d32b152739b371f576980bb5d9681","datavalue":{"value":{"entity-type":"item","numeric-id":4440824,"id":"Q4440824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744419$6E6D1432-2451-48DD-BFCD-AE1B87D3DF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb5dd547945d9bfadf453b22a89f285bf7ab911","datavalue":{"value":{"entity-type":"item","numeric-id":1744419,"id":"Q1744419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744419$6D8E3AFF-8BBD-4A90-B44C-271D2D700CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be57a700e95d061e6cd4956bb5975f96a5690604","datavalue":{"value":{"entity-type":"item","numeric-id":4994969,"id":"Q4994969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744419$4E3C3B23-AC63-4E77-B34E-BFA7AD52E0AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fc44040b86301ef3eb7b6a9558eb259f17efacc","datavalue":{"value":"10.1016/J.ENTCS.2016.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744419$45E93582-DD4C-440D-9A52-194AE6C4F0BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53146275073a7b4401eb8804e6bd7dce352afe5a","datavalue":{"value":{"entity-type":"item","numeric-id":4994969,"id":"Q4994969"},"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":"Q1744419$90A2EC62-8061-4581-B587-69BA4EB165EC","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":"1719651fda607c8dce81dbf6391360587c3d24b9","datavalue":{"value":{"amount":"+0.8029831051826477","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":"Q1744419$DFFCC377-D92B-46A4-A9ED-C0213A633FA9","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":"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":"Q1744419$F0CF2877-7E0D-43B6-BC39-2A0BDA5CED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1219f254982df87846d6fb9b8956f1f4334448","datavalue":{"value":{"amount":"+0.7461132407188416","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":"Q1744419$922B6B87-FD31-4450-9E63-D6BC0F122063","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":"3b2cb5dd9795794e4ca09acadab606aeb9c519c9","datavalue":{"value":{"amount":"+0.7413903474807739","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":"Q1744419$7198D20B-3416-4055-814A-8C18292D770A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744419"}}}}}