{"entities":{"Q4649305":{"pageid":6678886,"ns":120,"title":"Item:Q4649305","lastrevid":51600935,"modified":"2026-01-19T00:38:34Z","type":"item","id":"Q4649305","labels":{"en":{"language":"en","value":"Variable probabilistic abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109377"}},"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":"Q4649305$F6015442-F329-48A0-955C-5E11563C3585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84e453811d8c39741cdb58fb5c58bbe2c17c1baa","datavalue":{"value":{"text":"Variable Probabilistic Abstraction Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649305$5BC6E5B3-D32A-4C56-B823-FEAFDB21BBF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6be09addf2f1610303526001070366add4eb4238","datavalue":{"value":"1374.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$193F5B77-EF3E-4F10-8E47-1FF86AD56660","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23bc58c41ffc9901b675ef5eb01969de527dbfb1","datavalue":{"value":"10.1007/978-3-642-33386-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$8112EEA1-1485-4628-B9EA-422FA2568ECC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20729f229ffec9de81c066537b24905752a0ed56","datavalue":{"value":{"entity-type":"item","numeric-id":282102,"id":"Q282102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$D14C7AC4-DBB6-4705-9A90-B30123F14B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$BA402BBC-2B97-4277-A500-2413A01537DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$DCE1A520-9935-4BD3-B493-A2C12D955E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c04c4d3aa82402df548239aa67b1fec7b261d7","datavalue":{"value":{"entity-type":"item","numeric-id":627127,"id":"Q627127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$B4018081-C99F-4115-BA2D-57EB1DC5972F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$571121AD-6F00-4B73-974C-751EFA12E4A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649305$831A95FC-578B-45B9-B48B-A26D21C9AF88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$9A322062-7CDB-4B13-A2FA-3563EFFEEB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$40F4A1D5-9229-47C7-8797-C97330414CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$85A69351-3233-4FBC-88CB-6635A1B4C5E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ec3003165f9e45989e44d68e52f6b097c25552","datavalue":{"value":"6109377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$7213E070-C27A-4951-B871-2B7591FFDFFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$EE4DDB92-A4E5-4CBD-8189-024100FBDA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$76E2AF9D-1F6E-43EF-90DB-2DAE7C38C3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"292b25be0fc4294a78c841866f3fe190176afd23","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649305$01C818A1-B89C-4C37-B922-A08589EB8898","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":"Q4649305$840456E5-6FB9-41FE-9C44-F5155DDA3023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf519fe2e1f531599f818e403ad51ba48a7d9abd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649305$B2FAB5E9-87AC-4423-8A02-F74F5C176D6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e222b83b215ea97c956c48ac5411538703413fb7","datavalue":{"value":"W1650157420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649305$E4D56993-C142-4BBD-9D13-A838178CEF2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92466333a2dc3690fe3bbb80844d55b18e8dcdfb","datavalue":{"value":{"entity-type":"item","numeric-id":2937733,"id":"Q2937733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8ffb2f4c7643437d34c096651c7960d18f4434","datavalue":{"value":{"amount":"+0.8059086203575134","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":"Q4649305$8D1F6123-1828-4681-8F30-C64B22232FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ebf9744fbfb3e147c3786315c60a34c6c54e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef621aa7dd4ae05de312189e4491ebaeb23a019","datavalue":{"value":{"amount":"+0.8036180734634399","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":"Q4649305$D4727A46-B8A7-48C5-94D5-D211CCA192DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea72899cb02450c9edb11c84fffd8ac8e735e50","datavalue":{"value":{"entity-type":"item","numeric-id":5151039,"id":"Q5151039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f042799107dcfa580d3245dd16301b0e0d6f364","datavalue":{"value":{"amount":"+0.7972627878189087","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":"Q4649305$A830BCAA-CF67-4BC2-BA64-E00469DF7AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1cd95cebb0954a4a31772091de0d64788e00c","datavalue":{"value":{"entity-type":"item","numeric-id":2453108,"id":"Q2453108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054250c92ecb6566aca305a3bb64778423c74435","datavalue":{"value":{"amount":"+0.7956793904304504","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":"Q4649305$82728232-8323-4D0A-AEAD-4050BA1057DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae2bef8f26a1b90e5e917bdf10abb0e056bf505","datavalue":{"value":{"entity-type":"item","numeric-id":3656896,"id":"Q3656896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd4f4b552a22ded420a3a18492c814dba0f1c86","datavalue":{"value":{"amount":"+0.7949247360229492","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":"Q4649305$5415D37D-8146-4479-B640-E6AA7FE8343E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649305","badges":[]}}}}}