{"entities":{"Q2747701":{"pageid":2758440,"ns":120,"title":"Item:Q2747701","lastrevid":79209830,"modified":"2026-05-06T13:23:36Z","type":"item","id":"Q2747701","labels":{"en":{"language":"en","value":"Exchange rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658159"}},"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":"Q2747701$F80939FC-3343-4235-AFA7-1DCAA4404F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"105efd8cca852a961cc60160694b2865ed9d32c5","datavalue":{"value":{"text":"Exchange rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747701$AB76C472-C232-4CBF-A22A-2FDFC2079695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42ffb53c0e1c60cdc463e9518e1e816db756aa8c","datavalue":{"value":"0988.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$4FFF4A09-03D8-443F-80C7-929471486500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5510afb4e8a12a17bcb7148ab8ac739e7e817423","datavalue":{"value":"10.2307/2695028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$CB7EEEF8-706E-4CFA-85A3-7FB64FD526F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747701$26B4AE40-2CB1-4F01-BC20-B8E5BF30165F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-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":"Q2747701$341E6E3C-F574-47E6-A123-65F455FB5DAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$9EC81E0B-E288-409E-9CF7-A00FF4F35D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$7B3F62AF-FCBF-4966-9D58-A72A293EF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$FBEEC944-13E5-46CC-B47E-EC4565502450","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ba2c382fcfb14e170f33f5a8becf439aece6f33","datavalue":{"value":"1658159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$2F5DE703-E099-40D7-8F7B-6C69681AECE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747701$13102A6A-0717-48F9-BE62-4DA52069FB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e716707f950b276e7516a89864ba226b193c83f7","datavalue":{"value":"saturated formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747701$66174363-CE5A-4184-AFE4-5D788D3FBD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747701$7450E7DC-6E76-41F2-B3FB-49BE89B93097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2616d744ae9398638b5f042df670421a825cef5c","datavalue":{"value":"logic without structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747701$2A5FDB40-6989-4E6B-AAD5-8E9AEC2300BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"798ab30215720a7098e1b7f954c20b5317834ef7","datavalue":{"value":"noncommutative linear logic with exponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747701$282A24C3-245D-4CDB-AF20-5876218E94E3","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":"Q2747701$7FF6E231-2171-4212-9989-BE1A611909DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"266a304bb0f208b32f066192556d8336cd7e7364","datavalue":{"value":"https://doi.org/10.2307/2695028","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747701$862CB967-CA7A-45D5-AD00-C61CB7CF8FF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51fdd2c229875d58003ba1228275d9af9f028122","datavalue":{"value":"W4246287384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747701$AC7C1B95-2386-447E-8BFD-3D0EBD0CB94F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747701$F7C89C4F-8525-47FE-8064-3F6324E71222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9526a476622a9a40121f15f47387b853405b854","datavalue":{"value":{"entity-type":"item","numeric-id":4221298,"id":"Q4221298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747701$7DDA4821-BE32-4381-93FC-B33304C63C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747701$0BEE6FE0-C490-49CD-908A-28D27FDE12D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b3d1cde74fd118e62c857927b01d465a64469d","datavalue":{"value":{"entity-type":"item","numeric-id":5940809,"id":"Q5940809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd03e9e83b252311b2175209060cf90b03e90237","datavalue":{"value":{"amount":"+0.80035317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$D762D94E-28C2-4E71-A88D-582E0D5D7FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18df682ec5bb628c26b918580f99b0f626c521a2","datavalue":{"value":{"entity-type":"item","numeric-id":5240432,"id":"Q5240432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d38bc0e9f07f075e6f74a8c462e30e4ccfd025f","datavalue":{"value":{"amount":"+0.7942627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$8E5DF017-E76B-49B9-A269-9B26DAF3C47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676494e3514a99c8674298c580a32f50a88f21c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823954,"id":"Q1823954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001a374148076c980ce80624dfab7d627f4609f3","datavalue":{"value":{"amount":"+0.7911078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$AC38A41C-7F9D-4B36-8DF6-CB14DB606C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5210a4e6a009c42ca8469b7e500e95d0518b179","datavalue":{"value":{"entity-type":"item","numeric-id":3675249,"id":"Q3675249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9412f95c22adc3171756b469bd89e4a730243c3","datavalue":{"value":{"amount":"+0.76884747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$F8BBC847-F91C-43E4-B135-29A2EC554BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5aeb5bfc40e550d12630f9d242289a3fa4b993","datavalue":{"value":{"entity-type":"item","numeric-id":1027359,"id":"Q1027359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d2036f69efe524235570f30d1e465d60a444cf","datavalue":{"value":{"amount":"+0.7674799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$F88BADE1-6FA1-40B9-A7E7-336DB9C0AE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d2c0f616b7a4030da1731a95e1507d6e2ac269","datavalue":{"value":{"entity-type":"item","numeric-id":1293743,"id":"Q1293743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8084482456dfa8bc18916e03deb7d65ebf1df663","datavalue":{"value":{"amount":"+0.7652559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$4A10290C-49A8-4908-B65F-1A899689C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc03c76120c1240620e7f6532fb1e04d3dcecef7","datavalue":{"value":{"entity-type":"item","numeric-id":4833988,"id":"Q4833988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1d62860f552548bc9086927c8756349bb889a6","datavalue":{"value":{"amount":"+0.7652217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$A6E9A2D0-BE8D-4822-ADA7-06BE6FDFD5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee1ceccb1b2dc50a73781e319c3efa546898f30","datavalue":{"value":{"entity-type":"item","numeric-id":1941671,"id":"Q1941671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe1bf4bc83c8334fe33fc7537ef4e10e855776c","datavalue":{"value":{"amount":"+0.76144445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2747701$98EC8509-DAE5-48FB-98FE-E10F6A84E417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747701$6E6FD32C-399F-46F6-87CE-0FC234932B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exchange rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exchange_rules"}}}}}