{"entities":{"Q6052705":{"pageid":13186861,"ns":120,"title":"Item:Q6052705","lastrevid":58647057,"modified":"2026-04-06T04:14:30Z","type":"item","id":"Q6052705","labels":{"en":{"language":"en","value":"Extensional proofs in a propositional logic modulo isomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7751512"}},"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":"Q6052705$7716F69C-87FE-427F-A8D0-6CD16532DB67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df3db64deb552de81a57864358be2c7411e11759","datavalue":{"value":{"text":"Extensional proofs in a propositional logic modulo isomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6052705$2823158C-D3CC-4E00-922A-18CAB783E719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$07C14BBF-DC6F-4205-B829-EB130332D6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$9D50A811-8D2F-4C28-8F17-40B65ADA104B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$04DEF982-0B02-4DB1-8F0E-FA8CB13DB74A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"595e5ac2f0a60dec0d66abce7b66a69e8d2e39e8","datavalue":{"value":{"time":"+2023-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6052705$851DF212-8CCE-45B4-82A7-E4BF4B35D132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35cc76098b6a28b88cfe7147da2616a74ef62f1d","datavalue":{"value":"https://arxiv.org/abs/2002.03762","type":"string"},"datatype":"url"},"type":"statement","id":"Q6052705$1E9F5DE6-60A2-45E2-BF50-52A56DE60B93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052705$A4E3A313-F7D0-4EFE-9444-107C79793C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a9d6bd9934a1b344feb8845e50b6970e3102a00","datavalue":{"value":"7751512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052705$E3022566-373B-4385-915A-B58A3C2CB452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$FB3B290B-E95B-401D-A2D3-157F2C6E83D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e205918ef9e9725c5b434cb4e8cdf1835fe6252","datavalue":{"value":"isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$2E5F7BCE-17EB-4D24-B579-35A8966ECFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$BA3B7FBB-A906-4675-99C2-B323DDD5C183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$643F618D-3539-43FD-BF7A-6D33FFE25095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d16c34de29f379f44f4db883438e7b660d0a4c","datavalue":{"value":"proof-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$C57C8C84-ABE4-491A-90D9-8DD4B1B253D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"131e2cac8a482a08c90508cd0ce567e572da9989","datavalue":{"value":"eta-expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$1BD8CF4C-1C1C-444A-9784-44F7CED9F215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052705$E43782FB-9420-4653-A6AC-B050ABDC3B4A","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":"Q6052705$6E121064-80BE-4CD8-A937-EF67483E8C6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68455284242dc4a71b1bfed802fb24d1880dff7b","datavalue":{"value":"W3005285175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052705$C3E299D3-4A17-4C84-8816-E1FF085E6165","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fe2097d6a43ae9325a34d980fac0b22e147c2","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$0630503F-36AF-496C-BEB4-0E8E5CE230F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4f020a51168a828551c25efe2435d5943ef4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$893E4A60-4373-485E-952D-8BE4D5941D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa641d9bd95d099beb13e931a65ef0f86bf7dfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$4A9A4DCD-B334-4CB6-BF41-BDC6D261DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d954d0bd9f4f0e8641f1df7607608bbeec9d34ac","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$FE318F4B-4153-4BAF-ADE0-285FB77C2538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$30D59E1F-9F45-48FB-94D9-EBF39B833182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$7AE363A0-4BDF-4B68-8A0B-503E307A4F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152529a731a5e87e191e763c50e57d59c2145e8a","datavalue":{"value":{"entity-type":"item","numeric-id":408545,"id":"Q408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$1ADA7D50-E1D0-4525-A75C-BFA1CD9B8879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$603EA48F-AD9A-4817-AEAE-E91A9A03C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$EB06EFBB-8DDD-407A-A6EC-C2622C49894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc37ebf85b158f95e7a2fe63513f109810e5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$421C1B1F-80E1-4E22-8636-864212627435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$63033B00-20DA-45D5-8278-1F4C539ED0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bb2a4f0603188267aa3fd0208ee45953e029cb","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$66AE9FD2-3C65-441B-9FA1-2E29FE171B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$3B3A90F5-BB0E-4921-B32D-C3F191345FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6bb1b36c936a3f72ff491a67175dcfcdf32052","datavalue":{"value":{"entity-type":"item","numeric-id":5055990,"id":"Q5055990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$1299898A-6E47-4F8E-81DA-797A27930544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe4ce80a75e0b5d7c75ef7401dbe713ffc36bb","datavalue":{"value":{"entity-type":"item","numeric-id":5089014,"id":"Q5089014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$DDA3A282-84BE-4A89-B01D-3A06A21C5480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d274fd939869bd955ebc1c14db907af76cff4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2915029,"id":"Q2915029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$D0E3BCDB-D36E-4381-BEFA-F6822658B5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$68121C2F-22E4-4D4E-B8A1-AB036FF4B0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$73617509-6471-4EF4-BF6F-EBC9BBB3945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfad6602f4f84f9bf07672301e7d8bc392527577","datavalue":{"value":{"entity-type":"item","numeric-id":5896791,"id":"Q5896791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$EA313355-56DA-4657-8177-FF8AB61A35B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$00CBB10E-E561-4A0E-BF84-4F589E767AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5be6306cf75bedc164f0c0f1f29b86599eff4","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$A2A1F64F-41B4-407B-A671-F773E52CE699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$F7CAA8B4-41C7-471E-A77B-EA05E694DF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28494d20396af22c610619948e85664efe1fa4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000282,"id":"Q3000282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$AB7A6DD8-41AB-4DE4-B971-4945D36315E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f088588b08bc91ef8e88a52d0bd8f16267eea4e","datavalue":{"value":{"entity-type":"item","numeric-id":2352491,"id":"Q2352491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$27E8F111-9EA1-473B-8EC7-E13878F404B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$62D7C8F4-F2BA-4624-BC83-1CE35C6CB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6db7c7862cac26fd7442c282ec1191e1408e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1185009,"id":"Q1185009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$B69693F6-D743-45F3-8A9F-67BB966EE148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30572247a9c1b58f083639c6a9e6c25dd0b53f43","datavalue":{"value":{"entity-type":"item","numeric-id":4327834,"id":"Q4327834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$3A05D9D0-8737-4792-A546-0318CC26778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$20BB6E3B-3652-42BF-A399-036752065A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58873e82ac464503e24bd570bcd59f8a9b093a2","datavalue":{"value":{"entity-type":"item","numeric-id":5310654,"id":"Q5310654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$A323C420-EF0F-489F-8EDF-B4F6D99B53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$72CC83B4-3FC0-4787-8B66-31A0B912EB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec1396a43e040fa9655847cc89b616307ddbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":6488563,"id":"Q6488563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052705$651E0C77-6B5B-453D-92EE-FEEF1C6B2C3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d97d0e75f634f0f0d16b4efec5a41683b32d3e21","datavalue":{"value":"10.1016/J.TCS.2023.114172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052705$D9872688-ADDF-4C48-8563-5B16D650425B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6052705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6052705"}}}}}