{"entities":{"Q4968492":{"pageid":6998071,"ns":120,"title":"Item:Q4968492","lastrevid":98235365,"modified":"2026-06-05T17:00:31Z","type":"item","id":"Q4968492","labels":{"en":{"language":"en","value":"Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080561"}},"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":"Q4968492$C8BA6BAE-B830-468E-9B96-2414724F0032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd2dda27b0a1a50c372b42691353f4b7ed87e13","datavalue":{"value":"1415.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$226E53F9-8AAB-432C-9082-D48BEE9277E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07ad31afc6ff4a4b26a7f15f2729f55a4a601bf3","datavalue":{"value":"10.4204/EPTCS.129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$A2DA4A41-B029-4539-9514-5FD0071F098E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4968492$0742ADFE-FE00-47CA-B808-B71E7FF04ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0eaf95e77ca1b4130000107923cf17e957ee1827","datavalue":{"value":{"time":"+2019-07-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":"Q4968492$868E9E07-89D1-48D0-8A1C-68CAE2ADFFFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6a4e8d6a7f76b9964c27386c141534a9837dfba","datavalue":{"value":"https://arxiv.org/abs/1309.4557","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968492$8ECC2E4D-738C-41C0-9BD0-FBA405DD57E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaffd3b4517c46e97c12b89051924d49baf4e92e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?DSS2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968492$1E92B22F-2D85-4054-B29E-52015F02C3BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$EB9342FF-0310-4990-9C59-2E5338838DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$9607D2B3-5DB4-45B1-95AF-DEEE8EE676E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$FCD610E0-2BD0-4BAD-B33B-88F1580DCB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$11D65134-F60F-4254-BC7F-4AF0AF544F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$AE533CDA-E153-41EC-8830-3C40ED5E3262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3ac3972e57967a2fd1be48e87e0ee1708bd9e26","datavalue":{"value":"7080561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$0CEA6414-2B14-4814-AB66-706E408A7D23","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":"Q4968492$E58AC4F4-C02F-4D21-9CDE-62F754FD86C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937f856e76d3f1f3291b717910c90d639e781d2e","datavalue":{"value":"W1738250472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968492$DD16AC48-7A91-4059-8DA5-C402A920C7E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33be37e84fff5da4257364cb17cc533679edff7c","datavalue":{"value":{"text":"Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4968492$2070DD4D-B7C6-4AE3-884E-B6801F5285A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85e4c2a3bd364abba9e2ec5e6a10d808a4859d0","datavalue":{"value":{"entity-type":"item","numeric-id":424407,"id":"Q424407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59721061c56d97d20d6ba238bdf2dbd69bfb17cb","datavalue":{"value":{"amount":"+0.86628485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$C8569627-8417-4DBF-BB0E-DF765A06ABF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2827769ee99268bfc29d5e4c3525cbaff3245e","datavalue":{"value":{"entity-type":"item","numeric-id":4277822,"id":"Q4277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d2b90f4c43d5c333edccf3bca7c0b25ad39ec5","datavalue":{"value":{"amount":"+0.84556836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$77B4F185-ADE7-4503-8C97-44A3F2F475A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ff6dddcb0ea83caa70eaba917d0649f2226fb","datavalue":{"value":{"entity-type":"item","numeric-id":1130443,"id":"Q1130443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e488e6854954e2717ddef29d347bc59a636af48","datavalue":{"value":{"amount":"+0.8376957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$27D2AD9D-7F5A-4F75-B879-3FE3D43681AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe51ec6edc681ef4e4ce9334a709cdd4a1427af","datavalue":{"value":{"entity-type":"item","numeric-id":842345,"id":"Q842345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1404ddf6986f74fd8feada609e471992aa1ccd75","datavalue":{"value":{"amount":"+0.8341988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$BE7B4F53-849C-4CEB-8944-61C3A6A4692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe63f2943914bfc3bc163265cede5887dcd87cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1077383,"id":"Q1077383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c897d374bbe78f1598a854dbb882249f30576ec","datavalue":{"value":{"amount":"+0.83360994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$C035C725-849F-4342-9A0B-1933B8E443A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf10765670b01303eef44f2b2f366f6cad4b063","datavalue":{"value":{"amount":"+0.8318369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$4F6B24B5-072D-43B4-84E4-3961DF2BD6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59717a5332c9c0418e3df6c1934a6ea53fdb976c","datavalue":{"value":{"entity-type":"item","numeric-id":2018847,"id":"Q2018847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e6dcbad8ae17dd87ff24a6941199aef372cae9","datavalue":{"value":{"amount":"+0.83164835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$626017EC-C814-472E-9EA1-71147B709C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d00baa060fd41eaddec2afd9f829534a9fab7cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773308,"id":"Q3773308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882b4aab2802cdc729b298be0d3f1f80d13dd00b","datavalue":{"value":{"amount":"+0.82829744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$49B92090-D37A-46CA-A09C-CA29A9CC4403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede787a1adc092a4d0d2a4fa02fb417eccb6c961","datavalue":{"value":{"entity-type":"item","numeric-id":727871,"id":"Q727871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de4f3ba62ee976cacc597248bc72f9e334565da","datavalue":{"value":{"amount":"+0.82455754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$EAA553FF-4B7A-4CA7-BAFA-96973B7A9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338b35589b2a758ac71fed08167dde0ecbb943d3","datavalue":{"value":{"entity-type":"item","numeric-id":3184148,"id":"Q3184148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54dcf0672812d7c8554c19a1d4fb3d5508a4411","datavalue":{"value":{"amount":"+0.8240769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968492$C72638C2-82BE-4B93-BE5D-3623B9D8AFEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday","badges":[]}}}}}