{"entities":{"Q856741":{"pageid":858589,"ns":120,"title":"Item:Q856741","lastrevid":42727938,"modified":"2025-07-09T15:06:17Z","type":"item","id":"Q856741","labels":{"en":{"language":"en","value":"Deriving protocol specifications from service specifications written as Predicate/Transition-nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5078777"}},"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":"Q856741$1C0B780A-C361-49DD-8436-B040E752F132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d32f9ce40d7b1766ee9df9a7f534fe43eea5e6","datavalue":{"value":{"text":"Deriving protocol specifications from service specifications written as Predicate/Transition-nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q856741$5DE2B005-CC07-4F79-961B-A25C831A3B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51cf4800d416f4ae7366e5c274bcea2323adf18b","datavalue":{"value":"1118.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856741$B5CF6D80-C660-42AC-BD9F-74FCFC880D16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79627a94676eeb6d19d66e40b9c60b58b4d86f08","datavalue":{"value":{"entity-type":"item","numeric-id":856738,"id":"Q856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$72F02AC1-819C-432F-9730-7D4DB911B16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05428a76f181494b234357e2da9428db6d71181f","datavalue":{"value":{"entity-type":"item","numeric-id":856739,"id":"Q856739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$AFFAD959-9FD7-4077-8F72-5282F2CB2ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f733c16c88a9ca1d4b344188fc00bf443e223677","datavalue":{"value":{"entity-type":"item","numeric-id":856740,"id":"Q856740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$798FB402-D7FF-40B9-9515-98C3C174EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc9133a22d314c8b19fc72b80095b0ea33899b2","datavalue":{"value":{"entity-type":"item","numeric-id":455929,"id":"Q455929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$E2F8FDA3-5019-4663-91B7-41912FCEB27F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$5E5084DC-EB7A-4CF9-BDA8-6A7493560F15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69fd7e33e5959021461630cbc83478a74a6768f","datavalue":{"value":{"time":"+2006-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q856741$71CC9B96-CECC-4A98-B6DD-1C2A49573C4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856741$73CE0364-3765-420F-9B73-5359ECB54AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c73903eac919802e597f9f0563a30883fde73a","datavalue":{"value":"5078777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856741$61BE04BC-80CC-4C15-B815-002DC20D5764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q856741$A27BDDAE-0AF9-4D00-806E-45DF24A6E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q856741$B2BCB905-7C2E-4C6C-BC9E-842E0F3CA8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q856741$55990D40-3D2D-4BC6-AB91-DFA8F3C1E133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685bd9ce6f8ce9996e36e0de6a9ecd9cf15ed82d","datavalue":{"value":"automated design","type":"string"},"datatype":"string"},"type":"statement","id":"Q856741$57962C50-7F85-4414-8C7E-C123D21CE0DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q856741$AB4A1734-CB8F-4F1A-BC86-8834BB4A22D2","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":"Q856741$FC93815E-19FB-4AB5-8B63-8C5E2B6975C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abbe336e8c3b4b8446bb8858e648baad92939d4c","datavalue":{"value":"https://doi.org/10.1016/j.comnet.2006.03.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q856741$39BA3C70-6102-444D-8B5F-AC70F30C15EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec4a7b8b1c3129321651a106fa4c216593d3c6fc","datavalue":{"value":"W2116538305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856741$A1CBD399-213E-4305-9316-DE6602D6CA4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"310e21adcfeb016ca9985f3489bddaa645518424","datavalue":{"value":"10.1016/J.COMNET.2006.03.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q856741$1700B983-8688-4E81-A6EF-2B1B112CB301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53117c4df03b7d2b3de79732a571d11050e993bf","datavalue":{"value":{"entity-type":"item","numeric-id":5137326,"id":"Q5137326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4267c1371b8fe5870d211d43bd0bffcb1cde04","datavalue":{"value":{"amount":"+0.91209316","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":"Q856741$C7D9FB84-B374-4AF9-9E08-1ECC7B48C776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0994ff72e2635e45d15c28d14756254e7af98bd","datavalue":{"value":{"entity-type":"item","numeric-id":5137887,"id":"Q5137887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27d634f2d35f57a5d292940bce71331e23dbf43","datavalue":{"value":{"amount":"+0.8878836","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":"Q856741$C7460ED0-B32B-493C-B0FB-840D654834CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18489352425a1e024df3677ae5ce155aa29c5601","datavalue":{"value":{"entity-type":"item","numeric-id":5900960,"id":"Q5900960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad68b8493a965bec6d5de6b1766ed3406aa6acf8","datavalue":{"value":{"amount":"+0.8860895","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":"Q856741$AB09F2E6-83DE-4CBE-B3A1-0AE684DF70A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae679b0623748f1151d347642ddd404f3666e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2921918,"id":"Q2921918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5994866b8be72597c73699c88991f8f4dc953d63","datavalue":{"value":{"amount":"+0.8562319","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":"Q856741$737A726B-85F7-44E4-8800-E931B33A3C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5127553fc5d3ccc30639117c3c753e27655ae6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2434558,"id":"Q2434558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4c6abf74241bc28815be6bcf40ca0a1b92c888","datavalue":{"value":{"amount":"+0.85388297","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":"Q856741$876F4BFD-B7D5-4830-8BE5-8DA424E40C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:856741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:856741"}}}}}