{"entities":{"Q1342250":{"pageid":1352989,"ns":120,"title":"Item:Q1342250","lastrevid":70191819,"modified":"2026-04-13T13:03:48Z","type":"item","id":"Q1342250","labels":{"en":{"language":"en","value":"Head linear reduction and pure proof net extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 710241"}},"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":"Q1342250$46789D97-B3B7-4DE2-945B-99F9A936DCEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb4e1064858c0c6fd2c86a8b763d8b679b08cb10","datavalue":{"value":{"text":"Head linear reduction and pure proof net extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1342250$1331B2F3-6530-40FF-9F0D-6C632A19F417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705a2a7c8cfaf90e9f1dbbae0100c08f1ea738ae","datavalue":{"value":"0834.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$01AD3268-2CDE-49C9-89BC-F55912BAEED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a288fd9de28e2dfaae5bf05f990c68cf5a60857d","datavalue":{"value":"10.1016/0304-3975(94)90263-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$BFCEE3BD-EFC3-4E38-A782-FC85CBAD96E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"995c285b0c627f21d0a3c4458948fcf7c0d115bb","datavalue":{"value":{"entity-type":"item","numeric-id":1342249,"id":"Q1342249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$58F07D43-7B7F-45FE-AA22-AFFF42F442A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5039260c6da03a46c13548e25e70c7abbe033884","datavalue":{"value":{"entity-type":"item","numeric-id":331550,"id":"Q331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$F3892C04-560C-447D-8C11-EA71087751E7","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":"Q1342250$CAEF321C-C94B-4A3F-B4AD-BDF2127365CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34f882de9608e30070f91d42bc6a66e92192de6e","datavalue":{"value":{"time":"+1995-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1342250$E336FC9F-F993-4D67-AD92-243C9E73DCA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$545A4897-F3A1-4C33-A94E-32955FDC249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$B7A09894-FC04-42E2-B33B-73E719954508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$238B7C30-AFDD-4DC1-ABD4-0D43D237BD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$0A5F2DFB-7EE8-4929-AA90-992FE0153AF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"319b8c39f53aec5e24132d6ba417660d8cf70b39","datavalue":{"value":"710241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$1EB42BC3-6D80-4E60-83E5-18A67E77C1FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a4ecc9b778ab8df7016d509abb4b23a11cb53c","datavalue":{"value":"proof net calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342250$842CA125-2113-4EF9-9D64-DB3FD0B0EE71","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":"Q1342250$EA80A2A6-90B5-413B-8F26-19CC67A95444","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3b630a82646a70caa6230352da3d10039c48669","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90263-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1342250$A019E858-7A4F-458F-8815-F5092BA03DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ae0571abf32217b5bec306a247674b7324d0f3","datavalue":{"value":"W2065246392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342250$57223796-2B64-44CA-8285-105EEA531E33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$BA049E4C-2A5E-4B72-9F45-BBE2CEEC7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$941AA6C1-0D17-428B-B411-724F4F2CAE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$ED17B0F0-D014-48ED-8412-F3F3A43A290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$3C7E0F01-0D91-428D-BAC8-5849965E3C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342250$29A88D67-AA8C-48DB-9BE8-4EAD82F79A8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bddae59653a1d3ed8fd5fe3ab91bd959e5efd41","datavalue":{"value":{"entity-type":"item","numeric-id":2852349,"id":"Q2852349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9129a71e77965610b52412f636ad13e08e763d9","datavalue":{"value":{"amount":"+0.8126972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$0567F3C2-08D5-4C9C-80DD-BD0B5190B52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26e61656a53c91cb36beee69a3636a9d96c924e","datavalue":{"value":{"entity-type":"item","numeric-id":3498480,"id":"Q3498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dce25cc8052757df68a43142d0a094ccda9ef2e","datavalue":{"value":{"amount":"+0.81049806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$1BE14A45-19CF-41BE-94E7-9BD35057B8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f961deb47c9af7340f6daaf6390c22f15808bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5300897,"id":"Q5300897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad613ecd347b4498e99c9c20c225f5efc3351068","datavalue":{"value":{"amount":"+0.8092025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$48F7E4A9-D885-4A2E-BB0B-B0F16B7AB696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54e9e9bdd3e013e0a440df0ba5e1cbe38b25583","datavalue":{"value":{"amount":"+0.8068255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$F04AF075-6952-49A0-87EA-5A81CB59655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bd346553e434097a0492fd23ddd9dcc93d5e92","datavalue":{"value":{"amount":"+0.7964776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$00C91263-F5E1-46F1-BC9B-81FA24FDCEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4826a9ebcee41c22e639fb6a714a4c993eaa4703","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3d74bcb8ff00d7d1ec83737d5ebd9696fad1c8","datavalue":{"value":{"amount":"+0.7943015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$86B3078D-E30B-453D-B70A-5A88C6BE2F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f108f54644f0ec26605a1f87cb8a667d4c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3d74bcb8ff00d7d1ec83737d5ebd9696fad1c8","datavalue":{"value":{"amount":"+0.7943015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$DF66A6D2-9CEC-4282-A274-4DE1053A72FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f09844710e9f1778fd7a7e76b7cb62b72ca67","datavalue":{"value":{"entity-type":"item","numeric-id":5014809,"id":"Q5014809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1321c799ad5a7900fd09317755300445db4c90","datavalue":{"value":{"amount":"+0.7929958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$020B8933-7663-4E7E-9ECF-EAE3BA33F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f49f60f78df0c06f8e28295f2790089b8caaf6","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f82b11a716f66a821e73815334a46c373f8ad22","datavalue":{"value":{"amount":"+0.7916154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342250$8D021078-39DD-42FC-8CB0-0B6454ED36FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Head linear reduction and pure proof net extraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Head_linear_reduction_and_pure_proof_net_extraction"}}}}}