{"entities":{"Q1758685":{"pageid":1769427,"ns":120,"title":"Item:Q1758685","lastrevid":51598067,"modified":"2026-01-19T00:13:11Z","type":"item","id":"Q1758685","labels":{"en":{"language":"en","value":"Application of if-conversion to verification and optimization of workflows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107880"}},"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":"Q1758685$9A12C665-2C49-4693-B4C3-2644DAAE2BF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b59e717d2789426e6d220dac702270d6deef9658","datavalue":{"value":{"text":"Application of if-conversion to verification and optimization of workflows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758685$3B9AE800-1692-485A-8E9D-2DA607CC2925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f540540eba6e97f903b409b5ccfdb18a5e9b6071","datavalue":{"value":"1251.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$2FEA9638-06B5-4002-9F18-85FB4D0D6FF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6af89e6055a688a72fe78c0a5c83b08317002d5","datavalue":{"value":"10.1134/S0361768810050038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$C5D7AF86-8B56-4B8B-B6EA-FD70D07612DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68998866a52330e801ad7bf9b7dc33543f72207","datavalue":{"value":{"entity-type":"item","numeric-id":1758684,"id":"Q1758684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$4B3C4EA6-681D-4C4D-BBAB-F701579D2AEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$ED0AD631-5C4D-4A4A-84F3-4BA30F14F4A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758685$53785772-A545-423A-91AF-10BA73C9ABC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$45E6C5AF-4BB6-4E0A-AE11-E1A8E19634C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$D02C2743-2976-4399-BFF0-5E17863901FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$BF4CFA48-BF49-451A-8D3A-C46FD0E8A2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$88965BC4-7357-4450-AB6A-5BD3441B34E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f35fe1c6c2ed05e321f5ae62309cd7d270dff26e","datavalue":{"value":"6107880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758685$11D0FC55-79B3-49FA-8120-45B95D8CA734","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e990ddcfd4945f62df40887cd4ef6736490e1579","datavalue":{"value":"workflow verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$F9624581-B87F-484D-B8CD-47347A90A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d86ade3450f46bf528b0eb894198252610fd38","datavalue":{"value":"workflow optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$24A5C81C-BDE1-4261-9440-B5B87014DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55928b8b6e832fa05c091ddc30c37906e9096b45","datavalue":{"value":"Boolean verification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$37DF122A-E5D2-4E79-8281-55EBD43B7298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e37efed8f43adb2bc38511cf448e47f63e7856","datavalue":{"value":"workflow analysis graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$7B44CF08-BB42-4DD1-96FB-283C5BF571A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb0bd13bc57350758358aca6a326ecbdda75127","datavalue":{"value":"if-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$77ABC170-4246-4843-8C33-99A164D0A502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f188d80f9fc570291681810646d125cac9dc56f6","datavalue":{"value":"pattern transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758685$588E19AA-3ABA-4CB4-AC05-98AB0D910151","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"289cf1e1c9d1394be08e7aacf0c4124380f8d779","datavalue":{"value":{"entity-type":"item","numeric-id":22532,"id":"Q22532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$AF03D4DB-199C-449E-BE33-AD574915202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5a94e6d77b0368ea2a8bf4f5acc3eb0ba79c9e1","datavalue":{"value":{"entity-type":"item","numeric-id":41243,"id":"Q41243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$E6BE4667-9C4C-4799-A673-7742E8E2F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1157f30886d646dbb765b83683d1f148de73ea9f","datavalue":{"value":{"entity-type":"item","numeric-id":22556,"id":"Q22556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$D0EA26DC-EB57-4875-B8E5-A02151D4D3B0","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":"Q1758685$0424CAFE-7CF8-4FE5-BA8C-9173D010A5B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b375cddc1928ce59a4f75ef77713c6e9e8eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":1863146,"id":"Q1863146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758685$10671C84-8837-4ED1-86B3-46B711E18612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2401f121934dce0eeca1ff711e83343e369ddf5d","datavalue":{"value":{"entity-type":"item","numeric-id":1758697,"id":"Q1758697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0480dd31bdbf495948ab5bf7e882a23206966b45","datavalue":{"value":{"amount":"+0.8294443488121033","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":"Q1758685$37BADC36-5369-4130-9629-2C267DE432EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95ea0d2661eb462e61ab3d4f0d5de24516e5db","datavalue":{"value":{"entity-type":"item","numeric-id":3045489,"id":"Q3045489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e370fa899450234cdef161b1625b112d4fda9","datavalue":{"value":{"amount":"+0.7153324484825134","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":"Q1758685$659A94E7-ACF1-497F-AA90-AA849505631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35512ed8d3c56a1d7b3bc2630ea55453974d839f","datavalue":{"value":{"entity-type":"item","numeric-id":5491855,"id":"Q5491855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e536f28e47fdf6c5abc7a7fb014931dc926cb837","datavalue":{"value":{"amount":"+0.7001524567604065","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":"Q1758685$0554F1E9-9EBD-47CC-A2BE-D1E8A7574C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6525798ee6d537075f7d4e11a51e46e396576fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1567413,"id":"Q1567413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6eb92e5b8c8faa715f5bfce7b5bf18fb3ca1b2","datavalue":{"value":{"amount":"+0.6986664533615112","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":"Q1758685$FE7FE498-20AA-4981-9AF4-052032BD82FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0bc5360945e8536169218e0da05d70634b53d0","datavalue":{"value":{"entity-type":"item","numeric-id":5315740,"id":"Q5315740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57572027cb0469c1bdc6b9b0253ef82a2b6971d2","datavalue":{"value":{"amount":"+0.6986299157142639","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":"Q1758685$E9C9BC5C-604C-423E-9E69-7C55462E5927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758685"}}}}}