{"entities":{"Q3147433":{"pageid":3158149,"ns":120,"title":"Item:Q3147433","lastrevid":85915526,"modified":"2026-06-03T12:28:23Z","type":"item","id":"Q3147433","labels":{"en":{"language":"en","value":"Ultimate Normal Forms for Parallelized Natural Deductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803002"}},"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":"Q3147433$29D53DAD-D03F-4887-8DC6-6DC6E6FE2CDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99975c0d819f65a16d7e2236be6022b910732171","datavalue":{"value":{"text":"Ultimate Normal Forms for Parallelized Natural Deductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3147433$8C568E68-98AC-458B-8082-D4B72DEBE8AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a89848dc06a4da0fb4a1ad47f43958217c2d18c9","datavalue":{"value":"1010.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$A79D0F06-D0E2-4875-948F-29DCE98F0FA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147433$0B6AF6ED-61C2-42CE-8761-74E351E33740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3147433$74E65B19-844C-4682-90BF-04E973A6D499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af4d94e71b0ae5adfbeb3496908ef996bc50e006","datavalue":{"value":"https://semanticscholar.org/paper/08496ca396c40e1413c5454738df46a9cce74f79","type":"string"},"datatype":"url"},"type":"statement","id":"Q3147433$40BC0D4E-32A7-4C84-B833-20AA6076A996","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$4EA4E4C7-78CF-424D-AB68-1D070FACF7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$7604DF7A-58A2-4B2F-9900-DD645AD5C630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee75e9a93ec870a0a2342dadb09ad30f89bc3171","datavalue":{"value":"1803002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$45C24015-4280-4142-AE18-87BFCEF96DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$D815039D-CFB8-4D6E-8D6C-B659880F187E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e76ea85e0525b78863d7c30a751846cde062f97","datavalue":{"value":"Hauptsatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$7A544C22-A80E-4D09-B5CD-E49469FCF844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9170346c6552c0e708bbcf2672a7eefe43771cc8","datavalue":{"value":"intuitionistic relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$55CA0791-6CD1-4D3A-B6D4-4E3CC683A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900f014d52ad8b85290a4cc785b66f82094a88bf","datavalue":{"value":"parallelized elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$68141B8B-2D8B-4A8C-BFCD-E5C17E3695BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a44abab204e544e25e42b5f53fba16d506ba1df","datavalue":{"value":"reduction procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$F26D414C-9FC1-46C4-A726-433E6BDB044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$506FF948-941A-48D6-8709-5F80098B144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$B0FEC5FB-92AA-421E-812C-054A739F4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$BFBDFF92-AEB8-4BE2-A524-92118C2EDED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$A983AD8A-ECD0-486C-80B5-71B129888051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe56d582a99e646927d1cc1c797a2a3e93683b6","datavalue":{"value":"deductive relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147433$C7E117AC-F7FF-48E2-872B-B0AAA72BE65D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147433$7C27B0D1-840E-45C1-8970-C1C9B596CB12","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":"Q3147433$4E88DFCA-B66B-4CE2-835F-D35E8A5BBB44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1277637ea8f30a397c2967341168b0af86d28dca","datavalue":{"value":"W1971210176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$4791789E-2F2D-4B9C-B21E-531FE9AF29DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4f3757d68b27c9ebcbaca75f2c24d45b411b140","datavalue":{"value":"10.1093/JIGPAL/10.3.299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147433$7732522E-4C02-4DE6-96B1-FE299C554887","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147433$457001F5-2115-4A4A-848E-29901CB94C79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79b2a77ee754459f3250b36f9003ef8d102ed41","datavalue":{"value":{"amount":"+0.8306129574775696","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":"Q3147433$1C1706B4-0989-4A6B-A791-9409920B822B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e46d953559e38c7aced6ed8d6047cdd13d8ef3","datavalue":{"value":{"amount":"+0.8243204951286316","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":"Q3147433$098841B8-A1BB-43F9-82B3-704DC31A334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ca5d7bb5b727be1de5d72845cf8d93eed70a8","datavalue":{"value":{"entity-type":"item","numeric-id":4985610,"id":"Q4985610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e46d953559e38c7aced6ed8d6047cdd13d8ef3","datavalue":{"value":{"amount":"+0.8243204951286316","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":"Q3147433$ACE2C09D-4BB8-4BC4-9FC1-E3281D644B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389bb702319181239c6c2af1aa841c75a81e41fd","datavalue":{"value":{"entity-type":"item","numeric-id":5869659,"id":"Q5869659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce324d412cbdf8e4d470c72ee4182bfbcc88b92","datavalue":{"value":{"amount":"+0.791998028755188","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":"Q3147433$2FFB35C0-07FA-4D0E-BC75-4B601F6BD7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a729cb35455d2ad7fc0cb898550b907d95227ea2","datavalue":{"value":{"amount":"+0.7884117960929871","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":"Q3147433$A6FBD4B1-4C0E-4726-B6FC-A103978137BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ultimate Normal Forms for Parallelized Natural Deductions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ultimate_Normal_Forms_for_Parallelized_Natural_Deductions"}}}}}