{"entities":{"Q1583245":{"pageid":1593985,"ns":120,"title":"Item:Q1583245","lastrevid":43226795,"modified":"2025-07-22T14:01:27Z","type":"item","id":"Q1583245","labels":{"en":{"language":"en","value":"Interaction nets for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521728"}},"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":"Q1583245$9FF88492-B575-493E-83EE-3CCE67B76C76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a93302e22512e49d26a3e94e43464749f9ab3ea","datavalue":{"value":{"text":"Interaction nets for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583245$06C27738-3632-4926-BD78-19C15B27D17F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"106871bc9d0e494654d30a7c04d96da3558e7d3b","datavalue":{"value":"0954.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$956018D4-83E2-4493-BED4-0BCD16C4512C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"475f3a83bce81c6a571516e2ad3c6ead0dfe2016","datavalue":{"value":"10.1016/S0304-3975(00)00198-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$10FFAB29-5FDB-464A-B5E9-4715C481220B","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":"Q1583245$746F52D6-BCE6-47D8-9F48-E8A17E843D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-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":"Q1583245$A55815E8-13D1-4E3F-9A9D-E8AAC96822A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$550101A6-AF13-428E-BAA2-8375400AFE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$A6494CBD-794B-40ED-A654-CB14DB2133FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$F7FD9934-04BA-4118-9A40-BADF0348987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$BC571692-1EEE-4F51-A05F-95B1117D1578","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d77b626184d6aa3a84a3a3dbeaa6ac2b558dacf","datavalue":{"value":"1521728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583245$CC32D068-A6C1-4F9D-BD79-3B89C63E48C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583245$72D1A8E4-80C5-4D3D-8ADC-47E00D1D33A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583245$7AF4B66B-21DC-4FAA-94A9-873820E27B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d3f33dba07f2ecf13943d6d4dff8b86dbe50f9","datavalue":{"value":"interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583245$B74811BA-5419-48B7-B3B1-FC8F470040F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f995a49901a6080f874a6373fdba49871c08bcbc","datavalue":{"value":"local computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583245$44954E88-95BC-4AE2-A2AC-C023F90BB53A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a04798673cdee8e131074b158bbd965428ba13b","datavalue":{"value":{"entity-type":"item","numeric-id":656850,"id":"Q656850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$15AA12E4-78FF-4B64-8C91-5D65E6AB644A","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":"Q1583245$8988A779-530C-48E1-88A8-BE9BF6AEC242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"477498c9b0f4eb04e17b21d45cc402bd00036414","datavalue":{"value":{"entity-type":"item","numeric-id":4339015,"id":"Q4339015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$8CA05566-1DB5-49FC-B410-CABA9CC06BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$56C9E8FE-DAD9-4F66-9008-2FD672223DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f21a731aa2da2729ec364f9c38193a545bb806","datavalue":{"value":{"entity-type":"item","numeric-id":1389438,"id":"Q1389438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$4D5EECE1-C299-464D-B877-207DE1AF71F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e22e683cb5b7b0a3996fe3c300b9d445d6fc897","datavalue":{"value":{"entity-type":"item","numeric-id":4494368,"id":"Q4494368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$4919E8C2-1C75-4C79-B6FB-94ED2F988669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a0f5a9e419a456b6013c123bd63dd22f53381b","datavalue":{"value":{"entity-type":"item","numeric-id":4870807,"id":"Q4870807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$5611FFFC-EA8A-4685-AD75-6C0378570BC2","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":"Q1583245$54B2F7C1-99A5-473E-A33B-72234AB93A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66b4beb0ed762fcc649b47c4f4a11b623a7f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":1801274,"id":"Q1801274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$77ED964D-82E9-48F9-B3F7-D2FE9E738974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d96665670ba04fa010c756d53babdec44ea88","datavalue":{"value":{"entity-type":"item","numeric-id":4842981,"id":"Q4842981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$C1328B31-77F0-4360-8C30-1BFA16FDE22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$8021AF7E-62F4-4DBC-B735-FDCBC005CAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$421726CC-2DC2-439C-8ECF-976A62E7F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46547e73c4384ee7abaa2b5b9f48db501cfa8b62","datavalue":{"value":{"entity-type":"item","numeric-id":1368381,"id":"Q1368381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$6284D7B3-923A-4EE9-A68A-CA92B617A859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a5c769c2f9770f0d1b4bcfd2f15a27a8f56855","datavalue":{"value":{"entity-type":"item","numeric-id":4314949,"id":"Q4314949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$C2485C02-1DDE-4686-9B5C-04BBA05BC6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba299e3b7a8cc1a48635fa05f535f676d61017c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348892,"id":"Q5348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$C7606B39-2AA8-4BB6-B6A5-072F1F660ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583245$E89E003C-7CD6-49B9-AB66-CF89CEDB9AC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4ce530e7af5378bfba5d9ec14b984ef2c2f070","datavalue":{"value":{"entity-type":"item","numeric-id":1854547,"id":"Q1854547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1bc5aeaa710146560ca70bc923b756009436c0","datavalue":{"value":{"amount":"+0.9080901","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":"Q1583245$43131C4D-F30C-47AE-99F0-EDFDF6498AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27266d6050f683f4551f1a524e36358dc6e64e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1919758,"id":"Q1919758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bf3811d72a08b24cfdff9c82f90a3a6cd212d6","datavalue":{"value":{"amount":"+0.8978225","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":"Q1583245$B22C45DE-3808-4CB7-A054-3BB6AAFDE3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aacc60a69f398c6b4153485844012c2ea6459ff","datavalue":{"value":{"entity-type":"item","numeric-id":1389438,"id":"Q1389438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf6ece2cde212bcda5c11de5e57bb3f6f3dfda6","datavalue":{"value":{"amount":"+0.893445","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":"Q1583245$B766069D-8A54-4F65-9A80-A772906415C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c8d229f83a469f31d62bdeff4be47bdf7985fa","datavalue":{"value":{"entity-type":"item","numeric-id":4635900,"id":"Q4635900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6246dde7ede71d35b4e167f322acc2bb04e45964","datavalue":{"value":{"amount":"+0.89240265","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":"Q1583245$3E60CAC9-94B1-4961-B80A-CD20A388A41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b884d605bb5a85adadcd73bca8423354979e663","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d48cde04e2ec1dfe2192472dc7263235b57f459","datavalue":{"value":{"amount":"+0.89002484","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":"Q1583245$E00F081B-0436-4C6C-950D-5112CFC122A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6657da8c5faa934971f20db3d09961dcf0716","datavalue":{"value":{"entity-type":"item","numeric-id":4993336,"id":"Q4993336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e1c42d0259c7911bd81a146ec69ff136e457fd","datavalue":{"value":{"amount":"+0.88785064","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":"Q1583245$B0878E23-616A-4DBD-8E0A-D6319503E366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ec7daa9d35d0423ac6a775faf8788d40cdd33d","datavalue":{"value":{"entity-type":"item","numeric-id":4494368,"id":"Q4494368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d477251dd1e77b021cc2f1af684dad1458d0540f","datavalue":{"value":{"amount":"+0.88474894","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":"Q1583245$478B4E18-9DB0-480C-9648-C38886195B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331600552a4285b1a8d092676e1d476d7a6b894","datavalue":{"value":{"entity-type":"item","numeric-id":4870807,"id":"Q4870807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28e638e758389155b8e1c408c85d430da86c152","datavalue":{"value":{"amount":"+0.87844086","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":"Q1583245$66F870CD-B864-4B97-91B5-9E89B5D10FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5008e4a090f5a42fe3358b9a75b8809dad77284","datavalue":{"value":{"entity-type":"item","numeric-id":5902126,"id":"Q5902126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35698b7bbe0e6ce5c43e001dfe62a9ed34485c4a","datavalue":{"value":{"amount":"+0.8758251","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":"Q1583245$595176E8-5019-4A8B-9DE8-D7908074F902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3dee8c00592bea008e32a8f4b3795627540f738","datavalue":{"value":{"entity-type":"item","numeric-id":5894003,"id":"Q5894003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35698b7bbe0e6ce5c43e001dfe62a9ed34485c4a","datavalue":{"value":{"amount":"+0.8758251","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":"Q1583245$6F8F8396-AAD8-4093-8162-86EF778A5CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1583245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1583245"}}}}}