{"entities":{"Q6536282":{"pageid":14147425,"ns":120,"title":"Item:Q6536282","lastrevid":55636660,"modified":"2026-02-17T20:08:05Z","type":"item","id":"Q6536282","labels":{"en":{"language":"en","value":"Syntactic and semantic soundness of structural dataflow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834934"}},"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":"Q6536282$F38C0A27-D455-48F9-BD7D-29E48F999E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69937bab935a508b9149d5b37539dec3895b990","datavalue":{"value":{"text":"Syntactic and semantic soundness of structural dataflow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536282$3F70E0E7-F0BE-4316-83DD-0A89753EF4C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b40142caf8e619c5150b3efac777ae0e93685d6","datavalue":{"value":"1539.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536282$7E163C9D-6BFC-41EA-A067-AB80C93E7021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9642b4dcb36609091d28748ae9c35af347bc8738","datavalue":{"value":"10.1007/978-3-030-32304-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536282$777363D2-7551-4B36-92AD-19867E5FBD93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$4C78E3E9-1190-4095-9A86-EFBF0FAB13C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536282$C94F975A-4E81-49B6-93B3-BAAE9D8CF0F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536282$F042B980-3A07-4DE5-BD54-0FDF570637F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536282$DC10C28F-16BB-45DC-8DA2-0FFC7F464C0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec7ba7aa372e45d4be5010eccfea8c1eaa28d097","datavalue":{"value":"7834934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536282$1FA7F168-1704-4FA8-A54B-23C2439B28C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536282$C4DD42E7-9E60-4EF4-A87A-615A366F5F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536282$1D6ACA0B-7017-4F6F-BA2C-4F235359B8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536282$88D3A4F9-565C-4839-887E-5BBFFD6452D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536282$0C9F5438-AA19-42E8-B1D9-C256CFC8FEE9","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":"Q6536282$C099258B-AC68-4C0F-8FBD-8B678C2A7A10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a990f3ae6f1281485886371ab6a93496eec9c","datavalue":{"value":{"entity-type":"item","numeric-id":5667999,"id":"Q5667999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$17FFB58D-FACB-4B46-9BEC-4A8D3D0B4D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e508dc081d7bc8bf96b09065710100d762fab295","datavalue":{"value":{"entity-type":"item","numeric-id":4048580,"id":"Q4048580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$7C5A940D-F1C5-4197-B142-DF019785EF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5615be6a0ca317deca788c5928065f9f47566a","datavalue":{"value":{"entity-type":"item","numeric-id":4079026,"id":"Q4079026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$6DBF9F63-B60C-4218-94D4-96308BA9D362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf81e90c4d39cf308573fec5a89309ffbd96471","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$C74B3391-AEEB-4945-9952-FAE71BC51E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797babffa536f1b5c470861cdcf66c004829de59","datavalue":{"value":{"entity-type":"item","numeric-id":4484505,"id":"Q4484505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$E3802631-833E-4D1A-8121-8A3F51115677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$37CAD873-5409-4B5D-8768-679BABA10767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e88f7dd3a89a6b62cdcaafbbc1b6c3beb0babf","datavalue":{"value":{"entity-type":"item","numeric-id":6536297,"id":"Q6536297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$4100522D-C041-4F47-972E-D0A9BBCD0154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$6D055F28-D803-4219-B780-F885E1249F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$22372051-A712-485F-B89E-4F4FDD116296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$BF319C1B-D2EA-43A2-9FF1-7A94309C9748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d42a8e61087bb6e8552915d261da43942d1695","datavalue":{"value":{"entity-type":"item","numeric-id":1012127,"id":"Q1012127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$48C0A1F1-D887-4C27-B6FF-E3AE40423A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7aaf976c225986408756757314746b6cc364efb","datavalue":{"value":{"entity-type":"item","numeric-id":1960538,"id":"Q1960538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$2A3AC667-3074-4233-98EF-ACD8DC20600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$01231AF3-9DF2-40F4-8290-E8FDBC9AC7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dddbf5a0828a483977d32a11acd4a387dc86011","datavalue":{"value":{"entity-type":"item","numeric-id":4133096,"id":"Q4133096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$1907FA21-17FB-4DD1-A642-D23FEFFDF8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e5614676da65d3785e5ab95bbf9e544d539b72","datavalue":{"value":{"entity-type":"item","numeric-id":4105782,"id":"Q4105782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$2507224E-1D1C-471E-BA80-DA8ADAB6DD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$0EFEBB9A-B7E8-4799-8422-F171136BF337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bcb4d05c250c8c4da99d24ede978057803da26","datavalue":{"value":{"entity-type":"item","numeric-id":3888514,"id":"Q3888514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$75EEEFA2-B1F8-4C80-A2C8-569228E9B0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad29f563b5ee5d553bc359eb4b2250c25b7ef63","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$FD3FF2C5-417E-4311-988A-F0B5CC075AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae86f7f9a887a687514e908a95983eb040c75aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1330457,"id":"Q1330457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$9108A604-709D-4783-9430-13A0F5C58A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536282$4B96A6C8-C7B2-42F8-A83D-A656E2245FC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee977031e08c187582c3a5bfe1646ac9426537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3709882,"id":"Q3709882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2742923c450b3edc50b2636afb2f21cc83de7d","datavalue":{"value":{"amount":"+0.7208186388015747","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":"Q6536282$5C5D721F-1596-491C-ABAC-C153B1ECDA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097430dc17ae1989af25e0cb8163bca7990228d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5233502b9e5756820017546c7e06bedc5da38f6b","datavalue":{"value":{"amount":"+0.7132386565208435","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":"Q6536282$A0C07C9C-7134-4023-8AE8-8FB55A28A28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5678091b5cd253364fa8ee3d5562d3f4aa8434ae","datavalue":{"value":{"entity-type":"item","numeric-id":2487118,"id":"Q2487118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061ff518b43f4662b45337f37d1073facddf9439","datavalue":{"value":{"amount":"+0.7018524408340454","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":"Q6536282$4B83BF85-60F3-4712-AC72-865C4B63D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd07b60064c7d8c36eed6e8315d4ff44f875106","datavalue":{"value":{"entity-type":"item","numeric-id":4012707,"id":"Q4012707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d646903fb030c62aca3aab50138d9791a558c328","datavalue":{"value":{"amount":"+0.7013164758682251","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":"Q6536282$F06DF48C-DBCB-4110-9CB3-3ECE094D2B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfba4c6bb3254427b3a4759ccf3be9eb052b61f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178843,"id":"Q5178843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9460738c8e29f3c744156e83e3266cfab6ebac46","datavalue":{"value":{"amount":"+0.698837399482727","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":"Q6536282$28839D51-1C73-4C23-A85A-5E33D1F5F5A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536282"}}}}}