{"entities":{"Q3575267":{"pageid":5605171,"ns":120,"title":"Item:Q3575267","lastrevid":87459554,"modified":"2026-06-04T11:44:09Z","type":"item","id":"Q3575267","labels":{"en":{"language":"en","value":"Abstraction of object graphs in program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761621"}},"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":"Q3575267$B94784D6-3372-487A-9BCC-C28803393C9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40935a615552012890415ecf6fc66f13e121c4be","datavalue":{"value":{"text":"Abstraction of Object Graphs in Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575267$31F2A45F-F3B7-47A6-96FD-BE33DB717661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a97d97165d7756a62f65a752c5ad21345460d373","datavalue":{"value":"1286.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575267$DFE0B643-7951-4FCD-909F-CAC9D76FD929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf2e3397c77910e4be666d198dd9ba942675f15d","datavalue":{"value":"10.1007/978-3-642-13321-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575267$01D14014-17E7-4D93-8921-D89CCF5C4F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2786704b3b74043997659c4409f084037af9abb","datavalue":{"value":{"entity-type":"item","numeric-id":276463,"id":"Q276463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575267$60770726-0435-4787-857B-1A1883AD1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4592f758caa5c13c92d413adcd5ccd6bee0651d0","datavalue":{"value":{"entity-type":"item","numeric-id":652157,"id":"Q652157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575267$ED883E51-2E97-4AF9-9641-0743CB954AD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575267$567BE3F5-7C2B-4B58-AB5A-E62425EED977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575267$4447F617-7B3C-4FDE-BF83-40C5E4EBCECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575267$57829C23-EADD-4CE4-A983-3082ABF560B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b60a8c950ecec2b8070ad22a0d4bcf49ad3a6f","datavalue":{"value":"5761621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575267$73A7B7B4-16C7-48D2-8C0F-82C28E5C7337","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":"Q3575267$45B43451-EADA-48A1-A98F-A4A67E55FA8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59f623763bd2725cb07cb62b4b2b8793b6d537d2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13321-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575267$1906EBC1-D819-47E1-83EC-5497FC307A53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dd16d141b3aea6b9e715269a10d7e6a9194ec4d","datavalue":{"value":"W2164805287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575267$77C62971-06D1-4031-8A11-50ED36323C9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1e6c6fc26e94b52a8731f0edc52b7b70a33a","datavalue":{"value":{"entity-type":"item","numeric-id":744329,"id":"Q744329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97278173ded76a700953e2326861405ee3a765e2","datavalue":{"value":{"amount":"+0.7863001823425293","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":"Q3575267$D3B217C9-4357-4220-94A3-E56A3899548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8519f3b0aa1e31ecd1419756e7021ce0114f022c","datavalue":{"value":{"amount":"+0.7704420685768127","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":"Q3575267$59E438FC-F934-414F-8BB7-DDCD1FCCB3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34ee233c4998eec3b8bc421d1a53ce0c8faccd0","datavalue":{"value":{"amount":"+0.7655083537101746","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":"Q3575267$B2E32E50-BC3D-4742-BD45-ECA7997F4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8293ca67c7d9a2a6c194577ac968788ca3bb58ac","datavalue":{"value":{"amount":"+0.7585553526878357","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":"Q3575267$65D24BA4-CA3C-42E7-AECE-CC10EF1CF826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff16aff736f5a3496860cebfc11166e511f9acc4","datavalue":{"value":{"entity-type":"item","numeric-id":3618818,"id":"Q3618818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83778ec60175382301b5bd22866fe8c98dd4754b","datavalue":{"value":{"amount":"+0.7529149651527405","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":"Q3575267$CB9BFF79-61B9-4BD5-A799-9FDD080CE0B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction of object graphs in program verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction_of_object_graphs_in_program_verification"}}}}}