{"entities":{"Q5408403":{"pageid":7437977,"ns":120,"title":"Item:Q5408403","lastrevid":41608417,"modified":"2025-05-06T08:06:49Z","type":"item","id":"Q5408403","labels":{"en":{"language":"en","value":"A type-directed abstraction refinement approach to higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282412"}},"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":"Q5408403$9AF89CB0-7D9E-4AC9-BC28-61DFFF380581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b169a02742e3fb948274f180b8e1c2366ac8515a","datavalue":{"value":{"text":"A type-directed abstraction refinement approach to higher-order model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408403$C05ED0C7-A460-4D9E-9F15-EA5B5C4B507F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0492f68d577bf8a72d973eaa856fa340d8c96f4","datavalue":{"value":"1284.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$1A5C0300-D175-429F-94FB-B494DC8981CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b325373e29020724767d0ebc30639b6b0f20b330","datavalue":{"value":"10.1145/2535838.2535873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$D4739622-71EC-499E-873A-DF9897894B34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408403$8409C2EB-1292-44A0-87E6-32B2296E6D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6492899581e97fcc908552e818b178096ab32784","datavalue":{"value":{"entity-type":"item","numeric-id":5168913,"id":"Q5168913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408403$62491C61-AB3B-49B7-B531-7027D44DCBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"846e42a3e67aa4382b5e65a05a3ef7c4dc047460","datavalue":{"value":{"entity-type":"item","numeric-id":5168914,"id":"Q5168914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408403$223DBD06-646A-49F5-B2CE-9054AD400E5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408403$91F7F011-C619-457D-8EE2-3D47F40333F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408403$AD4CC2B4-608D-4FDC-9B26-81ADA47AE2E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d6d9e6e00e24f89f869baa09c7500a68eb5d19","datavalue":{"value":"https://research-information.bris.ac.uk/ws/files/135846861/popl216_ramsay.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408403$E0814807-B976-4752-A932-098F23E412CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$3A3A3173-0BB8-4FC1-98F2-86D60346ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$861392A5-A39F-4443-80C2-EFB4A317FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$E1CAFD4F-7827-425C-B594-B79F7992EEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$924A30A1-D1A6-4531-AD4F-717B3424588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$C6D660E9-D24C-4CCA-B902-37EE17BC46BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acaff7987fe77c0559ca1547227c71debeb8770e","datavalue":{"value":"6282412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$8205EFBA-D934-429E-BA46-BEBBA86C3F80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408403$B6F5A310-1C7F-4339-B831-61FBDF438F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf4f6f2283066329ae52ca5a071d4d20f367f14","datavalue":{"value":"higher-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408403$AEA4C565-0DDC-408D-AF50-D19495708B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408403$B98BA565-56E5-4F1D-93FA-62A5D126E2AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68548ec3bb872bf72aa09c0ec06fd885408a75fd","datavalue":{"value":{"entity-type":"item","numeric-id":25234,"id":"Q25234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408403$9362C974-DF41-45A2-B571-9847EB398419","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":"Q5408403$21CB94AF-7ABA-49B0-91D8-FC261191AB2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"057c9b16116948063ab83cd42646e7349aafcb82","datavalue":{"value":"W2071164478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408403$667F3CB3-F907-4022-848D-23C41C9D737A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024c2ec76f810a7d1cdb0dee67024b76f2dc28a5","datavalue":{"value":{"amount":"+0.93320376","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":"Q5408403$9C94406A-7203-4C57-9B58-A4A836932075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdf9db8eba36f363858addc7190246b90994e68","datavalue":{"value":{"amount":"+0.9308514","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":"Q5408403$77DB6E86-5F3D-4FD7-914C-D13644D56D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360b6e95f407b30484300ceaa660de75a99d81d","datavalue":{"value":{"entity-type":"item","numeric-id":5435632,"id":"Q5435632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4643ded3400bcd8d9954d558c742a6d97484f5","datavalue":{"value":{"amount":"+0.9295594","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":"Q5408403$8E8ECC76-A5FF-4146-8A09-FF5F141D3B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9fc369e46fc329463fea3bac110c1110bcfcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a291afcd66ba77dfe7ac00b9e00ea35e62aee193","datavalue":{"value":{"amount":"+0.9236587","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":"Q5408403$80053FA0-C813-4E2D-A925-843AE8E4B30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad11d36cbe30948845805679fe7dfd35d124bdb","datavalue":{"value":{"amount":"+0.922837","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":"Q5408403$679AFCE0-33FC-4B58-8FAB-0030C9109EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f89c2bc27eef1cdb709afd3f818dfc87424f5d0","datavalue":{"value":{"entity-type":"item","numeric-id":3087967,"id":"Q3087967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b29aa4d472d26b13faa5ce051d68f467f475bf","datavalue":{"value":{"amount":"+0.91999865","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":"Q5408403$6AA2AEFA-E201-4A52-B129-609DEDBD8DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b09e2fecb0c07b29b5d6d381a95c3ad04f26318","datavalue":{"value":{"entity-type":"item","numeric-id":5394185,"id":"Q5394185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac603656e63ce4c428abbc38767413a2572d778","datavalue":{"value":{"amount":"+0.9152313","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":"Q5408403$2E4BF28A-E82D-4F07-B11D-7B233C6C4DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abdc92a8d9c4c06b48fb6112c34b4359b2cfdc9","datavalue":{"value":{"amount":"+0.91235584","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":"Q5408403$0FA3833D-561E-44A9-8953-30B76406ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea9a5f12ed140f656b86f6b7e03bf921352f1c6","datavalue":{"value":{"amount":"+0.90564007","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":"Q5408403$DE99DBE0-1184-4BBA-A4D5-B98B8A4B191A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408403"}}}}}