{"entities":{"Q3083141":{"pageid":3093856,"ns":120,"title":"Item:Q3083141","lastrevid":51210866,"modified":"2026-01-17T06:32:01Z","type":"item","id":"Q3083141","labels":{"en":{"language":"en","value":"On the non-confluence of cut-elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5868004"}},"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":"Q3083141$2AB32BA0-787C-4435-9DB7-ABDE3E36B6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a7f5d151a1e9c3db660b9c5e76df3a63ebf58c0","datavalue":{"value":{"text":"On the non-confluence of cut-elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3083141$59C3F99D-34B3-446C-B16E-5DB998D2C78F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"190f46f6af2e31fb0b47a1d115882f7c1826e2c7","datavalue":{"value":"1220.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083141$BD0C4D7F-DC44-4457-B2B4-3FCE7E60A019","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$C7563612-641F-40D6-8ACE-0393002BC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$EF3884EF-BB9E-4B65-97D7-E5F0B4CDA181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491e77b99273305a3a3bbdb2dd66a2b0304c39fc","datavalue":{"value":{"time":"+2011-03-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":"Q3083141$719D5FB1-754C-4DAD-B13B-898CC932FA0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083141$7809157B-44C4-4DAE-A2CD-CDD8EF908B16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f113906d3530a76180fe5b57b0020e01d1a64aae","datavalue":{"value":"5868004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083141$4DF15F99-36F5-4E62-8DB8-D36B7F134989","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083141$1A4C54F5-77D5-46BD-94D7-E121A1C33A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083141$4806A024-1FA9-48C9-8DB1-5DA9A4AF1757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68040e2630a3ae8b46a9b49ea54415de62483b38","datavalue":{"value":"witness extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083141$2F11FF2A-B4D9-4FB1-B3AC-134E6B0F342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083141$DA767ADB-DE0B-405C-A141-6EB5D93D5EC0","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":"Q3083141$896B8A95-0D66-470D-978C-4E48C9BAE24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0d965ea07e853d589cf46fbcdbcdb3207befbd8","datavalue":{"value":"https://doi.org/10.2178/jsl/1294171002","type":"string"},"datatype":"url"},"type":"statement","id":"Q3083141$6D83FEEF-67F9-4746-85D4-86CD03B3D963","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1468dfe363d1a72356465e527fcbbb7a42d98ea8","datavalue":{"value":"W2152266130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083141$E06DB4E7-C897-4CA8-AF30-87EFE3C7179C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$41663EEF-6E2B-4C58-877F-167B5C8F7A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$92D2AA43-C721-4D0D-9B29-1B37F071CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$FA0678D4-48F4-4E04-A855-6BF69EA7F4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$15CF6DB8-3816-4AED-BE06-7D8C70298183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$9A96285D-3D43-456B-888F-A9B35EBA1981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$4ADEF475-5C4F-4C3E-A922-0010D5757AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$CF9408EA-87FD-4FD8-AF24-937B34D599C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$523294D2-F2CA-49C2-A701-37D1DDF253CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6363862bab4216c0b150428796882a19654088c","datavalue":{"value":"10.2178/JSL/1294171002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083141$0B05EDF0-318B-4138-8EBD-E8E08758747E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083141$6A6D0310-3D64-4319-96B2-8B88E742DE64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419b7fbdbc0e49055f8085b2a7b756682bc430ca","datavalue":{"value":{"entity-type":"item","numeric-id":982183,"id":"Q982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e1f7af674482264eaecb01703e2dfb7dc4570c","datavalue":{"value":{"amount":"+0.8150993585586548","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":"Q3083141$7AEBEB20-A4EB-4BFD-AC97-236DB1870012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e54c2e9629b55d20ea7038340a55adaa2a97aba","datavalue":{"value":{"entity-type":"item","numeric-id":5452195,"id":"Q5452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6bffc888db875fd87826fa3fcb5f8624ec3915","datavalue":{"value":{"amount":"+0.8098543286323547","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":"Q3083141$83FDC586-0B90-4813-ADD9-6FB149D3C2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e05ea5b7d7260ca535be85672730a3681c9e77","datavalue":{"value":{"entity-type":"item","numeric-id":2871477,"id":"Q2871477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df17eb620ff1a6291241e21b82f6d756258bf1da","datavalue":{"value":{"amount":"+0.7919538021087646","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":"Q3083141$7BDA9DF5-BA20-4933-A9B6-B8CBD002B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b702d453d4df99c4a549d9029a4a760cd41231c","datavalue":{"value":{"amount":"+0.781608521938324","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":"Q3083141$09CF43E9-7D6F-45C4-B1A4-3EAB801C3EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa8153b12d9be5af11cd2cd8813434e31dac685","datavalue":{"value":{"entity-type":"item","numeric-id":3434700,"id":"Q3434700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785cbef1c1e4cd47e0aada417ff908ceac5bd488","datavalue":{"value":{"amount":"+0.7786024212837219","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":"Q3083141$BD73DDE4-1F80-4366-B0A8-2E86A0CDAAA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3083141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3083141"}}}}}