{"entities":{"Q2018423":{"pageid":2029165,"ns":120,"title":"Item:Q2018423","lastrevid":57688452,"modified":"2026-03-31T22:18:16Z","type":"item","id":"Q2018423","labels":{"en":{"language":"en","value":"A system for deduction-based formal verification of workflow-oriented software models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6424847"}},"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":"Q2018423$0DD557BA-2B31-4DA1-987A-6E3FECE9B6B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24a1294f1bece4160680237f6013d3fda1786e3b","datavalue":{"value":{"text":"A system for deduction-based formal verification of workflow-oriented software models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018423$659E1BBD-A97D-48AF-82EF-B310F0B44DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25ee9baa5f32cd0971d125d469388566180fc17e","datavalue":{"value":"1309.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$96B5C024-AEDC-4965-965A-4B9EDF9BB6FE","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":"Q2018423$463D51B7-1166-4F9D-B91E-652C384A543D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$7799F4DC-ACB3-4158-8D0F-0D83B2C9F17B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd55b543fec3f4a634a8fef5b7b15e29b44c38db","datavalue":{"value":{"time":"+2015-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018423$AF1B4D44-0542-4EED-A650-61BB336095C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e34c1ea666f5e6ce0e50382273ea4ee4031965a7","datavalue":{"value":"https://arxiv.org/abs/1402.1978","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018423$AD296290-A765-4D41-8992-F94C26ADBDA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$BF96F66C-B456-40C5-8F38-D569D7AF2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$A5E6A5D7-BD34-4466-9100-AF2414061FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89cd987823120f82715c771b648293bd74e0f80d","datavalue":{"value":"6424847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$86ADCA07-AD69-4733-9DE1-DAD3B33CE2AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$FB42EA57-D3AD-41E6-A563-FE68B3D4E7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a949ba096a70ff483f61dbfa72618ca297c787e","datavalue":{"value":"deductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$A05A1FA3-C037-46BD-B97E-FAE071F579CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$2F052F80-0023-4A4F-8EEE-94A0C3B25240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$9BB21FE3-CA8D-4E7A-BC78-7CBC14919095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa5e934f6cae0fa9ad70e3769742ed4b7a900f6","datavalue":{"value":"workflow patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$533097D0-4509-4A63-B9A9-911A31E90292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b16e80ca1e3f0abaf8cdfd892abfe64b62fc41","datavalue":{"value":"logical primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$E2223C8F-322A-45F5-B339-386F9C90294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9afa36f56b265b4186ee18b356f4f867c83b585","datavalue":{"value":"generating logical specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$C59EE300-156A-4C9D-B945-217C630977DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5690274982b7d25a9aee67e5fde2872fa860458a","datavalue":{"value":"business models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$2B3DBF87-61D6-4387-8B51-E20B9236A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de245030be4055e1ae781fcdfc386a78404c9ce1","datavalue":{"value":"BPMN","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018423$C95E02D9-0037-4A2C-9067-57A94BA0773F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c59b3e9560faf9a1fc9bc5f21675991982ae6e4","datavalue":{"value":{"entity-type":"item","numeric-id":16564,"id":"Q16564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$B496242A-AD36-437F-9DFC-CBF89AF7BD1A","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":"Q2018423$E980C2BB-D333-4ED5-BF5E-21BAE92A247C","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":"Q2018423$76449A11-0D90-4119-8134-5E73968DE2CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0e5ba8878af5a43f981617b7d03b4757305143f","datavalue":{"value":"W3123419187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$1EF79690-0C91-4351-BA92-F101F05E05E3","rank":"normal"}],"P223":[{"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":"Q2018423$82029824-331D-4F1F-B911-091723C5ACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$EA2BE7CF-AABC-44DE-8C57-0668730F386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$D4FDBA64-5009-4576-A9AA-098892B1D8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$03D78998-3261-49AD-9DAE-0D50A9647202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$88D6F257-9679-4F53-8B62-892B238B0207","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":"Q2018423$8634041F-FB1B-481E-B0F9-74153B38735E","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":"Q2018423$AD5A8152-1F70-45B6-BD39-B3BBB9AA8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$DEBA6451-43AD-4702-B3FB-5F9FFF499901","rank":"normal"},{"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":"Q2018423$C78883CA-A5C6-40BF-824B-C100481EB2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430fbfa0735a22bac233d55b1945a0bfc3a2b4cf","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$BF271534-7B97-4232-9B6D-6E88FE2F269B","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":"Q2018423$1F25B393-25EF-4ACE-A465-2214754B9118","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27e5dca234e01e83ce648b7e3fb2a755e5fcf7a3","datavalue":{"value":"10.2478/AMCS-2014-0069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018423$1F421599-0DC3-46F1-9B4B-19B26E44B383","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd87ccce0989c8e95a907dd296f795518bc13753","datavalue":{"value":{"entity-type":"item","numeric-id":2423750,"id":"Q2423750"},"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":"Q2018423$4F1B49EE-F673-44AF-98B0-AA06386170F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a00c868f4a1371a2c0228afa1cb2c872cda024","datavalue":{"value":{"entity-type":"item","numeric-id":3628416,"id":"Q3628416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de21026d7b081b0d601c87de498c05a23ad8b882","datavalue":{"value":{"amount":"+0.7343287467956543","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":"Q2018423$558F632D-6F15-4E00-80DB-9FB336E2F018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1019349cc824d6cb08db6d93cf075dade84b3cb3","datavalue":{"value":{"entity-type":"item","numeric-id":682361,"id":"Q682361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7293e91414f53b74823fa6b99f09d5c4fafb21","datavalue":{"value":{"amount":"+0.7156977653503418","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":"Q2018423$E3C6D0FA-7296-40AD-8F40-4FBC43BE4E81","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":"c428196b91dea982486dcbb17dc1fb5815e81ef7","datavalue":{"value":{"amount":"+0.7153293490409851","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":"Q2018423$10976965-8DB3-488E-B92F-B01E6A98DA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cce0b5ce58e241c1e920fa4bcc12cee6124b488","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e302cdafc74f11dcc481a0a9b3fb15d4d87103d1","datavalue":{"value":{"amount":"+0.7088158130645752","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":"Q2018423$0FAAD177-A0E1-4848-8A22-17086350E908","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018423$6840EC00-7FB2-443D-807A-C0A715D2BD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018423"}}}}}