{"entities":{"Q2503402":{"pageid":2514145,"ns":120,"title":"Item:Q2503402","lastrevid":49917535,"modified":"2026-01-12T00:52:10Z","type":"item","id":"Q2503402","labels":{"en":{"language":"en","value":"Non-commutative proof construction: a constraint-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054384"}},"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":"Q2503402$0B4E9C30-E609-4BD1-AD98-DA99861369EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83dfbf997fea0ecd0a13ebbd8f79050870fd31e2","datavalue":{"value":{"text":"Non-commutative proof construction: a constraint-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503402$8AC542A8-F3F8-44BD-905F-53714FBAE7EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b91b42258a9293972eb2df4b5a1c80aa32abac3","datavalue":{"value":"1175.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503402$D1CE7E4F-F110-4149-99F4-1D709D4672F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$3164D6A0-120D-48F0-A416-7F1F525B5642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$8CDBE12A-C420-4F46-8CF1-2FBFB58771DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbcb47240bdb54fc9170b457d0d32b5a471d25f","datavalue":{"value":{"entity-type":"item","numeric-id":512528,"id":"Q512528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$737D9C6E-D616-4C57-BDB5-3D9AA7F03A54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$B5E213FC-B01D-43E7-9FB9-90C0219E93DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503402$E96E39C7-B0A8-4922-B10B-957D6FAE5B79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503402$0E3137E6-6834-4FA6-BF9E-AF7DF9CE3770","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0a90807609164ed63d92e8cbdce5ad861abad72","datavalue":{"value":"5054384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503402$D3DAD28B-6691-4BEE-9E6C-EAE4483CA606","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcb3e967d7f344660d4e6719070e8abab46ff77","datavalue":{"value":"proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503402$2FEA3815-B6EC-4207-87EC-7D74FC8D19EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ec4a5991c7f2b1bdbc3dc6807e077e2dfc04f7","datavalue":{"value":"logical sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503402$F9127D1D-B47C-4D87-8926-029AB0120BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750c07e6335bea8a69b6d3c9c9af52298a4a0f28","datavalue":{"value":"cyclic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503402$10EF0807-95EC-40F2-A10B-C8BEB0A76082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503402$FEA79305-97D5-4921-A442-A2400C584EFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$3922F7DF-0334-43F4-825F-E55850F35061","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":"Q2503402$38CD5BD8-A61F-4877-9CCC-69464AA46337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04d60eed2a7ad9b189ad09ed4f7e2fc80264027f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503402$F10A5C31-A1E6-48EE-B597-A3F209687E1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed277a9f509b4691f51101aa42c6a8d2c51c84d","datavalue":{"value":"W2125048030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503402$C891BD3A-FA16-48EA-9C9F-48FFC03367A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$A08A6030-6F31-4F34-8CBF-D11DEF22EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$2487A325-F8EA-4A7B-8179-0A8E81A55B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$8DD2D498-3881-4190-AC31-9F8F4FC39DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca70b642745e16ba5befef5731527f5cec598a07","datavalue":{"value":{"entity-type":"item","numeric-id":4650580,"id":"Q4650580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$C90B0141-4838-4347-8E33-4A5BB685AE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$D127B444-1104-423A-9B4A-737880AC85D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$33762E96-66D6-4821-8053-7A87F6B903D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$AE48D2FD-677D-40E3-804C-6E4EAF82EE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$417945D2-F9D5-4575-AF44-5CC0CA19EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08167f8b3f5fdfed0f5d5f64feff887f6e39ca68","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$21B9FC11-383D-4826-B527-7FC7A9CA5B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$ECE60164-2795-402C-A5D2-2203E83B52DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$B7895E49-D405-4720-9A44-77293904CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$D324E328-7CEE-4E35-8391-9F8061718BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7cbae1c1118a2e1a65c80b733f652572b93c30","datavalue":{"value":{"entity-type":"item","numeric-id":4918387,"id":"Q4918387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$04DF85B4-1436-4766-8867-6A3B10169983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae3fd87af1e73c33bfd1bcf8844595430d1e146","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$9D69E49D-A6B0-4137-AF09-E93AB22B8C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f28975659da5d1fd5caa98d60a11cabfeea54ab","datavalue":{"value":{"entity-type":"item","numeric-id":4487273,"id":"Q4487273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$134ED3FD-2A78-4DCB-B23D-DA58B60CA77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503402$9AB459E1-16F9-479D-BDEA-1618CF0FF93A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4bc7ae098017714bcdf1156095e459fa612bf00","datavalue":{"value":"10.1016/J.APAL.2006.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503402$6BB1C584-907E-4F87-A9A3-51EE9113DCC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a43c2ea88a77d29ca1bf81964fdbb9b814076b1","datavalue":{"value":{"entity-type":"item","numeric-id":3408154,"id":"Q3408154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc9d645752afbd86f402d6b36f53f1c1f1a5138","datavalue":{"value":{"amount":"+0.8131237030029297","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":"Q2503402$20CF8982-9238-49AB-9DB3-052EF1C40CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0091d5e5747a0bd36de97ece545da51ab5098b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4223029,"id":"Q4223029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b9944fba86e1735056e2458b2dedddba3fe4e6","datavalue":{"value":{"amount":"+0.8118594884872437","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":"Q2503402$E30B9E49-6A49-48ED-BACB-E9A126F06225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2816a2e0785ea7f14c7001eeac53eb415d9709","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137cb6b1aaf539479b929eefbc39a6104f340a1a","datavalue":{"value":{"amount":"+0.8085117936134338","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":"Q2503402$913EED60-7150-4F10-B5CC-F83109CEE9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b3296d8cf0f9e6f149302ca6ad3b4ac5f78d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9107bd75e00f06367352688fbaa93c2edaf281d8","datavalue":{"value":{"amount":"+0.8027848601341248","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":"Q2503402$FE9348C0-B8B8-42C0-8EE1-C4EF3AEB8224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fe61e468be3403366a29633273f8ce3a0e36bb","datavalue":{"value":{"entity-type":"item","numeric-id":4938434,"id":"Q4938434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627faa43f109673b119d69881926bffec6f12998","datavalue":{"value":{"amount":"+0.7888432741165161","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":"Q2503402$FC66127B-F716-497E-8007-3EEECA2F78B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503402"}}}}}