{"entities":{"Q5176935":{"pageid":7206507,"ns":120,"title":"Item:Q5176935","lastrevid":40961849,"modified":"2025-04-16T04:00:57Z","type":"item","id":"Q5176935","labels":{"en":{"language":"en","value":"The impact of higher-order state and control effects on local relational reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411504"}},"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":"Q5176935$5442E263-07E5-47F5-93FE-DD152AE06BE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db40dcee1a1e4f4d0a95bbbcb9b05a2df251d30d","datavalue":{"value":{"text":"The impact of higher-order state and control effects on local relational reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176935$92793829-3DEA-43C8-9025-22BFFBB2DF42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80895cec74c8e5aa23ac99d142fa5bd7a0eebdca","datavalue":{"value":"1323.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$06DA2D36-BEE2-413E-B90C-F287EFA2220A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09554dd46cfe55e8bb486503b101a92ba8e1fd1f","datavalue":{"value":"10.1145/1863543.1863566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$C77C5C69-1BA4-4097-BF04-D2EA3C5CF9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176935$D5ABEA8F-3C9F-40E6-8A07-55E747ED0E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b6946bad33c4ad6049a109a67ed0035e8c2a34","datavalue":{"value":{"entity-type":"item","numeric-id":2931795,"id":"Q2931795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176935$50657492-4534-442B-9B75-A48934217494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176935$075F1E8B-568E-41F5-BFBA-24EF034E3E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176935$95DE9565-71A5-4529-A2F7-23DE17701E7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176935$1D419F78-A277-4174-895E-43682C80C554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$7C982DFD-0733-4D22-93B3-6C10A4B3A57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$D73A8459-5903-4951-986F-8E20B2B144EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$2A147201-2BB1-44C8-AFCD-0289FBD4586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$D789BC8A-8943-4E1B-9C2A-247D07AC4DE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b932a3c1106093097ecd06e2ad42b6d8f52e2d4","datavalue":{"value":"6411504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$88C8D251-324F-4918-9EC3-0A3D56B1736B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5688260d56258e4916c5f7e7a5117477dbc3ee","datavalue":{"value":"biorthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$2FE65B12-F71F-4359-BB46-4565B779B7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16260849d15e6a1f1a5e5b052c5f4dea3365792c","datavalue":{"value":"exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$A8541862-9F9B-41F5-A249-69E1F0D82DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaefa737e72eba6be83764c0a81b1298f78e5d26","datavalue":{"value":"first-class continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$08D8D6BF-C13B-49CB-B05E-55AB1AC4E715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49521e1491b66a48fba4b74aadd65829adab8610","datavalue":{"value":"higher-order state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$C4C37756-E857-4EEF-8DC4-33E330A38BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f96ee27011412b92d5d55f9acaf0f31ccacf2","datavalue":{"value":"local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$3FF7DD57-4503-4787-8012-9F0EF4EA951F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$4ABA8959-365F-4061-BFA3-125E31A6588D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ba241d73ce3ebb13573eabf58e6499157c763","datavalue":{"value":"state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$568C1478-27D4-4CB2-AC39-10FEC9C98A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da61c10ccfe4651cc4206af5146ed1fe3b280b10","datavalue":{"value":"step-indexed Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176935$68E718C5-0098-4A2D-B0F9-0689C045D243","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176935$8E706BE5-F17F-4AD1-BFA6-19EE98F0D7D8","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":"Q5176935$FD83D36B-B445-4B3A-A158-A7E96A32A9F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adf953dbf74fd0e78cd45a7effef634b4d57e632","datavalue":{"value":"https://doi.org/10.1145/1863543.1863566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176935$782213C1-E3D8-451F-8285-E1A8336AA6BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704e24ec3c32bbe042ee9449836bc92fcc352454","datavalue":{"value":"W2153128836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176935$C54C3A54-36E2-4C7A-B893-28FCC276037E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467476586a2a65a633f7f3f113ce6f99a9d440a9","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$2C00925A-FDC7-4303-BA32-AAE3E4A9C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0c321628c786b52304435ee17fffeb218b36cc","datavalue":{"value":{"entity-type":"item","numeric-id":1339921,"id":"Q1339921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fc328c45b3dd72e8deea175f3f50c998f729f0","datavalue":{"value":{"amount":"+0.77149045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$77ABD301-EF3C-4C91-ABFD-F1351A5D665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41018744f398af8a89c1b9effcdc90736ebeb26e","datavalue":{"value":{"entity-type":"item","numeric-id":3411851,"id":"Q3411851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4791c6b05cc4ea4ef2b95eb59aa167db5cb11ae","datavalue":{"value":{"amount":"+0.76774293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$4E4A20CD-FCFA-4166-B464-A9B63358265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc3eeee2fa02f4a95fa3c5a56afc6fc99c70bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3623000,"id":"Q3623000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2280a494740b6ea57bf5cb60821393350278b0","datavalue":{"value":{"amount":"+0.7559643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$D23FB833-8E7E-441D-B7D5-DD2634129E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2100b422bb21b17977e053bf5509de51685db641","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2280a494740b6ea57bf5cb60821393350278b0","datavalue":{"value":{"amount":"+0.7559643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$660F77BC-7C77-4EC2-9740-DF7F7DB22AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82406279a595b5cc68f1074a82622cc845d01f0","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb2f169abcec750c2ebc81be5af7a319bce8ece","datavalue":{"value":{"amount":"+0.7550658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$017814C0-CDAB-4BD6-AB62-1C4036D83C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd8730b01bbe454a995b723ff71b7fe214cde20","datavalue":{"value":{"entity-type":"item","numeric-id":5262944,"id":"Q5262944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b454fbbdb4eee251fe1e8cac1799e220132b376","datavalue":{"value":{"amount":"+0.75318027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$2F973F47-8E0E-43B3-A19F-32AFD4A9AF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6595f3d0edf7b543819eb5a1a92e284d0a5f86","datavalue":{"value":{"entity-type":"item","numeric-id":5278214,"id":"Q5278214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36147662cdf220a25f29441992c5cc75f3bec4f5","datavalue":{"value":{"amount":"+0.7495751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176935$5F079D99-76F3-4EB8-B1E3-E55C311DE2D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176935"}}}}}