{"entities":{"Q6536349":{"pageid":14147492,"ns":120,"title":"Item:Q6536349","lastrevid":55637302,"modified":"2026-02-17T20:08:09Z","type":"item","id":"Q6536349","labels":{"en":{"language":"en","value":"A program logic for dependence analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835029"}},"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":"Q6536349$9C7D9DE3-FFAC-48F5-84F3-BF409C54A31D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6774f51941fd9754d69b882a7a5b629f28bf60a0","datavalue":{"value":{"text":"A program logic for dependence analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536349$454F3F69-CA57-489E-A9AB-564720F1E7D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f53675904c3f19bcd41ba71b1fd47799d867a7","datavalue":{"value":"1540.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$866CD995-C41A-4F24-A5BC-3E4C97662E0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfcd12ad3c75fea690c659cb319e8dcf7c322b7","datavalue":{"value":"10.1007/978-3-030-34968-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$264F4568-28D4-4A14-9E4A-9DD7A21EA09B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$B7C8D610-42DA-4DC6-AEE3-8ED110C9041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$BDE7BA4E-61B7-4774-9783-56F104B54AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05025e57333281f4a6de89b9de6e97c0271029e8","datavalue":{"value":{"entity-type":"item","numeric-id":6536348,"id":"Q6536348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$C95E45A7-523F-429F-AFBC-F69DE4FE060A","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":"Q6536349$ED50F5DD-64A5-474B-AE29-68E59CD3E3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$3F232D8B-CD45-4E4F-9C1C-BCF198D54FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$FE424039-CC4B-439B-9082-F8EBC6C850EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$C48E937B-7943-4577-B5CD-9A86D5C5636E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36d6a3c2a2bfef2018bae67b1b52e1419f6db96d","datavalue":{"value":"7835029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536349$0C277DF6-F26D-49F1-912B-97536D12B83B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5788e1d4e1a1fab267af5769fe0754f2ecb6f7c3","datavalue":{"value":"data dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536349$03F929EC-699A-497C-8D89-36CDBE4341A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536349$CADB109E-178E-47EB-B023-6F9783F83AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536349$B5728D7E-C884-4A0F-9990-8792C96CBC97","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":"Q6536349$C806B1D2-8E00-4C70-8509-6315E672B2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d186f3d2a569486e01364738055a971670e318e6","datavalue":{"value":{"entity-type":"item","numeric-id":1186095,"id":"Q1186095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$8DB43F09-B21B-45C8-A156-9E4BAF992F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$F5025EC2-B579-49EA-AF85-7E0D7BB8B1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$9AAC3557-A12B-4256-94AF-81E473604455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536349$A617F797-1EF9-46A8-8FB9-3BA7066226A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e069295e9a0efb0bd7ee533a47b8ccab77451d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1884938,"id":"Q1884938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dcf966837ad02066eb0b23e0091af3a79cc6c6","datavalue":{"value":{"amount":"+0.762703537940979","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":"Q6536349$D98A7C67-0FA6-46D4-B0FC-DC83F15899AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08347eef503ef7ac96f08b390b8462d50d19a875","datavalue":{"value":{"entity-type":"item","numeric-id":5387902,"id":"Q5387902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0079c60201794427ed292a19d58afd90be33c54","datavalue":{"value":{"amount":"+0.7451041340827942","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":"Q6536349$FF902DDE-0492-468C-A0A6-578B60B3F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463c017c63123a5a7706cea41aa2efbfc850c27f","datavalue":{"value":{"entity-type":"item","numeric-id":4706748,"id":"Q4706748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92287cc01bdd18142e0f3609adc424dd4cc36397","datavalue":{"value":{"amount":"+0.7409424185752869","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":"Q6536349$4E5A0EFE-5BEA-4DD4-8AA0-8D4313E19BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c581e951f58f3bce6a6014276c8ace14793f96c","datavalue":{"value":{"entity-type":"item","numeric-id":3617713,"id":"Q3617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7997387c0677560990b1cbf72c2b9669e9640557","datavalue":{"value":{"amount":"+0.7386066317558289","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":"Q6536349$88662004-CDB1-4510-B212-2CC4C77B5F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0160429c917b23ab4b1ad0daa677340b454ed3f","datavalue":{"value":{"entity-type":"item","numeric-id":1823652,"id":"Q1823652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc775fa8a93ecb80e9e0b903e13a212c685ef44f","datavalue":{"value":{"amount":"+0.7360712885856628","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":"Q6536349$1DAA5505-F397-40EF-9893-84FC8B63BB96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536349"}}}}}