{"entities":{"Q5137887":{"pageid":7167458,"ns":120,"title":"Item:Q5137887","lastrevid":53882045,"modified":"2026-01-25T21:14:10Z","type":"item","id":"Q5137887","labels":{"en":{"language":"en","value":"Comments on deriving protocol specifications from service specifications written in LOTOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281357"}},"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":"Q5137887$226DA46F-E98E-4865-B476-FCA64DC564E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9de89be88a9b48c07de9b1fc747803de3f5cb8ae","datavalue":{"value":"1448.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137887$6E7D1C26-CCC5-4914-9288-7F1A2466CFE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39eccc8ae2f9f768053e4e1e3093e6c38b577dbc","datavalue":{"value":{"entity-type":"item","numeric-id":780054,"id":"Q780054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137887$026E3DB0-03F0-4B9E-9531-527F1C02261E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264ccd2874de70b65c9e8226185d78b9e2bc5a3b","datavalue":{"value":{"time":"+2020-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137887$6CB177E2-6435-47B3-A4D5-A324BE8C5901","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac53917178f493ad6d869abce3fc7c17adb3b8a3","datavalue":{"value":"https://link.springer.com/article/10.1007/s004460050064","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137887$C595DC7F-C7D5-4A04-91D0-C34FBB8CDEA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137887$80BE4BA7-6DB0-46DE-9CC5-5B357E77E578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137887$29860BA5-E975-46B4-8462-6540E4CB294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137887$3F54A7A6-72F6-418A-93E6-443DC705EF67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd44b7e551c2474fe0617c92248e57483fba4ec","datavalue":{"value":"7281357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137887$00BED829-5017-4501-8DF2-231A3343339B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a470bc264038d6efa786b25a4ce63c48af0e0c","datavalue":{"value":"distributed service implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137887$C2348807-DF5A-402A-92A6-16E54ABBDC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dbbb6032b84f7b7a5ef9b00e178034379eb366","datavalue":{"value":"protocol synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137887$541B108F-80C5-45EF-AEAF-14280D975537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0ee0f40aa4250cc30c7799822b018d51088e2f","datavalue":{"value":"compositional correctness-preserving transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137887$8FA641A4-A7A3-40DC-8929-15E489ADB423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137887$2F7774E5-81B4-4109-9D62-00972461E220","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":"Q5137887$EA8AAB46-B236-4381-9FCF-070B6F69801E","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":"41094bba8b768f0130873820383bfee6c1e48e1f","datavalue":{"value":{"amount":"+0.8282811641693115","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":"Q5137887$06EA0A1B-6AC0-4C97-A26D-6F70CEC5EE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747195ce8bcf6566c9ee4b04cd93388d811c3197","datavalue":{"value":{"entity-type":"item","numeric-id":4459112,"id":"Q4459112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d6c7ea771d0daa8981e54ba852197e6771cb11","datavalue":{"value":{"amount":"+0.7971338033676147","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":"Q5137887$30FDDB70-08EC-4C41-94F3-0BE96441AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da5c11db27dcb06dac4d298ea7645410e6f0b4e","datavalue":{"value":{"entity-type":"item","numeric-id":856741,"id":"Q856741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20f47daa7e3802c9be80935fe32b0117614c477","datavalue":{"value":{"amount":"+0.7730876803398132","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":"Q5137887$170DE44E-C1E6-4A51-A842-140D59E8F8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88959216d4ec68293fac66bbb3f90968452d614","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0e012a51009e036075ab25cfc9ed2e82d70899","datavalue":{"value":{"amount":"+0.7544512152671814","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":"Q5137887$9F1A62C0-F125-4A9C-A421-5746010E6239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed463f88c6bb9689aece62679062d8d76627058","datavalue":{"value":{"entity-type":"item","numeric-id":5047037,"id":"Q5047037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0bb4dd6fb4f7cd91c4a0e3f2cef9fb543d02f4","datavalue":{"value":{"amount":"+0.7498515248298645","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":"Q5137887$24A3E41A-C13B-464D-B843-1A457DEFF3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137887"}}}}}