{"entities":{"Q3613381":{"pageid":5643287,"ns":120,"title":"Item:Q3613381","lastrevid":50603666,"modified":"2026-01-14T13:13:29Z","type":"item","id":"Q3613381","labels":{"en":{"language":"en","value":"Abstract Interpretation with Specialized Definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528249"}},"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":"Q3613381$0513E40D-63AA-47A0-B0DC-16DD90283B4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6bb195fe4a00d29bc48c597a76208f02f66931","datavalue":{"value":{"text":"Abstract Interpretation with Specialized Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613381$FB7F9FF6-3BC7-4CAB-B0AD-ADDDC1A28513","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f5677af1077ed2c057fa4c12380f167f2bc32a","datavalue":{"value":"1225.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$66905EE2-1F67-49A4-BF4D-8E91F68D21B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e94b727aa8657a54e7cca279574f50910c1a8332","datavalue":{"value":"10.1007/11823230_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$E174ECA6-AACE-4FF1-A8AA-69671DC6AAEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$0AE2480B-A406-4E3D-874A-1C93A465C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$935E53F4-3034-45CC-B6A5-72D21ED83E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$962E4AB7-DADA-4BB9-88C6-9240BD57C451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$2120C881-7F02-4737-8036-CB855C41849A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613381$01501CCE-0C9A-48DE-B113-A6800A60ED7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc1aa5f20c2295589f5e1823ed55ee526a5a9a90","datavalue":{"value":"http://oa.upm.es/14348/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613381$771BC1F8-3F52-434E-A9D3-74B8029ED78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$6F784466-157C-4442-BDC1-6CCB19B396CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$CBD0BABA-47B6-43F6-A5A3-80AFDD7249E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ded7be937583a2251d300d0ad42daf3ae42654e","datavalue":{"value":"5528249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$29BDE63A-73E2-4F3C-AB88-3708CDE5A9E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$C0FA9004-02E9-4467-B5FC-C52BA7421826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613381$744DE8A2-9AFA-4CF4-87BA-2C5A2A53E465","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":"Q3613381$888A966F-FD66-4B05-8924-93A11A44EA38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff8e963337a3f72fc45595d817d572d41fee84cc","datavalue":{"value":"W1884591353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613381$6F0A0FFB-716F-4466-8147-7A419016D49F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8943e16bcd7c4c879d63f7f6899de2a2f6454c28","datavalue":{"value":{"entity-type":"item","numeric-id":4944878,"id":"Q4944878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5b479f3e4a98d70ea13be0569208e72b9abbf6","datavalue":{"value":{"amount":"+0.8443843126296997","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":"Q3613381$C24E4772-54CB-4C76-AF79-66CA02A5D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f9dd4b34a5b400236566619697ee4c22cf75ab","datavalue":{"value":{"entity-type":"item","numeric-id":1108783,"id":"Q1108783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c5a55d0e58fb2ed02b44241d32a6189d98bf7a","datavalue":{"value":{"amount":"+0.7867913246154785","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":"Q3613381$1622E575-FB25-41A0-A78B-B774A305E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d705dd29f2d763f47020d2b165c09e22dcdbaaa5","datavalue":{"value":{"entity-type":"item","numeric-id":4939539,"id":"Q4939539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8f4bce80ff0c1568c2dc9f9932c118bf24bbd7","datavalue":{"value":{"amount":"+0.7755568027496338","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":"Q3613381$C41DB22D-97E5-40E5-876F-9D219BA5B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fedf6b54ba62771e32fb397f4b3c8c5b86bc6d","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d9b6ef906a949655c04d7b59d1fe83c783ebac","datavalue":{"value":{"amount":"+0.7722117304801941","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":"Q3613381$5CE48519-AFA0-403B-996A-F03C628F3151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470678f6846852df1a36a9857d6d3cbf6d0aa620","datavalue":{"value":{"entity-type":"item","numeric-id":4813396,"id":"Q4813396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5273e5cb3f379d95ad2fb0d8101f9a475f845f79","datavalue":{"value":{"amount":"+0.7706111669540405","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":"Q3613381$9FAB8774-E554-4694-8EA7-D35F703A3061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613381"}}}}}