{"entities":{"Q2848146":{"pageid":2858866,"ns":120,"title":"Item:Q2848146","lastrevid":83764772,"modified":"2026-05-07T10:53:34Z","type":"item","id":"Q2848146","labels":{"en":{"language":"en","value":"A state space distribution policy based on abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211537"}},"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":"Q2848146$354904AA-0A93-4458-B34B-2639F7F629BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af549fe9afd6aa2df2e620e0133987885eb6b65","datavalue":{"value":"1272.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848146$6BC774ED-2B83-4249-B6FD-FACD069700CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2652922bfca31ce2044bca7ed71686d498c8b00f","datavalue":{"value":{"entity-type":"item","numeric-id":960853,"id":"Q960853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848146$FEA923C4-B01D-4E4D-AE38-FAE50110957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848146$ED625004-B8E3-4AB8-82D2-F65A30F83259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e294a88736c94f19513e5548eeafd88b875b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":883138,"id":"Q883138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848146$8A4EB1C3-55A4-4024-88E3-B2AECE61D172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848146$CB3423D6-2B2F-4AE8-9E13-D0E8224956ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54ef6ce174b25a6be3267fb8fd1e4b2fbcb582d7","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001660","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848146$EBCE41F5-0F1E-4E4E-8C98-7EFC79DF94EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848146$1DEAA6F2-E258-4C2E-9A77-0888E2C75FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848146$3D19CED5-8E68-482D-A670-3AA24275A6AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63ac71385221fb5b1094f032f512fe376c648763","datavalue":{"value":"6211537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848146$8F6DE747-FA8C-4BAC-BF46-E4D543F482DF","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":"Q2848146$746CDFBF-22CA-4F56-97B1-C85C88BE7A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2405a8fd59e0e4fe8bf0235bb9f83acf2cd8ed","datavalue":{"value":{"text":"A state space distribution policy based on abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848146$EAF862C3-FAEF-438C-BC8C-CAF2BFB2B24D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1a29f3872ca9b309c356fb61d0838bb5ecca12","datavalue":{"value":{"entity-type":"item","numeric-id":2845494,"id":"Q2845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d58b90c3f46b1fd14f91836f2f9ee190b5b96f5","datavalue":{"value":{"amount":"+0.7397041320800781","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":"Q2848146$5FE86DF6-790E-4064-B86C-A2C8E8B098ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf26c40a90db74b31763f613b036a0feee90fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2842853,"id":"Q2842853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ae058726c5d767a2e5d6813efc300715af74fd","datavalue":{"value":{"amount":"+0.7311325073242188","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":"Q2848146$D9F711C1-8178-45A6-9E2A-91D7E6759612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7428ffd7e466731f48897279cfd7bb2ad38906e","datavalue":{"value":{"amount":"+0.7246168851852417","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":"Q2848146$301ADCB6-99B9-4574-9235-743B061DFFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccbe6b60ba3faa2b2277f53e4f3db005c3b6c73","datavalue":{"value":{"amount":"+0.721245527267456","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":"Q2848146$BB9E8758-5ABF-4060-BFFE-EFC3E89F6D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbdc3a2036814633ac5273bab3c67683624e32b","datavalue":{"value":{"entity-type":"item","numeric-id":2866323,"id":"Q2866323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f8e2cdfb3a1033267b8ab366234e37fbae91b1","datavalue":{"value":{"amount":"+0.7148585915565491","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":"Q2848146$583B87DF-53F3-46F9-AB29-E9D2574C5991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A state space distribution policy based on abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_state_space_distribution_policy_based_on_abstract_interpretation"}}}}}