{"entities":{"Q3007669":{"pageid":3018393,"ns":120,"title":"Item:Q3007669","lastrevid":80157311,"modified":"2026-05-06T15:34:02Z","type":"item","id":"Q3007669","labels":{"en":{"language":"en","value":"Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908728"}},"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":"Q3007669$F07D30CF-27FE-4C39-B616-88D12355EE9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe5fd4e32e91d3dbc85a7f972f23a060c120441","datavalue":{"value":{"text":"Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007669$28C265FC-3E34-4D5D-81DA-A541CE668301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a0d7657b85999278ecee6dc59e3b04988a05da4","datavalue":{"value":"1331.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$BAFB2E2E-5400-4E6A-9FA6-0B3B5721CA3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15174393d1974e4d215a813242989675d5069b9","datavalue":{"value":"10.1007/978-3-642-21691-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$14FE39AF-87C7-4017-B3D4-509FB538A25C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604e2732b1b9634c7f23f07fef29c6e42547c2b5","datavalue":{"value":{"entity-type":"item","numeric-id":387989,"id":"Q387989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$4FFFD4DD-0707-415A-BFFA-23C00AA10FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$2BCD45F1-1FC9-4E4D-8AE1-A144B8C7038B","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":"Q3007669$63A512FE-1275-4C26-B528-5CD7E096F41E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007669$C4753D2E-74A7-4ABE-ADE0-31324D9B245A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$A06B1449-52CD-4A1F-A4A3-0AF1AFF32D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$E7D11664-DB71-4DEB-B507-DAF0D24840D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b2e8156ee28f613aca50f1a8595fb59b23abe4b","datavalue":{"value":"5908728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$2031EE0B-5CA5-4F05-88CE-9382AC6B82CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$A6B421BD-D455-4F69-A964-B5E752A7C465","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":"Q3007669$4798A89B-7211-4603-BD5C-F40A3C45B27C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001045a9a0c94169f6676a5e8729799faa961bb0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007669$F641D286-0DDC-4111-8F5B-D42BEC9FDCCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68002ddc8fb4cd90f227366cfab21d6540092015","datavalue":{"value":"W1241964149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007669$38DF8198-6F06-42A0-940D-134289A2A39B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$51A68024-4B14-4F77-A4F6-B3064F629C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$27AFAD80-32AE-4F42-A529-55859C65C522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61ba215039c96cd178dc11f47607c7c5bc1d306","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$12F6E124-0CD1-4105-AF0F-FA75F7561DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0907ce16827b1cb213f6a1b23bace3e818885daa","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$6F4FB2DD-B9CF-4FE5-A819-7438FC5A141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940308fc5c922ecabc684d305a3561c72119b72f","datavalue":{"value":{"entity-type":"item","numeric-id":2481559,"id":"Q2481559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$CDD1EBEC-1384-4A10-9DE9-CE713D7434BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adc840107dd24ff876316ba1c1e8a174236053f","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$23084A4C-FBD0-440B-AC2F-B20287BDBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ccdeea0efe5c71859ba41af585d6b409ea68c9","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$3A599366-36D6-4DDE-85BA-10A181D53380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6bd229310ca619b7fcb519bbac929ba983c837","datavalue":{"value":{"entity-type":"item","numeric-id":4405689,"id":"Q4405689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$B44A75E9-1205-45B9-921B-FED6CAFC237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$120F8DBD-D985-41DB-8816-09C6E56902D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$395F0B34-27D1-440E-9DFF-F406878667D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$D11D61D4-FF51-47C4-AF86-ACE05CBD2527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$E6C673E5-C75E-4D01-90CA-9F3DF42B67C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$CA6B8BE2-42F5-4DBF-B8C0-9BD5D1B49B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$E25DB8D0-6E8E-4F72-952A-883AC715DED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f573b0bef10376a31e968abbc5a44a42151df742","datavalue":{"value":{"entity-type":"item","numeric-id":4246944,"id":"Q4246944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$A24F1BF6-BF0B-4DE4-A169-AC7618865D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc34a34f29090d7e05153556366d2164ee64890","datavalue":{"value":{"entity-type":"item","numeric-id":4322072,"id":"Q4322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$2A967882-1C93-46A8-AA42-C8DF53E3DEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5df928df94ea5ce4a0e35dccaf8816590ae7afa","datavalue":{"value":{"entity-type":"item","numeric-id":4414731,"id":"Q4414731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$155FCCA2-E7C7-4A83-8D10-A2361B1A5595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$740D22D9-CEED-4152-9BE1-8C295DC46D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$D1A6434F-0B4F-4E3B-AB4E-FEBEE4F72797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$19956BC4-FB03-4AC3-B745-537A8F33B1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$699521FA-4BF9-4092-BF2E-678B3D9DCFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007669$7AB33D99-0FFF-4202-B29C-56EDB355F027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b4542b8ae5e8cbdf510b44a7fe715c56e29b06","datavalue":{"value":{"entity-type":"item","numeric-id":387991,"id":"Q387991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6266d39bd166e25c89700a63b208db4b870d7b07","datavalue":{"value":{"amount":"+0.827186644077301","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":"Q3007669$65D0B7B1-E104-4353-8073-8E7993A37FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69a3b8205af1a6e69c73ab65c0f933e5dd70a98","datavalue":{"value":{"entity-type":"item","numeric-id":4493905,"id":"Q4493905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3120138015700712ef77ae6876908ef9e261427e","datavalue":{"value":{"amount":"+0.719656765460968","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":"Q3007669$2B6849E5-7024-487E-AFD3-181AED006D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c79531b122cb8e2114771db879567f923e70c7","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603f86f416ec63852a9755e79331fa455a11baa1","datavalue":{"value":{"amount":"+0.6945979595184326","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":"Q3007669$90646F26-1054-4B7C-9D06-E23114BA0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d8abc9830180e9f98bdccc10033b3141909948","datavalue":{"value":{"entity-type":"item","numeric-id":1434358,"id":"Q1434358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ede0f5f8c88e3b81f8e4cc6f5864f00999a7f3","datavalue":{"value":{"amount":"+0.6899295449256897","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":"Q3007669$7EB50070-B79B-4A80-951A-C6AD5D1C0EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba9fd087b4ae6e1e74aa276b8f0478d6c446ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261073,"id":"Q4261073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6896d4fd5bb41f7db35c34646b4f5ed5fadca05f","datavalue":{"value":{"amount":"+0.6882457137107849","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":"Q3007669$CBB5C09B-2FF6-4505-BB3B-B3FB3C0439D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximation_semantics_and_expressive_predicate_assignment_for_object-oriented_programming_(extended_abstract)"}}}}}