{"entities":{"Q6536281":{"pageid":14147424,"ns":120,"title":"Item:Q6536281","lastrevid":55636645,"modified":"2026-02-17T20:08:05Z","type":"item","id":"Q6536281","labels":{"en":{"language":"en","value":"A change-based heuristic for static analysis with policy iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834933"}},"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":"Q6536281$D4A7A547-85FA-45BD-B96B-0697E202037A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09112fdd8ecddccce7a732497f9e6afa95bd30ef","datavalue":{"value":{"text":"A change-based heuristic for static analysis with policy iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536281$FB08AB79-2D3C-4C9C-B34D-EFC79FCB9BB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c16e7acb154f6101cbf367ee4b5dc4854368488e","datavalue":{"value":"1539.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536281$30B13231-4DB7-4F8E-AEB3-38F2265C8A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e38ff01fefa0da36b63cca0079af42e3cdf918","datavalue":{"value":"10.1007/978-3-030-32304-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536281$A0D7C14C-1FA3-4E91-AC1A-747CC92E28CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe56e0410413748c4e8debcf9f8b74b42f0462e2","datavalue":{"value":{"entity-type":"item","numeric-id":4631186,"id":"Q4631186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$E0360DBB-33E1-4E26-B36F-FD6CBC88829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d00f922b699a93e6b4ff546635f394a57646991","datavalue":{"value":{"entity-type":"item","numeric-id":271718,"id":"Q271718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$D0EF3BEF-1E14-4FA8-ADB3-28189DEE6359","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":"Q6536281$CD26CD4E-8F12-451B-B424-1AEDD2CEACD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536281$C440AC91-E14B-470D-B8A3-902EDA38C06F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46b231f9ba771bb8db9584181d24b7ed3b26c9af","datavalue":{"value":"7834933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536281$BC1AC096-3A56-4FBE-82B5-6D025498850B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536281$F503A4EF-E2EC-4CFE-9412-379BA3583CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b10e2a9a27131d539e1c1db108a9f99837f5657f","datavalue":{"value":"value-set analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536281$2879735E-D80B-492E-BA48-287C2EF3BC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536281$3170001F-4A69-46C3-8092-FEBBB08FB8A1","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":"Q6536281$561EE230-208F-414D-AA9B-E977B4C8407E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$FA4228FF-0D8A-4EFF-8CE7-CE7AF8CDA624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$A8B7F0BB-6AC6-48F9-9874-60BAED5DD706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$317053E7-0680-4EC6-85A4-AD604F296D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0459d1a93a135deb9a3f3404173b887fd894a7be","datavalue":{"value":{"entity-type":"item","numeric-id":3266141,"id":"Q3266141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$00FF94E4-5246-4B4F-A8BD-F15C3BAA3C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$4F71E917-32F5-417E-B495-2E1203A1D9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$0E4DA597-F885-4CEE-B8B5-6C5CC3147876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$2BB08C21-D97C-4ADE-BA0A-CEE2702F174C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b375626e8168abea54be4b23d013772e4058a985","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$19214700-1455-4FAE-B3A3-D362C8013E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97026ff867e9e8930c46597d3e97726c6091e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":2926655,"id":"Q2926655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536281$095396E2-9FA3-47DD-926E-1AD9AB557E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5df45c143d99ab4df25b9a08bdcc2a884a994f","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59ec79f8befb0717a868e0c9faf6f3072f8f617","datavalue":{"value":{"amount":"+0.8037696480751038","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":"Q6536281$10C6946A-B34F-4173-ABBC-D6EFB03A9D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37277b627d283564f92f54cb915029352a30b141","datavalue":{"value":{"amount":"+0.7757262587547302","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":"Q6536281$2448E81E-EA4E-466C-A5EC-C8393CB350FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410494f30d818623bbb498411c6d04dbb39b98bc","datavalue":{"value":{"entity-type":"item","numeric-id":888469,"id":"Q888469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2011373fa664001f839c89bc2839d45f610f3a4","datavalue":{"value":{"amount":"+0.7622988820075989","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":"Q6536281$16A27169-DE3B-4E5C-8262-E3F23048B94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66794fab986ab586674e055c8004fe98432b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2406948,"id":"Q2406948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47701983aa685f7689545bb798bb76736fc9a779","datavalue":{"value":{"amount":"+0.7413720488548279","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":"Q6536281$34D36CDA-1083-4B84-883C-EC32D7B9A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d980547ed5c34afea0189d0125ba2f76d8302e27","datavalue":{"value":{"entity-type":"item","numeric-id":2796041,"id":"Q2796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66fba85b3587a77ffdf682f56a1efabf987b223","datavalue":{"value":{"amount":"+0.7375687956809998","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":"Q6536281$F2A7FE09-32F9-4EFE-A189-B8490F7837B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536281"}}}}}