{"entities":{"Q2743640":{"pageid":2754379,"ns":120,"title":"Item:Q2743640","lastrevid":47675929,"modified":"2026-01-02T09:57:05Z","type":"item","id":"Q2743640","labels":{"en":{"language":"en","value":"The completeness of linear logic for Petri net models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652329"}},"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":"Q2743640$107CE8BF-E7B3-4EEB-BEFA-000D96E8C3DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e40da8ad77e959b6f1fd78fc904a25e7ca0f96f","datavalue":{"value":{"text":"The completeness of linear logic for Petri net models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743640$86AB66E1-1F5D-4A8D-ABEB-E30E046FD023","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b2ecccdcde2c6edc7edafc9a17685c3e59fa03","datavalue":{"value":"0980.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$AC9D878F-942E-496D-987E-4C49D79C4D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7d8370fb4be64c5c6190607f49b26e6fc32998","datavalue":{"value":{"entity-type":"item","numeric-id":2743639,"id":"Q2743639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743640$74F1BDA5-5F09-4293-B375-06AAB2B22DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5149aa1b558725100c1181f703d354fb9572f","datavalue":{"value":{"entity-type":"item","numeric-id":202269,"id":"Q202269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743640$EFA2FD24-8DCA-4744-A7DA-F26848128DFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa76be71329d496ea48ff062925abe90ad740965","datavalue":{"value":{"time":"+2002-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743640$6E6604AA-B5CE-4B1A-A83D-637BFC63F707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$E7DCB380-91D6-44E9-8179-55B50B23F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$358D1E19-73D0-4399-96FC-E425797358B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$85B6AD28-EFF2-4B14-A953-BAE186EE9FED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d32ba61fe10fa1d9f3726312de6cce22d6cc1ed","datavalue":{"value":"1652329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$000D5092-D9DA-406C-96DB-6BE91F7962EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$D0A9A6D8-B08B-4D7F-B7FD-3F6F154C84A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$B88C44C0-36A0-49DC-8564-8AF4EF358D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$5FDCC786-9BC7-47AC-BC4D-68ED82B1B087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c425f5ccb8d5f17195250a98b99b073e08ee797","datavalue":{"value":"nondistributive quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$002725EC-F64D-4CA3-8E3E-9BDDAB219026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d51bb5e6e3931414ad494a98c93cee122fa6dca5","datavalue":{"value":"closure operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$D4525E52-BF3A-46B9-9B1C-1FDF8C5412E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421438df799a8f4e9011afb54bdadfa916edb4f1","datavalue":{"value":"exponential","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743640$E6D51F44-4348-4223-BE18-F225E1882916","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":"Q2743640$FECABD6F-5278-4DED-A7F6-A1F79CC24331","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2081682756a12f798f6e775957ddd93edac5dcb8","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.4.549","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743640$96DE5869-323A-4DA6-9B24-B9127037FE32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1beaec93a24d1b0d5194a2690c3cc3e1e3f4d4f8","datavalue":{"value":"W2013323317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$33BFA409-3F6C-4DBF-94A4-9E31ACB78792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d068203228e392e80800b6e2bac7698a4315308","datavalue":{"value":"10.1093/JIGPAL/9.4.549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743640$1DE257B7-131B-4ECD-8AF4-8A5C79AE22CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743640$F2985F30-02A2-4E3F-8194-F0E097FFE3E7","rank":"normal"}],"P1643":[{"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":"2c53065e151d54707a86e978685493dab5d15594","datavalue":{"value":{"amount":"+0.9299644231796264","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":"Q2743640$77077D41-D48E-46E9-89F8-05B506738746","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":"84e418fe030db0c8a6181b78b0e81e8f72325174","datavalue":{"value":{"amount":"+0.8269220590591431","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":"Q2743640$A5E21CEF-0D0F-4720-ABA6-1B43297BEAB6","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":"6aeed45723ca0a7a94d0458bdb0a5a9e0b4c8b0a","datavalue":{"value":{"amount":"+0.8231558203697205","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":"Q2743640$F47E717C-302D-4BFE-8776-931CD50DBC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3827f6aec01094f6ad225813db12ca4b1d00a6b","datavalue":{"value":{"amount":"+0.8226902484893799","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":"Q2743640$C6AB46E4-9572-4D6F-AD11-CA86DC3929AC","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":"b4d8d0b61b4303c08a11e71af43b0e985dc7444b","datavalue":{"value":{"amount":"+0.8174775242805481","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":"Q2743640$1C0AA256-A633-4F81-894E-BB5B779FBDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743640"}}}}}