{"entities":{"Q4635787":{"pageid":6665368,"ns":120,"title":"Item:Q4635787","lastrevid":53070722,"modified":"2026-01-24T04:11:10Z","type":"item","id":"Q4635787","labels":{"en":{"language":"en","value":"Higher-order model checking: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863370"}},"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":"Q4635787$1B0E12AF-725C-41ED-89C8-AAF4A499B3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aeb01150bd59674c078c6b8d41da36b5501ea0f","datavalue":{"value":{"text":"Higher-Order Model Checking: An Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635787$C31E153D-3964-475F-8059-7ADC43ADD6AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cab1c16dfac7a4af68f42d47cc9943368f9bb96d","datavalue":{"value":"1401.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$632D21CA-F8C2-469A-849D-7D6C2BE895A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4d4c4f954a5b98ec0d2d7fe14a2cb0ab9d64e69","datavalue":{"value":"10.1109/LICS.2015.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$F2B4F8C9-0DF3-4E2E-9133-83BBBC90E90B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0fbc1359d4749edff77de9864558a400296c8","datavalue":{"value":{"entity-type":"item","numeric-id":1641023,"id":"Q1641023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635787$8B19EF1B-9AE0-4649-8253-36C73D17E2CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635787$447432D5-F984-44D9-BE04-7F448EEB673A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635787$F32BD289-EAD8-490C-88EC-6A23F56FBC40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$F2C53808-97B1-40E5-8D14-DD15643EABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$CE36D736-33C7-4370-90E5-B0A610D14C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$D8FBB826-A328-40AD-8F99-99096C4D9883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$0EF25D14-A7E1-41FC-8B2D-1E5964B95BB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3fe0e16b83fc6b9754bd3e111a992c403c3405a","datavalue":{"value":"6863370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$7D189107-6F17-4180-8D7B-C88E52F2A3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635787$2FAA47AA-E7A8-4B71-9C3D-1C5A7760A354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635787$BD7CDC8C-707B-4DFD-B2C5-1A6B6D10DD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635787$1E1195F8-4A11-4A86-8156-6F77BE2B33ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635787$29CAD2DF-B1A6-43C2-A51B-939FA188A0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635787$3B004DD7-18A6-4809-B267-EE8A837EEC0D","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":"Q4635787$816F4AEA-22CE-4D4F-976C-0018667DCEC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe287b091eee94d5a3d970fd22126c5b73473bfb","datavalue":{"value":"https://doi.org/10.1109/lics.2015.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635787$16838AE6-4D29-4A4A-BED5-2812C1EDEB17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70d5c6270fe9829fcf1df66a31843f2c11c39f15","datavalue":{"value":"W1525341697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635787$6B480AEA-10A4-491F-B0C8-A4D9100E545C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"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":"Q4635787$0EA5E526-07AD-4B93-9730-5AD2AB0CC588","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":"4f6f675383ee65049c25345e31bc4caf202227be","datavalue":{"value":{"amount":"+0.8545453548431396","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":"Q4635787$14C9D063-8D6F-40D3-BB8D-185BD538D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1982d9b548ac797cdd6204653effa1199bfdbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668fa317ba1eec88a76ae39e78707ba0cbf5c375","datavalue":{"value":{"amount":"+0.8458571434020996","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":"Q4635787$A07DEE77-96E0-46EE-BE2F-0D5D8E1D420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c8c3fe9b3eae0c510cba1cd10b65226a7b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f4d2e76f9145106e0f859ec79f045c03fb8042","datavalue":{"value":{"amount":"+0.8440940976142883","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":"Q4635787$D947A5A9-035E-4C50-BE0E-0EF0BB289072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c51b09a671c633d4abb8602a348666f9e3667c4","datavalue":{"value":{"entity-type":"item","numeric-id":5168915,"id":"Q5168915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c2d0eebe41f28768dc3ce60b9090e7e7fac27e","datavalue":{"value":{"amount":"+0.8430662155151367","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":"Q4635787$2E0B9CE4-CFD2-4668-85CD-4294EF830E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635787"}}}}}