{"entities":{"Q5370859":{"pageid":7400433,"ns":120,"title":"Item:Q5370859","lastrevid":52933676,"modified":"2026-01-23T20:33:24Z","type":"item","id":"Q5370859","labels":{"en":{"language":"en","value":"On the relationship between higher-order recursion schemes and higher-order fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794656"}},"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":"Q5370859$02452E95-4474-4D41-B186-C952F35A0FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd5f70bbecfd2b5ba686b8f4787e43a8b3954d9b","datavalue":{"value":{"text":"On the relationship between higher-order recursion schemes and higher-order fixpoint logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370859$350E034B-6453-48C4-AA6C-5EAE1AE34FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585f1f4581e6843be378a8124f1631e8dd10e30b","datavalue":{"value":"1380.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$96865487-FBFA-4D3F-B650-7EFFB3BE5B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba3b35c8bb5e90b643b23578e957a397cd120f9","datavalue":{"value":"10.1145/3009837.3009854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$FE1B04E9-175D-4C98-9F58-9B5FBBB38915","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":"Q5370859$D6CE75AC-FB16-4936-A0F7-F09C05A81BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370859$C338C564-D84E-4912-9340-4986825C3F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370859$211EB548-2CA9-402B-BB4B-3BEDE9B5D656","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370859$0B70230F-816A-429E-9A5B-AB58204B0CB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370859$14EFF4BA-29D5-469A-9E79-7F1F99622567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$402E4750-1789-4EA4-B36E-45597421A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$0CBC99F9-7F68-4E45-99AC-083B7F2EC869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327c5fa270e88e773a8f1112ed3d8600cb73538b","datavalue":{"value":"6794656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$5DB29ECB-5C33-409A-9BB3-7436E29E9E55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4d96d659e84f729e712a0938012d26c30d8f828","datavalue":{"value":"higher-order modal fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370859$0BD97CA0-FBB7-4B96-8486-20508BC9688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370859$B5687C13-FC58-442D-951F-A1FCAC7809D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370859$D6811A5D-4E30-47E4-BF75-57A028971A23","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":"Q5370859$462D930F-5EAF-403F-BD54-7E115D68BAC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1d5567b3a8fb95209eed3d5fe598cd7a2b3bc78","datavalue":{"value":"https://doi.org/10.1145/3009837.3009854","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370859$EF094AFC-4620-4EBC-802E-BCB7428295F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"190baa27b9229fc5e65340e35d6afe97fe83a8b7","datavalue":{"value":"W2563241991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$0EBFEB97-25E8-40DB-BAC5-A65FC00CE986","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"31689feaac39b40d6dc140c37546a8a179ab3e9f","datavalue":{"value":"Q130855308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370859$B4074988-517C-47DB-B33E-11AA783B3ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b64a722fb5891d538c29db48d292a0c3f618ce","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e432fcdcd24e1e9a5ed5fbc67734a9ebd954a4","datavalue":{"value":{"amount":"+0.8382170796394348","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":"Q5370859$B1D527A0-00EA-4E18-BE70-1CE4A94033B2","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":"123e004b8ebf0f0456779ac3415f7db43fe9efd7","datavalue":{"value":{"amount":"+0.8353676795959473","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":"Q5370859$0231F9A7-CCC8-4B29-9100-08201323CAFE","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":"69049d2f1f45bb6d801397adaee2fa547837a614","datavalue":{"value":{"amount":"+0.8263787627220154","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":"Q5370859$25A694AB-81E5-4843-80EA-37AD7339786C","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":"5e347bd8533e49a0804cef27e6153cc88e576670","datavalue":{"value":{"amount":"+0.8197455406188965","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":"Q5370859$23B79D38-440D-48BD-AE48-1A71529BB0A9","rank":"normal"},{"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":"b104e249f0e816f31c9ebaf7bf5be6e2f671b9e4","datavalue":{"value":{"amount":"+0.8184564113616943","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":"Q5370859$52E843D9-8F8D-402E-A971-34C458E0132C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370859"}}}}}