{"entities":{"Q2346993":{"pageid":2357736,"ns":120,"title":"Item:Q2346993","lastrevid":57863211,"modified":"2026-04-02T20:44:55Z","type":"item","id":"Q2346993","labels":{"en":{"language":"en","value":"Program equivalence in linear contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6439760"}},"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":"Q2346993$43D7C599-6CAE-46EC-B1C7-11EE0E89AA2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bcc18a9f5de81586bbea8650f592f76b403da0d","datavalue":{"value":{"text":"Program equivalence in linear contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2346993$075BE56A-1399-403E-8CA2-1FFBA402BE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a9fe8f9df7edf4bf2912f89ea0118bd9d16a9be","datavalue":{"value":"1327.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$A9C733EB-40E8-4B5F-BADA-020F36BA7093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2308b37ac219e1ca1b213d17b783dd3af2b3080d","datavalue":{"value":{"entity-type":"item","numeric-id":351978,"id":"Q351978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$AAFDEDB5-610C-4899-B8C5-C67FDBF8C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$69ABAA07-6A88-4D1F-8ECB-86877F7DF824","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":"Q2346993$73AC8472-F94B-4595-A4F2-BEBBCA2D5436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77a69e927f95be3ed926ed134e18f801ef4d967b","datavalue":{"value":{"time":"+2015-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2346993$CEE74DB0-E440-45EE-87FB-BE1A4D5306FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d28592d62b93f272acb989faad1df4be904d208","datavalue":{"value":"https://arxiv.org/abs/1106.2872","type":"string"},"datatype":"url"},"type":"statement","id":"Q2346993$B86C8903-C244-4F92-8918-70CD82900EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$996D5F93-EFB2-4738-84DA-69EB7816F0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$70BEC115-6A9A-4AD3-A4B3-1C826C9541A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$5015C515-0F1E-47D2-91FE-D974C03021CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aeb21d79f6aa828b5cbfbc65f2df894e28cf61a","datavalue":{"value":"6439760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$760EDBCB-218D-4974-A424-5F1EE29E973A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eedc7f339f94a6539308aad6dec1100575d2b2d","datavalue":{"value":"linear PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346993$F7EDD10A-A75B-45C4-9CCB-2981EE714B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346993$D7B82543-A875-4DB7-98D7-A39F56D9E3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346993$AFB240F3-0D34-4D45-8E22-3E74964534EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2346993$F1FF3ED1-67C4-4ADB-A1CA-EB016187344C","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":"Q2346993$3D16EE05-B04D-45C6-B550-4199D938410D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6ed8d15b03bba6f9318723c529d2673a47a9600","datavalue":{"value":"W2129096339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$50AACD8B-AD69-4E90-8C98-94EAE6E11D74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$13959A72-1F59-4496-AF47-A8C94990AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66acf7c53f747598a6796c13d52d0dc53dc4cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":4500364,"id":"Q4500364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$90956BAD-2D56-47CD-ACF3-17CE2BB07D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dd947d2cd3406080a0c1bde67fc5e828ea2214","datavalue":{"value":{"entity-type":"item","numeric-id":4921510,"id":"Q4921510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$C58FCA11-DA58-47D4-9522-E3860D7ED80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$64F2BE2C-1958-4627-9A41-53732CCC2053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18f73027341d183a562fe1e2b373d885d7c3d89","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$76899C7B-765C-4F88-B6C8-98FBFA1DC55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$BF313390-D837-48E8-B56B-A7FBBF0AD9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$9F1B0DA2-C6A7-43D6-935A-79A8FD8E66D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2bc624d2d515bbf74c23dc1a8e9515b97b9309","datavalue":{"value":{"entity-type":"item","numeric-id":4826097,"id":"Q4826097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$5298A76D-47A0-4FC2-86CC-8F4BCCDE6062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$FA771144-EE65-48EE-939E-518FE217E819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$D1869402-4B7B-46FE-8C2D-11386A8712DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74af4cdd486c184b87b1edc999f8771463eee416","datavalue":{"value":{"entity-type":"item","numeric-id":2712583,"id":"Q2712583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$4C5F0474-840E-48C2-8FC9-E0E2A785A8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$66B0E435-95C7-4C27-8588-3E6D9B0B610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$7270BA06-716E-4524-9A55-B495D3DDC0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$98B9BE9C-1910-4FA3-8051-A7FBEAB574DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2988c5cce9284c5329b5d286f0e9a6aa3b979a","datavalue":{"value":{"entity-type":"item","numeric-id":1575887,"id":"Q1575887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$FAD5C487-3F2B-4FE1-8A72-9E2ACB3F0BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$A4A946A4-1D61-4178-9F45-30078CBC1685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af45063f7cc24ead1909550a313683233aa6baed","datavalue":{"value":{"entity-type":"item","numeric-id":4933210,"id":"Q4933210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$4020B097-CFDC-45E0-AB6D-44973BCF45DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$8F51D95D-8EED-4C64-B3E4-0564B667729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$46348331-8F6F-4696-A5F0-2078A99F7ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$41076BD6-E69F-4EDD-9F99-02BF5B98B900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$A90FDC31-5BFC-4C8C-B578-EA356E2B54AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$C3184AEE-80D0-421B-AE6E-8E149D297B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$C491104A-E630-4321-82B3-3D7C444C7B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe52ebb37eeb823203f2e60e8d7931b53968e5","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$32374229-C43D-4F82-A446-2CD626A07A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$951C1D3A-57F7-4E94-93D2-2AC2E76B5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a50380469f7bc9bd4d1158c18ace80a10b84dd","datavalue":{"value":{"entity-type":"item","numeric-id":997996,"id":"Q997996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$5FB5ADAF-17EF-4EBB-8796-B4B08DB46555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c44ae7f3abcd42f32a58244da590a379ba52fc","datavalue":{"value":{"entity-type":"item","numeric-id":3060197,"id":"Q3060197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2346993$3D030C60-BE6B-4BC9-BC2A-B3E1EBD45BD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72999ff8d9cc5d79b058cee8a9072ba1fb471eba","datavalue":{"value":"10.1016/J.TCS.2015.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2346993$2B776F17-F287-4D88-B849-A010C7D18200","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ede2368e1c34ac1e1d29f6466d571dc91a5ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de15ac98fab8944c42e95a4594c4f1d701452495","datavalue":{"value":{"amount":"+0.7539443373680115","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":"Q2346993$C6251CEB-4778-4F78-87FB-30999D678AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9badaf2611c4876a802e2c4209fc032d6497609c","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de15ac98fab8944c42e95a4594c4f1d701452495","datavalue":{"value":{"amount":"+0.7539443373680115","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":"Q2346993$B8B4777C-68A9-442B-BAF8-BFCD8CD486B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f176c942cf27e3d294c17277d98f39de75383689","datavalue":{"value":{"entity-type":"item","numeric-id":4508401,"id":"Q4508401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a721499e0576877b987b9bdd2a94d32bd70a0cdf","datavalue":{"value":{"amount":"+0.7522166967391968","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":"Q2346993$380B3D46-837F-45BC-9792-205EE7FFC531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da644fc535911241c85fc174784d19f18fb743ce","datavalue":{"value":{"entity-type":"item","numeric-id":456473,"id":"Q456473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6a6d2441d8e206cf908b2cb532df23a108acbd","datavalue":{"value":{"amount":"+0.7509869933128357","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":"Q2346993$832BE1B9-AA9D-4CCB-BABD-02EDBF32FF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304a6965516acd233825c6b42aca27cc97285809","datavalue":{"value":{"entity-type":"item","numeric-id":1401297,"id":"Q1401297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd535e8fc794dd208b014c196348e281882b6183","datavalue":{"value":{"amount":"+0.7388622164726257","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":"Q2346993$9FE53AE0-C6A6-4C94-8D69-AA239B7BDD13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2346993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2346993"}}}}}