{"entities":{"Q4630293":{"pageid":6659875,"ns":120,"title":"Item:Q4630293","lastrevid":53402192,"modified":"2026-01-24T21:53:34Z","type":"item","id":"Q4630293","labels":{"en":{"language":"en","value":"Temporal logic and categories of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045144"}},"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":"Q4630293$B9D4C593-7E56-4DB4-9B3D-100C8D69D7C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64189e8bbfc8fbc0f4810bbf2428f9e629169889","datavalue":{"value":{"text":"Temporal logic and categories of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630293$26A64A3F-C937-4A00-97D9-09F558F8AECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82f8fc5c1bd9c02f7e1e1f8bb2593929a5e4f341","datavalue":{"value":"1418.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$262B343F-7536-4C30-A286-F9AED2B15D1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe296437146a995f859a016331749c84a08eb8b6","datavalue":{"value":"10.1007/3-540-56939-1_103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$6DB94984-D0E9-452E-8ECA-6673D5963DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea4b6d8dd83361e4edf1fd2af288113210dc5b2","datavalue":{"value":{"entity-type":"item","numeric-id":1208237,"id":"Q1208237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$AFA59AD3-3B2D-4E03-A10C-B026E10210F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"367c912e7ce81c7cfe5cb84d1dcad42bb2bd2352","datavalue":{"value":{"entity-type":"item","numeric-id":1208238,"id":"Q1208238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$D4E766AD-6986-4439-A624-CBB1DB6C2FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$6D530935-98E2-4B92-9A68-54B6C645D3C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-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":"Q4630293$934936CF-DE08-4356-9B9C-FAF5EA9FD749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$46FB76C5-DC92-4E7B-9E70-DEFDDD57345A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$48D19F70-9B3B-47BF-8B66-ADC78BEB283B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff396f8464c73ac36bc7adf9a3db080307c6a96","datavalue":{"value":"7045144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$E5413B3B-B2DC-468D-A0EB-24F62985956F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630293$2D007D33-90EA-48EB-8F52-6A6D24B92551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630293$F11F0C60-54B5-46FB-ACDC-AFCFA2A42BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630293$2EFFA2DF-E46A-4774-AA1C-0AC12060D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ca9e8f6f85db0c4e16d1f128b57f213192f250","datavalue":{"value":"safety property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630293$3D308D0E-9834-405B-B377-BA607507B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc08c3ce20acc1c75c96e797ecf3249f8d5ab9be","datavalue":{"value":"modal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630293$1CDCC74E-2042-4DD7-B2C0-0A713609F8D6","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":"Q4630293$BB1062A9-233D-412D-9573-C049C66063FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2354a47a0ece9aa20b56db5c7546c15c88caab5e","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630293$B2509F7E-83DD-4E37-943A-01261FB9369E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca83cef51ba544adc639df7c180486e92ff0a5b9","datavalue":{"value":"W1512033214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630293$E6342CCE-C602-49E5-AD19-C700C3FA4D1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c657f64cb04d23c3481d9e8fcddc3fcde2626cf","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$ED41F4E3-2F80-4A67-814F-C49C30759C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abfb4168e11933ccc851a57c47e68e9bd2108f11","datavalue":{"value":{"entity-type":"item","numeric-id":5204348,"id":"Q5204348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$820DB17E-0E28-4295-8469-BD7C53CF98AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$A215905F-3C59-490D-93B0-0B6FA10D4B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$214C6B7B-8EB0-4B7A-B585-7B137174A6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$5F1E90C8-1A10-4333-90E9-B598902C5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630293$1E1A89CF-B79A-4BEC-816F-68ED494FA413","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb4ae902db54d9b30fb74c9e3de44651650fd95","datavalue":{"value":{"entity-type":"item","numeric-id":805257,"id":"Q805257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d1f6e695636fb473847e3e863680371afe08bd","datavalue":{"value":{"amount":"+0.8050789833068848","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":"Q4630293$0C3AB631-EF09-4EE5-904F-EDB1279A2F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df367d4fb2212a5c84f060999bbd8edaaa650f38","datavalue":{"value":{"entity-type":"item","numeric-id":5204348,"id":"Q5204348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff23086309d65f9702215c7c9ff2d0d5a7a135e9","datavalue":{"value":{"amount":"+0.8047435283660889","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":"Q4630293$DCAA4DE9-77EB-492E-9663-E5F150D34D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640dc3a06f7f623e807404ffd4e9499190243795","datavalue":{"value":{"entity-type":"item","numeric-id":3751021,"id":"Q3751021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81717af55ab3508273be467f3a31cd60cf75e499","datavalue":{"value":{"amount":"+0.8025259375572205","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":"Q4630293$4B19E4A8-2783-46BC-A9E4-57C45C8AEC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aed83482be9ccd020305a3ac010341f881aa82d","datavalue":{"value":{"entity-type":"item","numeric-id":6487374,"id":"Q6487374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3311a97d975f377061ba40b5ed64dffd20dcb59","datavalue":{"value":{"amount":"+0.7884142994880676","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":"Q4630293$241527D0-AAA5-41D7-A242-3CD46373788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea1b700e2b0ec284302ab966969f2d1d14b8993","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c41f10146a23667f2c363b61ef71b3b35cdf382","datavalue":{"value":{"amount":"+0.7864990234375","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":"Q4630293$2643DEF2-3013-4BA9-A896-BF7248A626FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630293"}}}}}