{"entities":{"Q2828245":{"pageid":2838983,"ns":120,"title":"Item:Q2828245","lastrevid":52655930,"modified":"2026-01-23T05:04:25Z","type":"item","id":"Q2828245","labels":{"en":{"language":"en","value":"Temporal verification of higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642942"}},"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":"Q2828245$6E4B4618-C779-4C79-B8C6-600137818984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44073d08e9673bbac55ccdfcda4a2aa2dc94b945","datavalue":{"value":{"text":"Temporal verification of higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828245$056352E4-E07E-4E0E-B286-38168BF18582","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1d40a115c9c10d03887c816204125e549185508","datavalue":{"value":"1347.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$313C74C1-6171-4690-9CB8-CCAAEBED0AB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323b05022be574fad6bf4b1403a29a65c0d4097e","datavalue":{"value":"10.1145/2837614.2837667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$4A4E8EFD-216D-470F-B6E7-8D466E713352","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda556bf0c31b52d8ad217c59d2de5b51ba896d9","datavalue":{"value":{"entity-type":"item","numeric-id":2828244,"id":"Q2828244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828245$8AED566E-68A9-4953-B67D-24FD00D95BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828245$D08A106F-DB2E-4875-A1C0-DFD772263600","rank":"normal"},{"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":"Q2828245$DD40B03A-BD0D-4140-A84E-23703C562F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828245$8AF368A4-AD43-4826-87B2-FD874DC2418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d5e541856222db48de28512fabd6428d088740","datavalue":{"value":{"entity-type":"item","numeric-id":6041008,"id":"Q6041008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828245$D83803F0-8700-4642-A7CA-0D52EB229D2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828245$1759F373-B869-42F9-84CB-02712831B954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828245$CD484420-DE41-4CA5-8ABF-93823AFAC093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$B95E8637-1B93-4A53-80B8-B3C1BE4F01B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$2207A455-0033-42B4-95E3-6E25D1910B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$92B99A85-4269-4F6A-BD6A-392A3F5B06FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa27d85d2ca5a632663ef299495a51c89d13359c","datavalue":{"value":"6642942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$5BA6536C-CB53-4732-A899-98D934FB7CF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1ab9e226100401ab3c5ffef9a9123072fb3c27","datavalue":{"value":"automata-theoretic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$78A2581E-B65C-4FFA-AABA-6D2B4290D118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$ABA3CED3-BC56-4EFA-B21A-A61D7A59C3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156b98dbb467ec6cae8de6a6ea3e9d894ebbaec6","datavalue":{"value":"binary reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$9CE97AFB-93F3-4CB9-AC28-BEA3FA056284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$BD23B09D-3D8E-4498-A59A-C2D18DB9EEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$315D2193-2116-4BF9-B1B8-63C5EA0F0C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc0e5a8d6410b651dd3b743906e7e68aa4ef591","datavalue":{"value":"temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828245$A512AE87-6168-4A17-848F-226D741A87EF","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":"Q2828245$0007024E-9606-4D7B-A6E9-FFCC456FCD8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70d92d2c2c932217127875768c0b52a01e7590b3","datavalue":{"value":"https://doi.org/10.1145/2837614.2837667","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828245$EEB8A285-214A-4971-9DD9-CDBDB185417B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d7115c69df4ef9cdecb6991c3c501fd94638c18","datavalue":{"value":"W2294349880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828245$47FA164E-532C-446C-9FC0-607D50BBF72F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834b6dd08fc547c4b445c978882ea20458c19983","datavalue":{"value":{"amount":"+0.8489601612091064","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":"Q2828245$B6A2C458-F825-4D1C-BB93-7E84B25F9E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daea1b39e98acdd0c050adf44ba6c69cb6b3e013","datavalue":{"value":{"entity-type":"item","numeric-id":2985774,"id":"Q2985774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7e570bcec3821314f01670dc44479b92eeb597","datavalue":{"value":{"amount":"+0.8355945944786072","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":"Q2828245$E049D696-22B5-449C-946F-22D6BE1FED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e63933ba1ad209a279eb8c3ec7ddd163513f51","datavalue":{"value":{"amount":"+0.8007129430770874","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":"Q2828245$0B8F5F07-386B-48D7-8C1B-4D569BA3ECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c7ec614bb1f9ac5940768033a5918cdd6376a6","datavalue":{"value":{"amount":"+0.7983527183532715","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":"Q2828245$6D1BF367-7DD2-4B39-944F-187A957819DF","rank":"normal"},{"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":"2704cfcabbf555a1aa4792cfc6cba0f2bfebd27a","datavalue":{"value":{"amount":"+0.7966352105140686","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":"Q2828245$35B5713D-D071-4AA9-8287-641B87674C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828245"}}}}}