{"entities":{"Q1128980":{"pageid":1139729,"ns":120,"title":"Item:Q1128980","lastrevid":46850769,"modified":"2025-12-25T17:32:15Z","type":"item","id":"Q1128980","labels":{"en":{"language":"en","value":"A theory of implementation and refinement in timed Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190138"}},"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":"Q1128980$D0939389-5C70-4A0F-8130-C0554F88582B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92c896bf26e399bee56244e6e838c4b7f9c7d768","datavalue":{"value":{"text":"A theory of implementation and refinement in timed Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1128980$0AD11B1C-BE30-4323-8576-2630362CBAD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5614f65579473eb3301de81882781dbc2120ff","datavalue":{"value":"0902.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128980$4DE368D8-C21B-4051-90D2-A01792A282AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e36146926fe2a46e98ddc45cc5228dddca0734ca","datavalue":{"value":"10.1016/S0304-3975(97)00078-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128980$F305E997-CE24-46F5-BB06-51F1B20A4556","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4c07aa7df361e9e64e4b3fc5cd62f674a0a4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1128979,"id":"Q1128979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$40528CAC-86FC-425C-A782-EB95361CF77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"201360473ac69a591338840b45d221a3a57fc184","datavalue":{"value":{"entity-type":"item","numeric-id":616855,"id":"Q616855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$F965ACEF-0D21-4E9A-8E83-D84412CD3A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef94de4ba8722c9929436fa8de2168bdb5d0b57","datavalue":{"value":{"entity-type":"item","numeric-id":383725,"id":"Q383725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$B312C103-CB5C-4002-8954-168237D7D5D6","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":"Q1128980$DDDFF276-6273-4A90-8619-97A7BBE912C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1128980$621746B3-8346-469E-8810-47BC3DB7D768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128980$0F730EFC-1BEF-4867-992A-03C9D3EC768A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7742b356bf4fccf8b2e5e030ccb0662a85c1d87","datavalue":{"value":"1190138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128980$C0977C18-7B62-42EC-9C80-BCFF73E79BAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3641d67aa9409aec2cfd3ec34bf67677960d72c4","datavalue":{"value":"timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$B598932A-42B8-45A2-9000-2FB4F96B39C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$80119631-C1DF-479C-A70C-058A0FC3F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$6A24BB10-EAE8-43D9-95A6-B9EFE65E04E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e60194eeedb540a4f737427dfab79d4803ece6f","datavalue":{"value":"real-time and reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$BEFBAC95-F2CF-4669-9C0E-37549C0BDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229ab8ddd187a7f37cfe7db6e6ef38bd5a138dc2","datavalue":{"value":"requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$C9BD5420-25BC-40CA-B648-A70D41855344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$43A9F33D-CA9F-4FD6-A584-DDCF9866C677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$756B306C-4DA0-4B44-A65D-569DA67B69D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$8AD39D04-90E0-48E1-A872-005A1FA206AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$79FFE21E-E667-4AF3-8B30-AEB2C64F03F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128980$0B37CCA0-4EB4-48F4-857D-001705AF4227","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":"Q1128980$CF055B6F-946E-4DB7-93D5-6E0F3C9A338C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$A82061C1-8F64-4DC1-AE4B-C6EAA10D3A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$BF666012-4417-4743-905C-68513E7B060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$61FC7A26-4578-40DC-B19A-C2E3DFD8530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f034edad928f92ca79ea6d707abc8d74835a4c","datavalue":{"value":{"entity-type":"item","numeric-id":4518434,"id":"Q4518434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$933F1D70-0BE9-40B4-9333-DF6639946429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4f444d20239bfb49965fc6b42d945f723708ae","datavalue":{"value":{"entity-type":"item","numeric-id":4293540,"id":"Q4293540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$ED3BC246-52CA-4C01-84BA-7E78B6451666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac655e7ef5654e5e33e200103ca3725f76442b3","datavalue":{"value":{"entity-type":"item","numeric-id":1200918,"id":"Q1200918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$5F6EDDC7-3303-4D0A-A93A-EB589A43433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$E156838B-3227-401C-B5F8-FF0ADFB0BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$2D592A6C-EBB2-4D0A-8F4A-C534D0859F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edd80a21d9c93678962faebfac0d00ce3880751","datavalue":{"value":{"entity-type":"item","numeric-id":3738569,"id":"Q3738569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$21CAF396-3A28-4F80-8CBC-E8C395B57C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5007ab9c32bf580f8fd9174eb22767a4264f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$D89E4A0B-16CC-4FEB-9528-2C9A9EBDB24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$37BF3CF2-292D-43D1-846B-5C7B941DC65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$0A5A5967-A394-4903-9E71-D7CA4611B40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc185177e28d994f8be6138e0d39e30fa75870","datavalue":{"value":{"entity-type":"item","numeric-id":1255320,"id":"Q1255320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$D91AA699-CB5A-4EEB-ACD2-59821A711088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d4343b6eac471329b6a06e8c12f423e7947de8","datavalue":{"value":{"entity-type":"item","numeric-id":3785958,"id":"Q3785958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$9F6AC33C-A205-4E8D-805D-EABA3F4E5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96d7939cc562b3c2695af632a5fc66fc4e28873","datavalue":{"value":{"entity-type":"item","numeric-id":3355248,"id":"Q3355248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$6A418CA8-ADAD-464D-9C6D-1E4D3E14FF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128980$062C038D-EA0B-4E03-AF91-8B0DC4F1096C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"772ed61c014af8fee21adcfdeae9144bd1b80c45","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00078-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1128980$855DFCD8-209D-4453-B575-87D995F4D976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea74e15a4213f3057398fb20f4be62c7bfc3de03","datavalue":{"value":"W2126134153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128980$8527B2CA-1FD9-46E7-B2FD-84D67FF25F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18c799948ea44f5afa5552832eeae25a53587dc","datavalue":{"value":{"entity-type":"item","numeric-id":4518434,"id":"Q4518434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2c954fcca9ae2196711d8dbbd13134c7f5d41e","datavalue":{"value":{"amount":"+0.9793151021003724","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":"Q1128980$F2866A57-8CB7-487C-8B87-AC6B9F3BBFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa949ffce3db0dd8a8ce9b6d079b734547a41a6","datavalue":{"value":{"amount":"+0.8011583089828491","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":"Q1128980$7D28A44B-ED78-4479-A6F2-52EBB5E0D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575aaebd115d48e12c4d21c7028fb408b8456880","datavalue":{"value":{"amount":"+0.7982432246208191","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":"Q1128980$0955DFCC-B533-4A72-BF62-CECBBC446283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0398bb42b3568d2f454a8583b5ba66446c6b8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4934360,"id":"Q4934360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa74a73b6b08da43b233569facec9565e073c818","datavalue":{"value":{"amount":"+0.7942184805870056","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":"Q1128980$9C643750-3CCF-42B8-8DF6-97D233F8E9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278f98972fccbc7aac9e7a0cb23ecb010b0df0f0","datavalue":{"value":{"amount":"+0.787099301815033","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":"Q1128980$DD9BB22E-1F9F-4072-86B5-8AEB9E415CB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1128980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1128980"}}}}}