{"entities":{"Q2368986":{"pageid":2379729,"ns":120,"title":"Item:Q2368986","lastrevid":43966368,"modified":"2025-11-18T14:32:24Z","type":"item","id":"Q2368986","labels":{"en":{"language":"en","value":"Automatic workflow verification and generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020387"}},"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":"Q2368986$2716F5CD-72AD-4B0C-B93C-3649459B6609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15280f68f288231ce956ae3dd9097f4907150f42","datavalue":{"value":{"text":"Automatic workflow verification and generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368986$70A17345-B11F-434F-8222-34394A541D60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5caeecc34f325354a8898b82fd3a219759a3277e","datavalue":{"value":"1088.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368986$E2BF0F3D-749D-43AA-9C36-76AF0DA0B882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07523ec2baf4f862f0dd87bec5a0990bbbc308d0","datavalue":{"value":{"entity-type":"item","numeric-id":980978,"id":"Q980978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$9B1AEE74-0AC3-4FBA-B4DD-06434B20D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e3e56ff6892f58e0d5db1323ca653283b85e61e","datavalue":{"value":{"entity-type":"item","numeric-id":2368984,"id":"Q2368984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$900AAB1E-0944-4C31-8C7A-F0751D05DB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa7b416a5c640fe6c918d6783f1e2c73faa78f08","datavalue":{"value":{"entity-type":"item","numeric-id":2368985,"id":"Q2368985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$CE0B3CCA-4DA9-41A0-83BB-DE1C6B3F7D03","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":"Q2368986$D9AD83D0-0427-4772-84CF-5322F8CFCA45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368986$845751A8-E629-45F1-8CA2-A3E5B8B1D870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368986$956901FB-7B9D-4BB9-8AE4-71D001973AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a47e0a42097b76f546fbb4e125c34342c479ca","datavalue":{"value":"5020387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368986$E30B0E67-B7F4-4689-8422-61DC6E6D3708","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"570dcb52d86afdb33bc4710ba67b988eeaf6e42d","datavalue":{"value":"Workflow verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368986$2209327F-F033-4033-9A06-6F00BE2A156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43eea010d12b32f9643be075eb805f25ef05e8c","datavalue":{"value":"Workflow generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368986$3DA146C0-1EEF-49C7-8A25-4AD96DD32D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a6369be2a0b79cb6c95d15f331b0fc1a64527aa","datavalue":{"value":"Workflow correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368986$51116071-0E89-4B14-87E6-7DC1AE1843B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4af0327adbf24209e3689ae5dbd5f0987f783f","datavalue":{"value":"Web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368986$C92BF799-7A2C-431F-A193-33CC0C3FD6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368986$59E6D668-0784-41FA-89AC-30B178C7A863","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$2D64D245-220E-4D51-BF47-0F441F9CA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$B9F31F8B-C10D-486B-99CE-6708F24EF1EE","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":"Q2368986$33F5CD79-9914-4402-83BF-5AE8D56D6D70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46b24389649f32867bac3f82fac20c589242b1f0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368986$5200A74D-C61A-4C01-A2F5-CD72FC1E4359","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bb047afcb9aa858c6c1beb910df7cb997d22845","datavalue":{"value":"W1974447645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368986$7EB8D30B-A616-4E30-A224-6F82129860B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7172a72c7746ca1f4d39e6f8c1f3a5db3601923e","datavalue":{"value":{"entity-type":"item","numeric-id":4292466,"id":"Q4292466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$3F55A8D3-B85B-4BBA-A5CD-67A7412E9F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$EC1FDFEF-3F38-41AB-8B72-D95D92BE6E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$4F6CC65A-1951-45D8-8C9B-89FA79863381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2352203c1ecd77bfe9df5021316d70deeafb325","datavalue":{"value":{"entity-type":"item","numeric-id":4410581,"id":"Q4410581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$7304A563-75AE-4EBD-BD3B-DD8D547C245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9088120e09b6f35adadb7badb57ea001c809e62","datavalue":{"value":{"entity-type":"item","numeric-id":4435847,"id":"Q4435847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$227547B3-7A54-493B-9B5F-9C83DD3E37FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd614df68b053da26d5b2f436a6ce57a76b0b85","datavalue":{"value":{"entity-type":"item","numeric-id":4274970,"id":"Q4274970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$B84C7FB5-071D-4BE4-A459-05B42F0B6FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7dca89feedb27903dbf60fc74b2a64aa37f507","datavalue":{"value":{"entity-type":"item","numeric-id":5941311,"id":"Q5941311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$FE2305E0-9F70-46DC-95EB-B1ACB92CA998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$D824051B-AF34-4A56-ABC0-9D4F52A56592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbad2797dbdbc6e30c55124f13720ced1a87e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4488091,"id":"Q4488091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$F215BEB4-6BCE-4D6D-82F5-1A4D6C697225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368986$7E027483-DBE5-49F9-AE57-91CE526D9271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b035eb2bed168eb695daceaabf13c6cd09a9fd","datavalue":{"value":"10.1016/J.TCS.2005.10.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368986$42B28D4B-9F84-43C8-8021-EFDC62D9C4A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a41c188eb38ca8b7204701e72b6d1f88cf3ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4410581,"id":"Q4410581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1e3c5c41d025bccd4b68352ed6a6e3b1b8e56f","datavalue":{"value":{"amount":"+0.87851536","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":"Q2368986$A20C9CDE-3DEC-4375-9872-8676873E6EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93f4bd6499fb47ce5f3d964d50a217c9e7842ab0","datavalue":{"value":{"entity-type":"item","numeric-id":3379523,"id":"Q3379523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8432bb32a1a23c3bc5f9c00a7d5dda29b18ad298","datavalue":{"value":{"amount":"+0.8690748","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":"Q2368986$D9E9242A-0A75-41AC-9989-0B68810BA4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145be1fb57774c9df63c4913335b2fbec085ceb3","datavalue":{"value":{"entity-type":"item","numeric-id":6485727,"id":"Q6485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000a10b22b19323cdab7912e4fa158bc891237e5","datavalue":{"value":{"amount":"+0.8649929","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":"Q2368986$565F62F1-0142-4282-A87A-221D10690E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368986"}}}}}