{"entities":{"Q5395718":{"pageid":7425292,"ns":120,"title":"Item:Q5395718","lastrevid":51926789,"modified":"2026-01-20T13:36:52Z","type":"item","id":"Q5395718","labels":{"en":{"language":"en","value":"Model checking higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6258116"}},"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":"Q5395718$3A21CA56-93D1-4BCA-A3A3-22C85210B97A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdd5c8bc55769a1b6b944acfc849036b68f824e1","datavalue":{"value":{"text":"Model Checking Higher-Order Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5395718$B97452A5-02F8-4284-A1F7-C78804465C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ccf9abe8817a02f1fe0959397ffcaec1a4efe6","datavalue":{"value":"1281.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$1EE4A76B-04E7-4C9B-BC87-106EAEFA5CCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6753401065cd8b2e8e51d7e8dbc0b88e236b1c","datavalue":{"value":"10.1145/2487241.2487246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$CBB18C53-A751-4E58-8574-5CC1BBE746EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395718$955348D8-EDDE-4ABF-ACF9-06779973637C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395718$7DADE908-1290-4F35-A125-2CDBABCEC9AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0123b277c5975b0a4fe70678b24ba478daf7402","datavalue":{"value":{"time":"+2014-02-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":"Q5395718$3328C4DE-89A6-4071-AEDC-683CE14AF8AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$B2430CDC-9C30-4D31-97D1-1FC2B3058D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$AD76F79A-F3CA-4AF6-8EB3-D2AF8A807093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$03BC346E-87DA-462E-AE03-4B6F7398D8FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41765363165db7e379d42866a7a0c050a9361422","datavalue":{"value":"6258116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$9C0A8D4B-BBB6-4BE7-8219-068B59C80B1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395718$A8B65086-595D-4BAB-B747-90C70B40709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395718$3B101E4D-CF76-4F3A-8B4C-AC4A15E138F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5395718$57946C72-7DCF-4677-9E28-1B30E13F0912","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395718$01D1F0D5-AE0E-4AF5-94A3-716E1A7845F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b332eaddaba275128ab7548503cb9917b3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":24362,"id":"Q24362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395718$B8BEC224-C39E-4417-9031-D25631F0C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5395718$4175A6A8-0849-429C-8D42-E44F77B5D493","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":"Q5395718$582448B2-B4E5-4B02-A205-188D57906077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"065f9b62c99a43bf43aae716fa823c46f3f6ca50","datavalue":{"value":"https://doi.org/10.1145/2487241.2487246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5395718$365778C1-5C93-434A-9925-CB7F90865EFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2e474f72cb1cf1f77b5ea8b1187e06de8d3c893","datavalue":{"value":"W2036753951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5395718$4AA23FDF-0D2C-4083-85C3-9BB43DD9E5B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ba55dc3705340c3a8e1fb201de8e8ea83c5292","datavalue":{"value":{"amount":"+0.915331482887268","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":"Q5395718$3883245A-EDA3-49FB-BC76-61B757B9ED2F","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":"4fabddf80a088f3c1b03807486ba232785976db0","datavalue":{"value":{"amount":"+0.9084497690200806","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":"Q5395718$07A85468-82FD-4146-87D8-43F67AB6E0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55439710e2babbfe7ae246e1e8cf83f5fb1cc807","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77914880052edbfaabf0d39ef43c1c525f2e622","datavalue":{"value":{"amount":"+0.9009060859680176","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":"Q5395718$698E8408-78A9-47DB-BA26-E9E393C584BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a314dc7a78d9490d5b41dc18d9068fec36912171","datavalue":{"value":{"amount":"+0.8792732954025269","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":"Q5395718$D875EB20-14A1-4318-87D6-2E32BC35BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477cffcd7b244508bf5eb89c1a6fc156fef3d117","datavalue":{"value":{"amount":"+0.8665601015090942","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":"Q5395718$8183FD9A-AEC4-4F47-A434-859FCB2F62CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5395718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5395718"}}}}}