{"entities":{"Q3506397":{"pageid":5536301,"ns":120,"title":"Item:Q3506397","lastrevid":50383169,"modified":"2026-01-13T22:45:26Z","type":"item","id":"Q3506397","labels":{"en":{"language":"en","value":"Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5288320"}},"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":"Q3506397$AF722D07-5851-4010-A2DD-ED4D22C49E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9877eb455bf11e91878d6f51e58c5b1bb14e6a91","datavalue":{"value":{"text":"Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3506397$AD2CFEC6-393A-4F9A-A2D9-D487C3C04037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba01bb931040cb3ea8581436d7dfa387c0bc84eb","datavalue":{"value":"1138.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$84E897B9-51E2-4FDC-9720-C9089C6E270F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eb5c4b22e2fcbfb2140458cdf993aef4d0d3864","datavalue":{"value":"10.1007/978-3-540-79299-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$FC7B41A4-4052-4209-A674-7599223B5428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb059080405022000bcf555d2e37e1625078043","datavalue":{"value":{"entity-type":"item","numeric-id":2847840,"id":"Q2847840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$8B384532-04A2-4E9E-8E34-FBEA7CE986B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b1590a06a8608ee57a702a70afc7fd9d1149d","datavalue":{"value":{"entity-type":"item","numeric-id":207988,"id":"Q207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$F950D595-66AB-4AAA-A01A-6BE82C76A84A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$C4642A5F-FBDE-4ECB-A1AE-248359E714D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fda172ec2edf94a41098c0bf8f49b497993cf711","datavalue":{"value":{"time":"+2008-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3506397$8F8244A2-063E-452E-B905-E75B179D5926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$296C6F17-79AB-465E-9F20-2D2509810DCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"310ffdc0ed07cbd00dacd80e0f3c6422846e8cfd","datavalue":{"value":"5288320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$828FED41-34B2-4E9C-8E78-9BDBF4A00D49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06a4c8d12188b6c1028772a163e0bb1a80e068b","datavalue":{"value":"Dynamic reconfiguration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$53F6499E-869C-4379-87C8-C3E0FE8CE59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a899a20ac1c22565d3c4f1e66cfb701b6ea0948","datavalue":{"value":"Reconfigurable computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$3CA2E433-DA85-4490-8682-2589D66DD301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9efb48d5db5a1c8535e46598b1758c104a2ad791","datavalue":{"value":"Dynamically Programmable Field Array (DPGA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$9F61CF9E-A68E-4105-A9B3-0255D132C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99be77614e034c633b6d134c3778c4c7aed26e25","datavalue":{"value":"Flowware","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$387431D9-18E3-4BCB-85C7-991B3D4FCC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"555a33ba7521bdc770fb8dea55e28c7a793ee8e2","datavalue":{"value":"Configware","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$633AD913-138D-4A98-AADB-1A77C8BBC825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9728bd77f5c403017d8dd8b38941f91e98c5e147","datavalue":{"value":"Configware engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$1077B49B-B37F-4E95-B060-53F8D893CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e23dd11b7f15033ed48990579b543ea70c6bbe","datavalue":{"value":"Embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$B6549A3D-A9CC-463C-8E4C-FACAA41C0009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506397$D0719A2D-C5AF-43E3-8CD3-8C5AC7AA7200","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1c728604cd8988eef4d2d98a4543e3bd9f2cf4b","datavalue":{"value":"Q56940388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$EE89FAE0-E0BF-4049-BE4C-F382FB436F37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6120f2b75e3b962f422b7f4da948411de439246a","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$4302189B-01DC-4811-B9D7-FA22011FE1B1","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":"Q3506397$3A4496DA-ADAC-40ED-A5DF-FF518A7E9BB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b4479beeef28aa2afd92571ca224a7705729b03","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79299-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3506397$4C0F8812-7DC9-4740-924D-816231F1FFD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93a0c089ca13bcfb5f20e835fd4aad72b8735049","datavalue":{"value":"W1493292654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506397$0097719B-9BC1-48DA-AFF9-D33E4CC3ADDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31befa2edae1fa8612b8796fdea3be834d4e75be","datavalue":{"value":{"entity-type":"item","numeric-id":5703833,"id":"Q5703833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$74F1C179-AF1C-4950-9EF4-F0FC8EB75BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c256fa3e971e73f2aca99f59e5ce4184ecd41d64","datavalue":{"value":{"entity-type":"item","numeric-id":5703823,"id":"Q5703823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$BA68A1BA-E136-48A1-BB87-9BD4703DC5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef22e3e01d902c078e0bb78918ad93da0523ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4935249,"id":"Q4935249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$E888ADC4-7D5D-4628-B959-6005CFA92B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$394DAA5C-8315-41AF-85A5-DA1ADAEBD2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$7ED65349-A5CA-4292-81EE-FE735768E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c284a637d6a4c997324e6ed944214c2cc09c94aa","datavalue":{"value":{"entity-type":"item","numeric-id":4738115,"id":"Q4738115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$87DBAADB-8CDB-4CA6-BCCE-7FBF6A132AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$F376B956-AC39-4DF3-93FB-3C6A0E864915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$80F1A333-9DAD-48AE-BB16-7C09909348FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$FAEE7C0E-3A2C-41AA-B45D-7F171376BCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df5126f7bc502485e8014cc3038c9f4bcbc591e","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$916C98F5-0BEE-46C8-B4AA-3F3E29697CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f2e745331c458959ffd601d53387d7640bca2a","datavalue":{"value":{"entity-type":"item","numeric-id":5701837,"id":"Q5701837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$0956A344-A889-4F26-AACC-19C08C0866F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a072813ea41f9f11dfc45ef61aa6e9e69c1915f3","datavalue":{"value":{"entity-type":"item","numeric-id":5943324,"id":"Q5943324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506397$34677AF1-00CD-4A4B-A4B5-0E1F29BDD0DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a60ba70d4d089ffe1c5e40e760dcbf862dd45","datavalue":{"value":{"entity-type":"item","numeric-id":5945699,"id":"Q5945699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a5a66e8fc734eae782f611ab5985a34ca29ebd","datavalue":{"value":{"amount":"+0.6979862451553345","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":"Q3506397$20B52A07-CAB4-4F41-B213-FEC66DA913DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97a045a9ae8b979b91ad86a6b165d944935a3c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503963,"id":"Q4503963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6eb86f764009c34444a1566518de94a14dddc9","datavalue":{"value":{"amount":"+0.6846899390220642","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":"Q3506397$1C33022B-7041-4B17-A396-C37F1DF64ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6290e392cc5915326810acf9faeef7da174c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4471675,"id":"Q4471675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e9551c0d4472f15fa5e12f9400082dce7f3dee","datavalue":{"value":{"amount":"+0.6706406474113464","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":"Q3506397$D7786CDE-0A04-48C2-BEE0-18E296068B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717453d100c083e21794cb59223ca0018928c80f","datavalue":{"value":{"entity-type":"item","numeric-id":4888827,"id":"Q4888827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea63c871be0231c08b3695a1c8769081ae94c01","datavalue":{"value":{"amount":"+0.6676188111305237","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":"Q3506397$2B25D638-7ADC-4588-98AB-987805E9CD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55bc00d3f591697ab6d2a708f52f5bb06fc4859","datavalue":{"value":{"entity-type":"item","numeric-id":4787209,"id":"Q4787209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14752869a21b98fe04b04edff02f9eb61188691","datavalue":{"value":{"amount":"+0.6659184694290161","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":"Q3506397$0B88FFF0-0362-4E04-B625-CAA92953B010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3506397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3506397"}}}}}