{"entities":{"Q2423750":{"pageid":2434493,"ns":120,"title":"Item:Q2423750","lastrevid":74197974,"modified":"2026-04-14T18:54:47Z","type":"item","id":"Q2423750","labels":{"en":{"language":"en","value":"Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069234"}},"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":"Q2423750$9FA716BD-9BF3-4AFC-BE6F-AC2F44168FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee62336b3f4c00a4a280f0788eb8935398a44d42","datavalue":{"value":{"text":"Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423750$C167D31A-2D6A-4CA1-A4D8-9D40ECFE17D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd494dd7b82baf912e7df0c49fb7ab9bcc5dd05","datavalue":{"value":"1423.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$344BDEF6-CBD2-46E4-8FC3-EE6DFE891E4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5325cc36b78f25c273c9ac6495e67d48861a69","datavalue":{"value":{"entity-type":"item","numeric-id":2018422,"id":"Q2018422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$29E29516-1ADA-4AD7-821A-7AFBB4BE9DC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$27EDA1C2-67B6-427D-8BF1-AA1551636C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423750$7A597436-56A1-4EC6-8741-CFBABE2E2197","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$66107A26-CBCE-4C9F-ACA7-D76F2DF4CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$894202E9-20A6-45C7-860B-93008C84CE8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7413d7bc1bd3639ee19f600a7583505ce8693f98","datavalue":{"value":"7069234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$C05B0A6E-8226-4DD6-AE61-A080EA3BBCC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$879A6899-8E44-42F2-9024-4C121E3A8EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a423e68755f08946b3eaacbf91e096e3869f05ea","datavalue":{"value":"workflow pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$4AFC922B-45F6-427C-A4BC-FFDA51A876CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$4D2A1FFB-1AC7-48FA-8E86-84169D6B6433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e50afee6efceac443b16bc8020aad8a9677a46d","datavalue":{"value":"logical primitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$4E6D2CBC-7083-4A58-898F-9B5E24B58948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb92cf686823c65ef7842a85155f8c11e0d8ec6b","datavalue":{"value":"generating logical specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$B3DED64F-079F-483C-888A-50EBBA996E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423750$F7980487-3DFB-4A72-9713-515CF67B5527","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$84CBD3D1-DCD6-41DA-94AF-A628A243B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$637B864C-FD06-4AA2-9943-73A3920141A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$132D09DC-057F-44C9-9EAC-80D96078343A","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":"Q2423750$CEE41136-1650-4BDF-A10F-073185D0F0A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563221cd075991b8840d54bdfeea083abd82161d","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423750$39BB1EC0-5D8E-4F2C-8118-7F6A1C292645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d85b7a0492da4c64303da13ef5c707c49a12565","datavalue":{"value":"W2917796447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$596F4E9E-32B1-4C93-9104-3AFD7FB3FF29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc11b91ca2fd7ffd0fca9c3fdb8d39ab9eb0695","datavalue":{"value":{"entity-type":"item","numeric-id":5228111,"id":"Q5228111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$D410B77A-1E61-410B-817D-5FCECA5DD625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$3979644E-CF01-4643-B676-24381DCE72D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$1F587F5A-A3E8-41DC-8C5E-968CB6CBE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$F4465663-64C8-4352-B267-FA33467B0A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264dd486750ff3eaf48cdf9bade700b205954eb7","datavalue":{"value":{"entity-type":"item","numeric-id":5261837,"id":"Q5261837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$0DB0B730-EA81-4C95-AF7E-01A7D1ED8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d0a14c14f21ea1bfa6613b216b05e06b8a885e","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$C8C87855-EEBD-4D92-AE81-E4631B60148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c6a6f954cb061f748a79da74998bcdadb0a01d","datavalue":{"value":{"entity-type":"item","numeric-id":849171,"id":"Q849171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$760C6E02-0EBA-4354-81DA-E53FE0B3407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$9B652933-C68F-406D-859E-B1C589B3A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$17CBC5BE-EF04-43DB-9767-8763A155C5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$25C693A5-6142-41C2-8978-1702E808C4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$849039B3-2796-4244-B733-8103CB8C249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccacf57e44feec87e4952adcb18588307f121d1","datavalue":{"value":{"entity-type":"item","numeric-id":4698061,"id":"Q4698061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$AE575238-8578-4368-A016-6BA9A85F1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00230673e703c339b2d770b71ef179a8241cadd5","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$C3585C75-47EC-4E82-B5CC-76F83C3FF15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ab7e15671f10641d2523a141fa44791dbf8fc8","datavalue":{"value":{"entity-type":"item","numeric-id":924870,"id":"Q924870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$D86FD4B0-9635-4A8A-95AA-CA7D6E825358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a2ca50f1b3ec55622c67f649a507fee4f119a7","datavalue":{"value":{"entity-type":"item","numeric-id":2018423,"id":"Q2018423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$1823D5F1-5CCD-4122-A65A-7D32344DEA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a5cc867a954b9cdb9c0f0796dbd919b3583ce6e","datavalue":{"value":{"entity-type":"item","numeric-id":5200483,"id":"Q5200483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$4165B80F-3B30-4176-AA49-0D076DD9B448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cbcd3a3e0ceb497bab88382f86c5628efe7d55","datavalue":{"value":{"entity-type":"item","numeric-id":549695,"id":"Q549695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$91BB2956-499E-4018-991C-789FAD1517E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee35eec4f1bcb8802869b456425f53aadfa3936","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$64410995-1ED8-42A8-A7FD-3998BA3CE88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423750$DED53F10-8326-45F2-BC31-BED9D00551D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d469f5f3a4f5517816bec62a063408dfacb10c89","datavalue":{"value":"Q128388282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$784F46BE-C886-43F1-BF99-1609A42A8423","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bbd95a556d67e9beb5e5a00ee06b84637b76c19","datavalue":{"value":"10.1016/J.JLAMP.2019.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423750$22D4CED0-E178-4C90-A942-9F138BB53835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0e6b204aeb44da7655072b1a414c4dab2f8d94","datavalue":{"value":{"entity-type":"item","numeric-id":2018423,"id":"Q2018423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1422f570b723692abd85694044e9145641d226","datavalue":{"value":{"amount":"+0.8051515817642212","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":"Q2423750$EFEEED47-6B32-4455-A487-F879E7AE961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b30e7b65c32be804e050500e89579417a82c5c","datavalue":{"value":{"entity-type":"item","numeric-id":3510824,"id":"Q3510824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484d656b6d12d34b2f34b769270e3f3137951384","datavalue":{"value":{"amount":"+0.6988012790679932","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":"Q2423750$35F3E7B7-BE83-422E-BB94-C63C8C4FBF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea5c469c314bfce959a0ae567ff6bb964b3caba","datavalue":{"value":{"entity-type":"item","numeric-id":2405262,"id":"Q2405262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4314901e0ca11007a9210411ccb1ec629d17bde1","datavalue":{"value":{"amount":"+0.6939573884010315","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":"Q2423750$AD29C73C-3CD7-4429-BEC9-D65E4AA189BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05562e9d462ff8cecef0564bd8a184495d366da2","datavalue":{"value":{"entity-type":"item","numeric-id":2873617,"id":"Q2873617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ae5f324aff018751db786f5545be79214ff503","datavalue":{"value":{"amount":"+0.6769146919250488","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":"Q2423750$A680C38C-3A7B-48D8-A595-1E03FCC3821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b89934223528583b75b8ad1927fa3ac43fa09c","datavalue":{"value":{"entity-type":"item","numeric-id":2778421,"id":"Q2778421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df94598781c4704d729198988024b9f1198a4e5","datavalue":{"value":{"amount":"+0.6750046014785767","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":"Q2423750$43266389-F51A-424B-9A07-A037C621F796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pattern-based_and_composition-driven_automatic_generation_of_logical_specifications_for_workflow-oriented_software_models"}}}}}