{"entities":{"Q4237679":{"pageid":6267280,"ns":120,"title":"Item:Q4237679","lastrevid":46751766,"modified":"2025-12-25T12:51:04Z","type":"item","id":"Q4237679","labels":{"en":{"language":"en","value":"A normalization procedure for the equational fragment of labelled natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275096"}},"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":"Q4237679$6992CF3A-E351-41C4-BC31-B28A4B3175B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e76067cdda5be96a07d37c354b6a387326983c6","datavalue":{"value":{"text":"A normalization procedure for the equational fragment of labelled natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4237679$F720C4B6-3EDD-431E-B44F-8CEFD355D00A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"789cec239da2c81ec75ea63170b76bfc68e80f14","datavalue":{"value":"0923.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237679$3CA07BC7-924E-499C-A238-C7FBC06B682A","rank":"normal"}],"P16":[{"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":"Q4237679$6F950BBE-BFD0-4F9F-A396-185C89386042","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":"Q4237679$DA8E1F4B-9C2D-479A-BBE1-5C197DD746E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4237679$6971C082-F0A2-4D71-8FB3-15E6F2D19BDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237679$1BED9636-7997-4635-AC32-84E111D3B4FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b935fa0ea4f159ec58ea1db27b15dbc39346fcb4","datavalue":{"value":"1275096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237679$41400AA2-98A7-4925-91AA-114F8687A76D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87fdf9f6e40d4d448bd42b2764c5f91345d2df54","datavalue":{"value":"labelled equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237679$67074E89-4517-4B65-9735-915B8FCF74E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83fdac3184ba5fe1eb985ec4b2547ca4b979920d","datavalue":{"value":"labelled natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237679$50808483-9975-4416-99BE-0554BC35089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237679$76F5B7CF-CDED-4772-9A4F-691E91FB28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0be25a59db23472a216661f28e483e6706ed49","datavalue":{"value":"strong normalization property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237679$FD26A65D-FD77-46D8-8F90-43C680FA95D6","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":"Q4237679$45D64286-2857-49F7-979D-3B9887B528CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"981df27428813aa7e268eb56888605fb73bdba6f","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.2.173","type":"string"},"datatype":"url"},"type":"statement","id":"Q4237679$ABE99B29-9D49-4FCD-A775-DE6E8BEFE9DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46f82e22405aae2e1fe372055de5becdf81b65ca","datavalue":{"value":"W2169827305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237679$ADE44086-6ACD-4859-A106-6DB2F993EA06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5b4e42b064ed1e5f636c7f0de64a6c4c9b19b17","datavalue":{"value":"10.1093/JIGPAL/7.2.173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237679$309DB0FC-64AB-4A6D-B422-73A3409628F2","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":"Q4237679$D4629E29-BE28-4389-AB68-DB7B4712C575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6287a1d68e12f09801489b946a15b2d058b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5c0e4068084d69b686a65829c384f2f05b1fb8","datavalue":{"value":{"amount":"+0.7659292221069336","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":"Q4237679$BEF4B9E6-7ED5-49ED-9F55-7F31C8F1D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dd06b8da364bf14f332f0f4056c56bca59a69d","datavalue":{"value":{"entity-type":"item","numeric-id":4946226,"id":"Q4946226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea75156e595e99b7dbe366afe696d5fb9c5ff0c","datavalue":{"value":{"amount":"+0.7437390089035034","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":"Q4237679$06324EC6-187F-4238-8282-5CE9665DA34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be03357957a12b9200336f35abcd61305f50d04a","datavalue":{"value":{"entity-type":"item","numeric-id":5212037,"id":"Q5212037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c60df180b260113685a130889da8221c36fb38a","datavalue":{"value":{"amount":"+0.739858865737915","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":"Q4237679$4D94C7ED-07D6-4B99-92FE-1F694B99A2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a66d44c2e1f69bf576fed659a29ad88f52c3678","datavalue":{"value":{"entity-type":"item","numeric-id":5179008,"id":"Q5179008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c085ce99d7898ceec3d43eef1ffc88c60dfced4e","datavalue":{"value":{"amount":"+0.7381331920623779","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":"Q4237679$0B052B14-683B-4984-A699-B38F07F87245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4237679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4237679"}}}}}