{"entities":{"Q557805":{"pageid":559572,"ns":120,"title":"Item:Q557805","lastrevid":48508060,"modified":"2026-01-05T01:26:50Z","type":"item","id":"Q557805","labels":{"en":{"language":"en","value":"A translation of \\(\\text{TPAL}_{p}\\) into a class of timed-probabilistic Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184044"}},"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":"Q557805$2854CA68-17F5-4FC1-83E2-CF850A5606ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9031c1e9e0018274cb3dafcb93143ed37b279a67","datavalue":{"value":{"text":"A translation of \\(\\text{TPAL}_{p}\\) into a class of timed-probabilistic Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557805$10EAE542-37C0-491B-931A-ED91E4777614","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e152cb5a33c3622b69a33f87ab7b9219794f45a3","datavalue":{"value":"1068.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$D5EAA2C2-1163-43E6-B2D1-3D2EF586F8A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661a86bf0379a0f7af26065b6b26dc6918f17457","datavalue":{"value":{"entity-type":"item","numeric-id":557803,"id":"Q557803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$AC770656-4B1C-42D5-B629-7E6E3FA7BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3cf3b62d4eb297329967a86da54bd015bf32a0","datavalue":{"value":{"entity-type":"item","numeric-id":557804,"id":"Q557804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$8180431A-8A43-427E-9E5B-7E7106774793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$968569D0-77B0-4AAB-8C03-D5176FB5CCC2","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":"Q557805$16EF3DC8-157D-4640-A7FF-1087B212C79B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557805$D5EEAB3A-BF5B-4CCC-9845-657FA8D1CFCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$965FD6A7-5570-4BE8-8D3B-2F1F05F3BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$F438E4E5-F691-42FC-8932-BB0F9AC92C82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec7ad9cc8c55f7208872efc3bbecb7c7b2af56ab","datavalue":{"value":"2184044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$1FE44669-7975-49D6-8392-AADD372CABB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q557805$4F4637CE-B434-4736-BB59-8E4FB72893CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005651fbfe3afebe8b3d223142c09b3cb39b1f84","datavalue":{"value":"Software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q557805$188F4EAC-D80A-4D88-B723-FBD540D1E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9fee4e1fd3c0f0e1517006cd5d76ec3904b359","datavalue":{"value":"Concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q557805$D13C01A5-486A-4D4F-9EA1-C91482B7A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q557805$DF162FB5-77D3-4E01-A2E3-90704C6C5597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7125c936e18ed8d5fabb0e854bd16c00e79f7ba","datavalue":{"value":"Timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q557805$883A5DE3-3C11-4992-B8B3-6EC4950CE22E","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":"Q557805$7FEDC7DF-BE78-45F1-B712-1057C9BA8ECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"554126eaf9103fa3ecbf3a17e156e12b8358995e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q557805$A0FFEEEF-8DC9-4D0B-8D07-33DD57EBDECD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f25ce783ca4c5d6600254f101cbe66afdfa9076","datavalue":{"value":"W2063239786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$444FFCC2-A63D-4693-A8FC-FE5A5CBB236A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff983d5d474e50f5bb47f576a27b613ca840f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$47DD89E6-DC20-4DDE-9605-DB6FBC9C9D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a8c3b891d69381d6dcd5f3c5faa720f230de04","datavalue":{"value":{"entity-type":"item","numeric-id":2767184,"id":"Q2767184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$07EBAB45-A634-4176-9068-5A08C6902F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$97450857-3971-47DB-A40F-15A56EE4B3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$F8F55973-C41B-44D6-80FA-29BEA319420E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$6179D3D2-9581-4BF6-8EC0-A33176C28BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda40cac342e87132cfd635691d9fe3d6e0d21d8","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$86A4C458-22E7-4DEE-A327-EB15CFDC3805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34320f6390e9911ab04f91c491881136dab1de53","datavalue":{"value":{"entity-type":"item","numeric-id":5754515,"id":"Q5754515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$BC72FE41-FE2C-41AD-837C-027F68CC3575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9798bd83e5f6c6bd56b8e287dde8bd092b3c88c","datavalue":{"value":{"entity-type":"item","numeric-id":2766563,"id":"Q2766563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$91040791-420D-4302-8C47-B8C753E741B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$BDD2491D-39BF-411E-990C-2717FF27CB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$E1BCAECF-0101-4C12-B217-7B17462E3C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35d2576283a8506bcf986ef5a7d051a1bc54b13","datavalue":{"value":{"entity-type":"item","numeric-id":4028618,"id":"Q4028618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$C0885349-342C-4F2E-8A9F-57A033E1F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$D948F26B-83CA-4F53-B4D3-5ABC587BE8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$454BD278-90E6-4697-AEC1-B8353BBA54EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$70F17266-45F1-462C-9413-02D85E4100C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d070117b2c9c319216e3f2327ad68f98f04cdf4","datavalue":{"value":{"entity-type":"item","numeric-id":1261314,"id":"Q1261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$9178BD80-098C-4B73-9025-A1AD6D67DD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$CDE27CC3-B03D-4370-8171-782DD5423675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$CDB59FE5-5560-49EB-874E-D32B5779491F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4944133b48c01cd18c02606506777f314d72536e","datavalue":{"value":{"entity-type":"item","numeric-id":4000457,"id":"Q4000457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557805$CB9181A1-16E7-4B9E-9BC1-2CC623A1EF20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3e90bfa1deee9ad59934f4d65bf95722d4d84ea","datavalue":{"value":"10.1016/J.TCS.2005.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557805$49836928-724F-4E2F-8B27-AC47AE290EC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa8174d1ef4a65a98037779bea446a52b149b14","datavalue":{"value":{"entity-type":"item","numeric-id":3045274,"id":"Q3045274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d536b106d7b32c4146e74bf3d3a3ce24b6f57f","datavalue":{"value":{"amount":"+0.8168739676475525","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":"Q557805$43129325-2A00-43BB-8664-0BEBBC292482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cf4e07dc7234f03b47447521843638c9939afe","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bdf0d3cb08e9c331699f8dfa859f3545c7cdc6","datavalue":{"value":{"amount":"+0.75959712266922","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":"Q557805$46DE8EE5-F776-4A9B-876A-F975F44B3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eef7f19ab99854090a3eec68c95db2405273e0","datavalue":{"value":{"entity-type":"item","numeric-id":2767184,"id":"Q2767184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec3dab944e3cf654697f8c14ca17f59adaa8920","datavalue":{"value":{"amount":"+0.758368968963623","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":"Q557805$0F1C862F-0D39-4F9F-956A-75001B36B2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abdda7425ff3a43cb4001d34bd96fb1ad36371b","datavalue":{"value":{"entity-type":"item","numeric-id":4763577,"id":"Q4763577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8269326e51236d81f4d70a06f1af9d2a5d51df2d","datavalue":{"value":{"amount":"+0.7554879784584045","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":"Q557805$62203FEA-E27B-47D4-A587-A5E5ECD95337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34fe4d287a703d33a22e621c21c2b7e23a06c188","datavalue":{"value":{"entity-type":"item","numeric-id":4028626,"id":"Q4028626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8269326e51236d81f4d70a06f1af9d2a5d51df2d","datavalue":{"value":{"amount":"+0.7554879784584045","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":"Q557805$230C0392-E67B-44F7-BBB5-FEF3E2B498AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:557805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:557805"}}}}}