{"entities":{"Q5757150":{"pageid":7786701,"ns":120,"title":"Item:Q5757150","lastrevid":50151875,"modified":"2026-01-13T06:59:10Z","type":"item","id":"Q5757150","labels":{"en":{"language":"en","value":"Locally Boolean domains and universal models for infinitary sequential languages."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182851"}},"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":"Q5757150$088433A8-F746-467C-A8FD-3B995F8C85D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4ff99880f92d9d965b2110947ab2a6921209840","datavalue":{"value":"1128.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$5FE17643-CE83-4C19-B916-9853F314DA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f3372ccd17e0baaed3b0c042eb6b81c164fa86","datavalue":{"value":{"entity-type":"item","numeric-id":3613356,"id":"Q3613356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757150$5EAD8D05-2027-4032-948F-788DB5E55C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b09aca3aa7cf2e4777f30c65432cb22c512993","datavalue":{"value":{"time":"+2007-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757150$08A7720A-42F4-4DD3-BFDB-4DBD6CAFE78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$7CEEB00C-2679-4D55-AE51-C064E5C81F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$BEB5976C-1BCB-4043-B10B-EEB51CFA802F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$BC2C268A-6458-417E-BDE0-04734ADD6D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$02DF16E1-5B02-463C-86B2-C05BA1161817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a40f3ac5e075228cfc5967da4c357e22977cba8","datavalue":{"value":"5182851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757150$EF640BBD-7AF2-4BE1-A609-439E581184A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6460861c3fa651893dbc609edbfa5e7f090ab2c","datavalue":{"value":"Curien-Lemarche games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757150$82F9CE2A-585B-441A-899C-AFCCC995FCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5757150$CE3E6D9F-0864-4B17-92D0-7BDCD679E56D","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":"Q5757150$9A0FA39E-343D-44E5-AD3A-31C881CCB5C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c3a4066a2794ecf83d765d69a308a423b24a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3613357,"id":"Q3613357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceb7c9319d385c402b7f750f4ea64dd684965df","datavalue":{"value":{"amount":"+0.8636910319328308","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":"Q5757150$37CE9511-6488-424C-8CC6-E5BACD485020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee69f42a28f13dcd5bb9ad294bd2fe794441915","datavalue":{"value":{"entity-type":"item","numeric-id":2566030,"id":"Q2566030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b679302ed0eec2070c20e910a19e54cb2a455735","datavalue":{"value":{"amount":"+0.7937422394752502","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":"Q5757150$D3D44CAD-6B45-44CE-A57C-B95ED6A464D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc6631124684327386086aea3dc3e79c284c3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5310690,"id":"Q5310690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bf1f6b0db79f209cca31fcf7d7a527c47dcdef","datavalue":{"value":{"amount":"+0.7378447651863098","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":"Q5757150$FB452BFD-6BE7-4ACF-8C6C-412FED6C59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbddb7868ec23ea603c7e1d415111defffcff85","datavalue":{"value":{"entity-type":"item","numeric-id":1185015,"id":"Q1185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de798321c7fdb35ab91bf46d570f4b981fc46a8","datavalue":{"value":{"amount":"+0.7332267165184021","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":"Q5757150$B6A4A62E-613E-4DEC-8684-C2CC5C3B7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0c554e9845d3a82bc7f60544098ae5e8865da6","datavalue":{"value":{"entity-type":"item","numeric-id":4013251,"id":"Q4013251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f5bbf4e377c162e4032cd9a4c1f591bea8eb80","datavalue":{"value":{"amount":"+0.7322981357574463","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":"Q5757150$AE66293A-1A39-49E8-B4EF-50ED351A4397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757150"}}}}}