{"entities":{"Q1827395":{"pageid":1838137,"ns":120,"title":"Item:Q1827395","lastrevid":69422313,"modified":"2026-04-13T06:53:48Z","type":"item","id":"Q1827395","labels":{"en":{"language":"en","value":"Realizability models for BLL-like languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083406"}},"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":"Q1827395$FC963180-2A8A-4A7C-96BF-905283530A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"225d8840ebc2ad2a6a53355fb6e00e4e27ae5c12","datavalue":{"value":{"text":"Realizability models for BLL-like languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827395$0CCFCA35-9C30-4BF3-BD6E-69E55F5BB88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db58088dc5314593ec1d40cfdc3b906bd308e3f2","datavalue":{"value":"1047.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$B35229D7-6E6C-4A02-97B6-181EC5F02393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$079C1BC5-4302-4CCF-B70C-2584AC94C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$134031BE-2DE1-41D5-B112-80E1CF47649A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$9AA10D1B-F0CF-4C3C-99BC-C3D0CC5CC6DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827395$FB04B295-232A-4C98-AD54-259A2B5615BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$83E3A76E-98C7-466B-83C0-33868E23A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$B325512E-2BAB-4194-B812-3C1017215533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$C7C18551-890F-4CA7-B753-A851AA09D95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$F3109B56-0197-4BAE-9A48-E612BB99E7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$71B02235-2E46-44F7-B759-28FC42CCD99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$B480BC40-5669-4E02-AF7B-3352EF0F58D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"292306b54dfb988ff5a7715183226c24cb9545e3","datavalue":{"value":"2083406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$A15AA0C4-CA30-4842-B2C2-8331BAD20868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827395$22F34AAB-3E7A-4257-BD35-3ABF7975EE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df90f14825c419ecfede4578063877f8d78dae2","datavalue":{"value":"Complexity lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827395$1A0D7AB8-D2A0-46ED-A56F-EE6A9ECF4A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827395$21216422-3B8E-485B-A79D-7EF0E0DA5F32","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":"Q1827395$014E1226-BB19-4FE8-A042-3520608085F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68d50edcf339641b5f2144f270ef17a50fe917cf","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827395$E0796315-E9FB-4E31-961A-C6E002ACEC07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e595e5a7e5b13c5da21a8c4a57302a8f221ead2c","datavalue":{"value":"W1979524717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$1E9A4C4C-1270-410A-80DF-5EBB59C6F533","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$08B44B75-FCBD-46C3-8948-9BFEA5ED25C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$B92FBA75-BF47-4480-806B-0FE9574801D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$1AB7A8F8-D612-4DC9-9D72-4E76B8999548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$CC412522-8D42-45A2-9299-992705B9CE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4276b2de792ee29a82d6cd8ce37552c59599af","datavalue":{"value":{"entity-type":"item","numeric-id":1193623,"id":"Q1193623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$FDA8DAD7-883C-40D0-B451-69D1FE542109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$FCD3815D-0A64-4C91-9271-8427D0D91FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$6D207FDB-C825-4543-BC5D-C750DC5FB360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$7A4F296C-3FB9-4CFA-8DCA-ED29788D8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefcd52617bfea9a40369ded027e984d4ea542f","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$AB8C2996-3356-40C7-82F3-373385D89D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$3EDB3645-E04D-4E1B-BA03-3E900E5BC4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$821F4547-0272-454F-8C28-64B1424AC8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$7E163585-9C02-4A38-B27A-FBFA9A7C0D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827395$2B2120F4-8BF8-4950-9653-F8469751F4FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917f0324d5af3338d56a6eb13031242339935678","datavalue":{"value":"10.1016/J.TCS.2003.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827395$B4174DAE-84B7-407F-91C4-68F214B58DD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ec02ab55979bc50664f00855203f98a3c2174b","datavalue":{"value":{"entity-type":"item","numeric-id":4035310,"id":"Q4035310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ef5061ef13903bce4f478adc8a30fcc240e514","datavalue":{"value":{"amount":"+0.7967506051063538","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":"Q1827395$2EDA829C-2B90-48B5-83DD-E551182EB93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5679fe4155603520a59fe92f9e0d25ec521a775","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d19edcf23b9631a9b1972257cb4ac1f0e053e2","datavalue":{"value":{"amount":"+0.7632098197937012","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":"Q1827395$2D66EE5C-C96E-4B8A-BD6C-E76E6C9BCBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a85074aaac2c37798d506f8ac803283f611572","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d19edcf23b9631a9b1972257cb4ac1f0e053e2","datavalue":{"value":{"amount":"+0.7632098197937012","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":"Q1827395$3BB98D01-9535-451D-8EA6-8DB20CD71BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ea3927ed427114a93fbd39ebb4e68d47de7dad","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43f87625f0c9bd5714fa99e0ae555cd27932037","datavalue":{"value":{"amount":"+0.7622132897377014","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":"Q1827395$ACEEB420-4032-42F2-855F-BB5ACE060D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc586f957b1e9bab36119f54e0dd714ade3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a440e79cc162da482ce2f4079b4ba811002391d","datavalue":{"value":{"amount":"+0.7577015161514282","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":"Q1827395$600A54D0-65E9-46F6-A658-18FF5E703AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability models for BLL-like languages","badges":[]}}}}}