{"entities":{"Q4016733":{"pageid":6046520,"ns":120,"title":"Item:Q4016733","lastrevid":55194223,"modified":"2026-02-04T16:07:38Z","type":"item","id":"Q4016733","labels":{"en":{"language":"en","value":"FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 89220"}},"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":"Q4016733$99C816BF-9860-4B9B-BA6A-71CC13BC6693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ce5d1693080dd899558a78a9dc498cc679227b","datavalue":{"value":{"text":"FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4016733$0ADF0C6C-7F0F-42CD-B84A-597A4CB0AD48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b566d58b9025b5c94727219a7a8598a8579de021","datavalue":{"value":"0766.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$818184D3-DEAF-4521-8E31-F443059F7229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"560642e44db54035ea6a4c3e341fe812e1819cd2","datavalue":{"value":"10.1142/S0129054191000182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$4184E09B-BF70-42DE-A1AC-DC7CD3A47DB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4016733$1598F0CB-A7DC-4858-91C7-F4B34BB44F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4016733$BE8232FB-3243-440B-9600-2E3E6132AE7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4016733$6D7447FC-988E-43F7-8E7C-6B1195A01509","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4016733$AEBB6069-F57B-4FF3-B237-1428E778C5B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$3966DD8D-97B9-4F44-AD6C-9B9109FDA9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$70C71E39-B705-47BF-AE67-239D9EEE36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$E4F858FF-7894-46D2-A446-7101876A3B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"602b11daf74f126515340e7b681a38c17c461c5b","datavalue":{"value":"89220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016733$F5E33E4B-16B4-45FA-8DD1-8CA5F9C3760E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$3C182A18-2CD1-45C2-8D57-E1E985188006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2757483db7063804eea8277a6e94835ec94f63","datavalue":{"value":"quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$7DB7B96E-8B21-4E93-86DA-C6B1B4E5BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$B2EDD2B6-AD16-44D6-9A86-B8FBA15DAA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$E4797DDB-0A3A-4EA8-B0F4-03CA985B043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86119fd6f867cd4715a269b5a27b2eb39c54d8b7","datavalue":{"value":"linear categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$F4D51E6D-181A-44E6-9E68-C1F86B6EAE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$CEB064C3-69CC-4423-A0EE-AAC029967E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5136bf34ee3677f88668acd9e13a5eb0761808a2","datavalue":{"value":"cancellative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016733$B57F78E8-AB5A-462A-997D-A0600F2E99F3","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":"Q4016733$31895C03-A45E-4C3B-8C02-30D14843890F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c114a88c9dd0cddc3a7e4d0818a8f79b64488","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145ff5a4cb005d446f17fa372b42184430e81721","datavalue":{"value":{"amount":"+0.868679404258728","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":"Q4016733$589FD5F3-6472-427A-AD12-365AEAF9534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f52f318300d131f4dd9a87f9e4e5b627685d516","datavalue":{"value":{"entity-type":"item","numeric-id":4713398,"id":"Q4713398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4deba2928cad9b12efeec9ac38fe85705e2d08","datavalue":{"value":{"amount":"+0.84663325548172","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":"Q4016733$FDFD11B8-3BC8-43CC-B5AF-2AD4EA8FBA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2738f5d9d125f9199147e57a323b42288e94f","datavalue":{"value":{"entity-type":"item","numeric-id":3975037,"id":"Q3975037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41db4e8f46847a543c3629953d26eb6529a1fed","datavalue":{"value":{"amount":"+0.8445296883583069","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":"Q4016733$D441B6A9-1F8E-4D52-B48F-28B3CCFD3EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab092b3ac30e77528473bf7ef103db191ec0aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1899147,"id":"Q1899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbaa121cc315d11dde40dae6b8570e640a925413","datavalue":{"value":{"amount":"+0.8155055046081543","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":"Q4016733$E5CB4316-7B1E-4554-913A-C47C77A29E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a04e5ee05e54a1805b6d35311859f174e26b66","datavalue":{"value":{"entity-type":"item","numeric-id":4490754,"id":"Q4490754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a913b8e3b2e75f7b7f60134d518e88a5d8b8e4","datavalue":{"value":{"amount":"+0.8128042817115784","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":"Q4016733$D9A9FE8E-FB78-406C-BE84-693C3F3AFEB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4016733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4016733"}}}}}