{"entities":{"Q2715877":{"pageid":2726616,"ns":120,"title":"Item:Q2715877","lastrevid":82966043,"modified":"2026-05-06T22:33:41Z","type":"item","id":"Q2715877","labels":{"en":{"language":"en","value":"Linear logic based calculi for object Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1600639"}},"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":"Q2715877$656EFF3C-1425-42CC-A54E-499EE93457E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdc438e6dffaa151197be10cd8280ee1979c5c75","datavalue":{"value":"0979.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715877$B43EC611-11AC-4602-8F07-E9D3EA531DD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f70139ae293ddeae039d04bfa93e219a2c5a3abb","datavalue":{"value":{"entity-type":"item","numeric-id":2715876,"id":"Q2715876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715877$E9B0A0F3-B23E-456A-B79C-80E023AB56E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e7044733408cd7fa759518d10aba229d93299ca","datavalue":{"value":{"time":"+2001-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715877$A68DA146-9625-4361-BAF4-48A516AE3F27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715877$BFF5BD0A-691F-4A83-BF8C-277D73C66ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715877$B99F670A-48E9-4C4F-B2BB-D7D7B04B2D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715877$B7FA2361-C3DC-4997-A0E0-8D55D34A2348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"018221981bfc2ca2c8da31b54fe8302ab0748fbe","datavalue":{"value":"1600639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715877$9A1B6372-3D5F-4223-AFC2-CA2352A461AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$CBF5C33A-B0BD-4E12-AFC2-C11E68848AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3c05f8502cb098d59fe8c6727908cb9f561366","datavalue":{"value":"place/transition nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$691BE1DD-5168-4AED-BC3A-DA4B96CAADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$C95E6B04-76F7-4051-B416-FE801B2327A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c826a5780d22d9a174de51c3a633554aea0a5","datavalue":{"value":"coloured Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$84E786B7-BE4B-46D8-B1CC-0E68EFC114B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d8d44d0cb35fea40bb990c4f9c58a3fd1ec63d","datavalue":{"value":"object Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$A8E4AE85-6C91-46CC-AB83-924D3D16480C","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":"Q2715877$7C2A4906-7B84-42F6-8EA3-D7F38574C74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf8c97147b9936f329dec76286a7ec626526a81","datavalue":{"value":{"entity-type":"item","numeric-id":4264233,"id":"Q4264233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d0e97a6b8d18df7035fd1ef41bcdafc6c216ad","datavalue":{"value":{"amount":"+0.96277744","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":"Q2715877$98FBEDD6-CE71-498C-A238-7BE353E8F5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ca8ef77b47041f1862bf1e45a75079d16ee5c0","datavalue":{"value":{"entity-type":"item","numeric-id":4498038,"id":"Q4498038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea28808e64f025605aa4266011e338fb35e0cb4","datavalue":{"value":{"amount":"+0.93095815","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":"Q2715877$3C21C6BF-9F2B-4656-98AA-EAAAABC141D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ad6bc08dd970785cf658eb046639b76bd87cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f18c70bb5b6a8e7bccdac772100b179789291ad","datavalue":{"value":{"amount":"+0.91261786","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":"Q2715877$B4038063-9E4C-4774-8610-12E1003D27E5","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":"17f9e20de2040bcc59eff4c153936d81a0670646","datavalue":{"value":{"amount":"+0.90916383","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":"Q2715877$20A184E2-3CA7-4994-973D-00CE461084F5","rank":"normal"},{"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":"17f9e20de2040bcc59eff4c153936d81a0670646","datavalue":{"value":{"amount":"+0.90916383","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":"Q2715877$C02A01B9-BE24-421B-95F5-7DD887C24303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9f38bed8f6e251d651df4d4200a5f589e8dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4507814,"id":"Q4507814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816de2130f7201e5c3e08e4587d9f041290f3dc3","datavalue":{"value":{"amount":"+0.9010834","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":"Q2715877$4BD88E51-8FD1-42F2-AAC3-314E930E063A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c841724fa813bce89482a6fe7f7ad45c030d218","datavalue":{"value":{"entity-type":"item","numeric-id":2743640,"id":"Q2743640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe4a857d3cf58461585700ecbaedf8ef1dfd306","datavalue":{"value":{"amount":"+0.90094316","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":"Q2715877$BA586DB5-C467-491E-8CB5-FEE8B0108246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dbe36c91c42d4232064bbef7e938668da518b9","datavalue":{"value":{"entity-type":"item","numeric-id":1361243,"id":"Q1361243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8c193057bd01ae0916fb16415314a44f17ea1d","datavalue":{"value":{"amount":"+0.89637655","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":"Q2715877$9726105C-7189-4AB7-B7E8-CFD40D3E0717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728360e4b4cf7e280f683528938063c9cfdcf6e0","datavalue":{"value":{"entity-type":"item","numeric-id":4952027,"id":"Q4952027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53851677c6bd4e99275c826f6c3c4815bbadc924","datavalue":{"value":{"amount":"+0.89129555","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":"Q2715877$478F7261-8B09-429D-9158-CD466E5857F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ec6a1b6caa0ca50578ac89ee4f4f22bffed202","datavalue":{"value":{"entity-type":"item","numeric-id":1083861,"id":"Q1083861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff52fe83851aa6570b6c735c26853bdeba701c7f","datavalue":{"value":{"amount":"+0.89099663","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":"Q2715877$6A64B9F6-9522-4A3C-9F9D-A5242FE34A5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c928d2693134912a2fd70a6e856d0f51aa62663a","datavalue":{"value":{"text":"Linear logic based calculi for object Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715877$63F135AA-DE98-46DB-BDAF-EAB7BFEBA80F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"365dbf67199e3b9279c133fc59b12ee2d074d608","datavalue":{"value":"After a short introduction the second chapter contains some basic notions and definitions (Petri nets and linear logic). The third chapter is devoted to a linear logic representation of place/transition nets and the next chapter to a linear logic representation of coloured Petri nets. Linear logic Petri nets are introduced in chapter 5. The next chapter deals with linear logic Petri nets and object Petri nets. Chapter 7 presents some results on object systems. Chapter 8 is devoted to interpretations of linear logic connectives by Petri nets and the next chapter to structural modifications of place/transition nets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715877$EB32B72B-1712-40A6-B66D-AC3B5F1F75C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715877$FFB7BDEA-9E91-40F8-B008-FFEB999270B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic based calculi for object Petri nets","badges":[]}}}}}