{"entities":{"Q4989712":{"pageid":7019289,"ns":120,"title":"Item:Q4989712","lastrevid":54006191,"modified":"2026-01-26T01:55:58Z","type":"item","id":"Q4989712","labels":{"en":{"language":"en","value":"A formal framework for specifying and verifying microservices based process flows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351244"}},"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":"Q4989712$44980AF6-86A9-4BE9-8010-9BF791AF2F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8e29ae68d851c7eada9fd07749cc889e8e706df","datavalue":{"value":{"text":"A Formal Framework for Specifying and Verifying Microservices Based Process Flows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989712$A409330D-6064-4A6A-B6C8-BF437FBE83BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fe3a476c9dbd47c2e87f99a9c6ebbb04728664c","datavalue":{"value":"1461.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$24592EA2-0DAA-4E5A-92B7-55917638BC4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2bf201252214d46cad55fec0514e68dc114c22e","datavalue":{"value":"10.1007/978-3-319-74781-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$4D5D6C06-1B09-4F91-A122-8A62A8814920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97941d49ce1e12e1055e003840bf5b1ac3abe870","datavalue":{"value":{"entity-type":"item","numeric-id":2063101,"id":"Q2063101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$12F80A0C-EA71-48B8-9308-83A0CBD30778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9945942ea800c11965b5796c516be8e545bcf479","datavalue":{"value":{"entity-type":"item","numeric-id":4989711,"id":"Q4989711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$CBAA60A9-DC90-4941-BB82-B00DB40C6004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"631357320e065970e73e78338cd1447cc10eb69f","datavalue":{"value":{"entity-type":"item","numeric-id":2035651,"id":"Q2035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$0530B47E-76CD-4E74-A21D-D67A5188E115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b413d9ed7f27d5408d4e10338af4bca85c24b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3046669,"id":"Q3046669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$3CBCE319-4535-4593-9DEA-AF6D4DC35867","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$FE040783-4B0E-4C99-90AA-B21E4A14D3CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989712$76FB4E3A-AC1F-4C7E-A4CB-E191BF4BF2FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$2BABFA8D-D04A-46A0-8C7A-4E10B0975EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$BCCA2BB4-44EC-4C9C-B5E7-7A6D11BE6053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$D0FD1C79-C600-4D13-B167-D58A1C2881F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7211dd3e05b329ecc2d415c50ff70e78897cd41f","datavalue":{"value":"7351244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$70725B3F-3E00-4A60-BEE1-A9CBB5311719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8053caba7768b0b9634a044e35f73e5dd27a7185","datavalue":{"value":"microservices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$03ECF5CD-031D-4D92-B195-E85A8471815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707fb6115c912b20da759b1a2afce146f607c08d","datavalue":{"value":"orchestration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$F9ADFBEF-30D4-4B75-BC1F-D6E88BEA783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$FB0F1D83-44DD-4EDB-9EF1-620FF70DFF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$09DBEAE1-3EE8-4791-B58A-609FBAC2FAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$536BEEA6-81C8-4186-9ACF-FF606F7E9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3c39ba83be8fe822193c044da195c23da0adc4a","datavalue":{"value":"time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989712$A05952DD-5206-4DE4-8A98-0B31CEFDCD42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3543a301c6ca0661e9c8329861496f8a5d96df5","datavalue":{"value":{"entity-type":"item","numeric-id":54387,"id":"Q54387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989712$ACB962A5-0AFE-45B0-9100-766DCBE0BB50","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":"Q4989712$4433188A-81BC-4F2A-8069-C26B591D27E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c769d616805b7e8ef65f39d809d75c3b9c0aa709","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74781-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989712$E3D3AFB9-A514-4344-AF29-DB64B11DDFB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84129ca7404ad07836c197dae8557e4c65d6b34c","datavalue":{"value":"W2785325333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989712$7D41103B-1CA5-444D-91DA-132E8584FD3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c72e67ebc2241e39bc7e75a53c22763363d656a","datavalue":{"value":{"entity-type":"item","numeric-id":1941851,"id":"Q1941851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d36097ef76ba8384922037a2a83a68f5928cc17","datavalue":{"value":{"amount":"+0.6974197030067444","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":"Q4989712$EF463605-7181-4E6C-ACC0-C00DEECEC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9cc92ac4352a77ab4d4e72b6a60c735030bde","datavalue":{"value":{"entity-type":"item","numeric-id":4428410,"id":"Q4428410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79806a18654046c97d7e4a83de42422ed49e068","datavalue":{"value":{"amount":"+0.6754696369171143","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":"Q4989712$4FBDBE73-DA43-4658-9B21-2BBF9C73FC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b513e0e1ca7acaf7bdea6994bf0698fb260955","datavalue":{"value":{"entity-type":"item","numeric-id":1037243,"id":"Q1037243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647bc5708fc198fc3130b360461068521dc9d765","datavalue":{"value":{"amount":"+0.6621969938278198","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":"Q4989712$FB75E5B4-89C5-4D7B-BB3D-4E02F9BB9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab6785386ca92aff002eabdbcf79a425b365155","datavalue":{"value":{"entity-type":"item","numeric-id":736807,"id":"Q736807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39137658c7820359eeffef0b2791942d5e4af296","datavalue":{"value":{"amount":"+0.6601709723472595","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":"Q4989712$2B82FAA5-7EB3-4DAD-8AB5-561DB3A926F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff40ceebe7f920d2715b74baf0dac4ab1db054e","datavalue":{"value":{"entity-type":"item","numeric-id":2988998,"id":"Q2988998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668b8f6ccdc823feed386bf2193f68397a2648d9","datavalue":{"value":{"amount":"+0.6569557189941406","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":"Q4989712$C1408440-2DC1-4D09-A74B-F9EB6B0D2CF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989712"}}}}}