{"entities":{"Q5089024":{"pageid":7118600,"ns":120,"title":"Item:Q5089024","lastrevid":91338737,"modified":"2026-06-04T22:55:06Z","type":"item","id":"Q5089024","labels":{"en":{"language":"en","value":"Proof nets for first-order additive linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559288"}},"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":"Q5089024$F16F9EC9-7E3E-4BB5-BC0A-3A0DFAD8875B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$854C8672-9146-42D1-BF43-79BAAA3DEE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$8C6E7C37-CE28-4596-8E77-056917685D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$C57A4A4D-D895-4BB1-9FC2-15B56D8A83D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5089024$93F8CB8F-51A0-4B66-9838-60136ADF7A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089024$16D58518-F7BC-4475-85FD-127CA23EE8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089024$8C9FAEAA-0F4B-434B-B5E7-8C3EA7A57E95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7b9ee03855769eba623ee4dd9c23542bb0120c8","datavalue":{"value":"7559288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089024$B00A10E0-EAFE-4104-974A-35939A7D4BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089024$31972CED-DAD7-43C5-A1E5-6D0509A10512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089024$98233B54-A973-4826-92E1-1D8128C6190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089024$8D3ABE2D-7B6B-4064-84BE-93855B71470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089024$496D619C-9EF0-44A8-92CA-CF87426B7428","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":"Q5089024$64770517-F987-4598-B8CA-7D52B542AEA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb681da4f1409f8499d4e6a37a0928b1463ed47e","datavalue":{"value":{"entity-type":"item","numeric-id":4461213,"id":"Q4461213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$94803239-4DE0-4E37-9940-18DFA87C0475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$3C4B27B1-8BEB-4FFF-9449-96FE84488B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ae1dde442ba7227a5f059024d008ba4426fc00","datavalue":{"value":{"entity-type":"item","numeric-id":3644749,"id":"Q3644749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$77C0EF38-BCD9-4059-8F42-955AACE806D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$4740FC3A-BEC2-4B51-805E-3EC278F7D5DE","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":"Q5089024$AE3EEB53-AB4D-4509-A536-F0D239F98614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$F912F288-8699-448C-B053-7B826AE93BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2e18d1df9fdf7c997855f23fd7e29219c01e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$C7DC360E-CFA2-4007-9EB1-B265DA60D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$039326AD-1BB4-49CA-9162-BE18792FE463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf1ee39876e2d8861ae5a50c623064bc23da5c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586051,"id":"Q3586051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$CA1F3CAA-8157-40BF-9932-45D1CF34C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b442700e9f1c677d5d95db2d4b0cdb5bc40853f","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$C36DCF64-06E4-46D2-86E7-03242DA2CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56662cbd9e13aadd4e49a3ba2ba43c21b58f2afe","datavalue":{"value":{"entity-type":"item","numeric-id":5145330,"id":"Q5145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$2F8C5BDA-4FBC-4D54-BE69-87E6D7713F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b73d5af578c5504aedd669be6f92250447ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":4635901,"id":"Q4635901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$39B37012-4471-4FF3-A37E-5CF6E707BA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$E19AC2D0-7915-4FF7-B9A8-2934B6EE2A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43aba12fe0b174a3d8221f9f85045e2cc79c3b92","datavalue":{"value":{"entity-type":"item","numeric-id":4876241,"id":"Q4876241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$76F38E8D-C13C-4B93-A0B7-A0AA69E76180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756b10440f8ac561f6ca550e3fee0834d7a2bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3498480,"id":"Q3498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$70C10089-87B2-486D-9DC1-A440EE29D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$A7C2976B-E1BD-4885-AF6F-B1E578487F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486a82a79f03043a3d1041176e0690892eebeabb","datavalue":{"value":{"entity-type":"item","numeric-id":3081323,"id":"Q3081323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$89279909-7579-4499-92B0-F9F2D6F5972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557fadf414f598215e29d273290aaba4974d3444","datavalue":{"value":{"entity-type":"item","numeric-id":5432350,"id":"Q5432350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$ABFAF471-417B-4E9A-8475-4E1589FF32DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089024$9FF27B28-9B82-405D-A92E-307AF779453F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8ec83c5b55d61e99b47b69512da35c67bac731d","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089024$BD9CC2BF-4434-4B02-BE48-61D0CCF0D384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32490f9dc8a05c35bab1419d24ea0cce5d074e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5145330,"id":"Q5145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09631586bdfe7ab406031287181a3dbc086bda9b","datavalue":{"value":{"amount":"+0.8863449096679688","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":"Q5089024$1507B832-7DA5-4708-AFF1-8BB88EA8FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad09151a507de0b175b965312cc62f34dad9b60","datavalue":{"value":{"amount":"+0.838672399520874","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":"Q5089024$596F4C20-6286-4120-8EFC-C3A53DDAE631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3642b387acb986c82e51d1b620363535262471f7","datavalue":{"value":{"amount":"+0.8175029754638672","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":"Q5089024$3256F8D1-2A54-4265-9737-62DF620DD15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559c471dab7b512b2e086317475175e2674e3eb7","datavalue":{"value":{"amount":"+0.8002899289131165","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":"Q5089024$CD78DC68-4420-458B-AD93-23E60B1E6D61","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":"84301bd46a2e936938284eaa97292e8304d9ff58","datavalue":{"value":{"amount":"+0.7918462753295898","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":"Q5089024$494B6E10-7017-474E-B3A7-587C92817B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets for first-order additive linear logic","badges":[]}}}}}