{"entities":{"Q2914738":{"pageid":2925458,"ns":120,"title":"Item:Q2914738","lastrevid":51558107,"modified":"2026-01-18T18:56:30Z","type":"item","id":"Q2914738","labels":{"en":{"language":"en","value":"Verifying and generating WP transformers for procedures on complex data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084486"}},"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":"Q2914738$4C554E20-EE3A-4848-ACFF-DBFEBEE30794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df0c5d560c747552beb27992c9f3fd44be43d009","datavalue":{"value":{"text":"Verifying and Generating WP Transformers for Procedures on Complex Data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914738$55B116D0-09BE-485D-948E-13A125CE6DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b618dd8599b0f016b8f7b773a1220f70c2056559","datavalue":{"value":"1360.68759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$3D9135E0-56B2-4B96-96C7-FD03218BB058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb753665e62dfe0b8685e08292c7d4f7a760473a","datavalue":{"value":"10.1007/978-3-642-32347-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$E3B047E8-B158-48FA-941A-2541E3F92AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"568185b877242cece842197d578d882452feb68d","datavalue":{"value":{"entity-type":"item","numeric-id":2914737,"id":"Q2914737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914738$3A7B3C56-BBA2-4080-A9E0-AAEEEFE04989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecd285ecacf58d096d8b9380a442f8f4eb02eb08","datavalue":{"value":{"entity-type":"item","numeric-id":1386438,"id":"Q1386438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914738$59606171-2FC8-486B-AB74-7837726BA18A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914738$B0992C0B-868A-4057-B611-F47253EC713B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-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":"Q2914738$30CC14F3-D3E2-402F-BE0E-B92D8001775E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$91F26EB5-E60D-47A3-B4CF-CC77F611846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$57707358-D2F0-439D-933B-313EC1BF6210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c5923eb8e6bbf51340acb9b1b20b2c21b2096fd","datavalue":{"value":"6084486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$26BC9530-CC6D-455E-8D4D-C4FDD68206CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78862905ca8138ffe11fcc1927345410b2aa89dd","datavalue":{"value":"interactive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$82647358-6936-4B39-A477-24839EEDE0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$5B84BF6F-F289-4C9D-8CA5-0987F2B4E66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b91e0ee8696de475c88c22038eac0a191a1940","datavalue":{"value":"structured data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$D3B7C5A5-1BCC-4E0B-820C-33ECC8FDD17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e865dcf04feef79efcf163ac054d2ac37b7305b","datavalue":{"value":"paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$E488D754-0F90-4A5A-BEFC-283ADB8FC23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$38048A57-4C4B-4C12-9360-4D96306C8F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7881356af2de536408147cbcb2b382a9a067c3bb","datavalue":{"value":"precondition generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$B125542A-DBCA-4699-AADB-7360B71A1B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a9fd742906180c5ab1eea225304d84e9a8927d","datavalue":{"value":"language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914738$CFF73A54-F7F3-4E84-B929-3E46FFA65E62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914738$A3B5127D-3DE0-4F01-B628-53798D605EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914738$B8348AAC-121F-4B55-968B-53B0133407FE","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":"Q2914738$6124E4B5-D0DA-4E1D-8E7E-BDF821053840","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"064cd575dac649bea4f0d3443782e68a93a7da56","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914738$8259DCD5-8C16-4BE6-B80E-27034FFEC4FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a06ea39434ef87f35a882f4680cefdb9e2acb5e7","datavalue":{"value":"W138498216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914738$C87E9284-6A2E-4E49-93B2-85FEBA0A4361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5277c6441e231991b9461d89fdec576f886d22f1","datavalue":{"value":{"entity-type":"item","numeric-id":1881666,"id":"Q1881666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc11c0a724d33182478b462029ca4b03c913437","datavalue":{"value":{"amount":"+0.7077036499977112","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":"Q2914738$7A174DC3-3ECC-424C-B7B6-D9C9BC902471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eda225d4b02f35c3acafba8ff5d0e62a87a8dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4412510,"id":"Q4412510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b763088e7f0f1f0f01cb3b8733984628d474acf","datavalue":{"value":{"amount":"+0.7052106261253357","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":"Q2914738$BFBA93F9-4BF9-4A17-B3F1-B4E46D91BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866c8d7d03d06a1907e17a054cbe151c8a1a6bf5","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c904851403ed80026bb7215eec2bdf9b28722f","datavalue":{"value":{"amount":"+0.701477587223053","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":"Q2914738$B5C6C9A1-163B-480C-AF41-87247AE44365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448edae281ed28dec112773a705388e3bbb075c1","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae37e3849ce373442ae9ef546d48288d0a04a9d5","datavalue":{"value":{"amount":"+0.6995100975036621","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":"Q2914738$5E5E1039-BD93-41D2-B3CD-C7593A0BA4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84f0d69427eb91f0327e845f100e02a88940755","datavalue":{"value":{"entity-type":"item","numeric-id":4484349,"id":"Q4484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa31714b75e6195b61a564b880d7049af5330d5","datavalue":{"value":{"amount":"+0.6961690783500671","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":"Q2914738$A124BCF6-C045-46AF-B2FF-DAD92FEEB272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914738"}}}}}