{"entities":{"Q5261537":{"pageid":7291105,"ns":120,"title":"Item:Q5261537","lastrevid":52300796,"modified":"2026-01-21T09:36:04Z","type":"item","id":"Q5261537","labels":{"en":{"language":"en","value":"Types and higher-order recursion schemes for verification of higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455631"}},"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":"Q5261537$357F3A7A-64E3-43B8-9BB2-0EC3B332341E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e1693b6754a7b5658e11b047678ea479f645f5","datavalue":{"value":{"text":"Types and higher-order recursion schemes for verification of higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261537$BF24DC6D-897A-4AC4-B2F5-A5173184ECB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fef3cf38dc69e0964440e82b6811f084a56e8a96","datavalue":{"value":"1315.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$40568975-8D89-4C5C-B9E0-E1984D6D3DDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9b49000bc9128f3ad14713ef6d53209c0854e9c","datavalue":{"value":"10.1145/1480881.1480933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$211D44DC-DFD1-4368-AEC7-467EB1999B3F","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":"Q5261537$37877B72-EDE9-4654-ADE0-A454D251F392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261537$99FED480-5B78-45B3-8B6C-7786580ED5E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261537$9F62D7DF-B1ED-4243-9AE4-784EDC183FB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac13023b771a7152bab98e24b4f3837c87bd951c","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.8532","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261537$2DAEF3D7-410C-4E9A-A4DD-75676269DCF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$8DD19CDA-4AF6-4277-BC74-7C4AEBAD2F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$D56817F4-6AE1-4E41-988D-1321226B0C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$C85B00FA-EDB8-4377-AF49-E7F7464EE3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b944f90ad1a538b99811805a652316ddb036a9","datavalue":{"value":"6455631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$1F142D13-BC79-4981-B1C8-6495AF427F58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e70cc814ed9dba40630946f6a988ab78fbb340","datavalue":{"value":"higher-order recursion scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261537$EC10D77A-A8C3-48E8-A64E-649453002089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261537$DFAEFA20-548D-4DD1-969F-C06C39188665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261537$5AFAC91D-EAA7-49C9-A481-64C045FA3B1A","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":"Q5261537$AACC4D57-B0CB-4318-9CE6-CD118DB8AECB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1414abbf092ed5261929d4d8d8ae82da72bdaa","datavalue":{"value":"W2141505892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261537$80B133F4-EE23-4B1E-AC26-DAA3E862DEEE","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":"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":"Q5261537$C36014A4-B1AD-41BF-AE95-CC2C9954AA9A","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":"3f5f386f102aabf69932f905e1613dcf4016fa2d","datavalue":{"value":{"amount":"+0.8898844718933105","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":"Q5261537$9CC8EEA7-ED50-4F9C-AB46-9FA3B9C8775C","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":"96cacbb8fd8ee8f88a0e2f6818dc9fd36cce6938","datavalue":{"value":{"amount":"+0.8426129817962646","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":"Q5261537$D3C372F9-9977-4A2D-809D-2734E00B2C5C","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":"53c1959b87534758e1538bdbc447d480eecc501e","datavalue":{"value":{"amount":"+0.8316669464111328","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":"Q5261537$B50AC5F6-2AEF-43C7-90D9-8605EAB66638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be24972d632115506a6cb07ae7c1896fa561c405","datavalue":{"value":{"entity-type":"item","numeric-id":2963902,"id":"Q2963902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64efe3b3a23ae99066cc79c5e4e9891c74df8879","datavalue":{"value":{"amount":"+0.8280465006828308","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":"Q5261537$FE30227C-BD86-4566-80DA-D049D1A2DB83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261537"}}}}}