{"entities":{"Q2805169":{"pageid":2815907,"ns":120,"title":"Item:Q2805169","lastrevid":83463902,"modified":"2026-05-07T08:11:00Z","type":"item","id":"Q2805169","labels":{"en":{"language":"en","value":"Logical semantics for stability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578712"}},"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":"Q2805169$ED88316B-05AB-4A43-8CD5-08C3CA61C4AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80a4f44f7d275c25f4bdbc6d120c64bf95714ae1","datavalue":{"value":"1338.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$F7D219A5-435D-4D85-BF2E-5ACD5A941BC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$34C07221-8524-4583-8CF0-AFC1B71DEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdfd87b35a7d031d9833942021cae5a85bc092fd","datavalue":{"value":{"entity-type":"item","numeric-id":737107,"id":"Q737107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$E4F03C36-2A7F-44D5-BE6E-BB2AE29BA046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$D0091E15-EDC1-4D70-AB32-35D8006447EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$76EA4928-71DB-47EE-AF53-08088B45EE6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805169$A804E172-8853-4425-8BCD-D25172743CD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$B12ED5A8-F1FC-4DC2-A87E-105977683D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$CE7499EF-4949-4439-BF42-8346ADF6A03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$C7C67491-B6C8-4F1A-A7D5-C1F1CA2CAC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$7AE2E187-501E-45FD-BE8C-3AAA6C058CD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6bac4fc3f09f35e3eae2650fddec2f421a89a1c","datavalue":{"value":"6578712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$77CB598B-115B-450C-99E4-FB977C1741CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805169$86F474A0-1B71-41A7-916C-95836681B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2c10f579bad0813b791f72fcc1484fc619e422","datavalue":{"value":"logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805169$CD7F312A-F4B8-44E5-817F-7A404E4D5E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edee7cc3780eb613987eb5b5c5e91f665360a2","datavalue":{"value":"intersection type assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805169$74A8BAA0-BBAE-48EA-AB18-D494AE63CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fdeed5704ac6449c47a837de8fb2e700668d51","datavalue":{"value":"coherence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805169$E1788FD8-2B83-407E-B501-B09D2F28A048","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":"Q2805169$1D1A4F59-21C1-47F7-AB99-05F90E7B3055","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"368b8210ecb6e1668cd4ee094bc69b638bc791db","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.101","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805169$D0CB2C23-DF66-42EF-AC2A-17A53E671F99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"232c9678f0b18f517ef2ee3fde8f3d9f7fbb37d5","datavalue":{"value":"W2037831204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$1D58993F-A896-4D3F-AE04-9423B8BD0030","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21813842fd9f691c023c2b890d68151db36a28b5","datavalue":{"value":"Q57722177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$659F4025-007F-4437-BF0B-70D1F4D11786","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$9C4AB38E-AF62-4FBD-8A16-A0E2D620C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$FF273E5C-C42B-49DB-8D18-546E4BDBEB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$48D47654-030C-4933-9C1D-D8EBF527E99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$FA4B3435-2AE2-42FB-8694-25F488B296A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$90161BF4-6B7C-4B85-B401-EAE046D97274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$FCD13488-A673-43EB-B443-1F797C85CB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$C8E9B07F-C746-4B8E-995B-D4510111F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$93B2079F-6A63-4684-9AD7-372D1555CDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f7ba03d5e3332c4223d056b661db98522212bd","datavalue":{"value":{"entity-type":"item","numeric-id":1434350,"id":"Q1434350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$DE1A5B54-3DE0-41AF-8307-15FA66BCA1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$7FAC1C89-F7EC-42CE-B671-2ADFCC74E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$BB50E30A-000C-465D-950B-CD5A4B60701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$D097D525-2B2C-4AC1-8447-0C9B427F2931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$A3425C1D-2CBB-476B-8A1B-09FAB41481A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$5963F2E7-AF08-444C-9D50-C79F809A869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$E8B9471B-9394-44D6-A021-D58079C1827F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$AB1BEE84-DE4C-4058-A888-318ED63EEDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$DC09EC55-D4F2-4314-9763-9E4E8C1D3D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$30DA7FDD-EF9A-4E20-928A-1F668BE67DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805169$3C69A90B-C2FB-4282-A965-2514BEE1F339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fb8e931d75d2e6ac795a4db2ae4e768be74e338","datavalue":{"value":"10.1016/J.ENTCS.2009.07.101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805169$17F36BB4-33B2-40C9-92D9-2F1B430D4C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12c14667cebba32a300d483bd9f45d3855643648","datavalue":{"value":{"text":"Logical semantics for stability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805169$789283FD-C66A-4166-BEF1-5890904EFF4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c715ff5007c635f99d060775cb501f81522c0710","datavalue":{"value":{"entity-type":"item","numeric-id":5269000,"id":"Q5269000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9d930bd6529404366784aa769ddd55a49ca99d","datavalue":{"value":{"amount":"+0.807178258895874","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":"Q2805169$476F916F-DE33-40A1-BB16-EAECB862E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12419686ee0a9bbce5c0e5f81e4b1e4f57afa460","datavalue":{"value":{"amount":"+0.8011943101882935","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":"Q2805169$67BD0B64-B3F0-49E7-B7BE-56D5151C4166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9ad974353c36b3c117b753d2681bcce8e6259c","datavalue":{"value":{"amount":"+0.7740804553031921","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":"Q2805169$2058B041-D810-466A-8743-CA29D7741463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b5d11f0d4f95aee86083fc2c9905bb3a25cde4","datavalue":{"value":{"entity-type":"item","numeric-id":4924527,"id":"Q4924527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7704516485862d8f41c48a351a2984e8cdc1a540","datavalue":{"value":{"amount":"+0.7569437026977539","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":"Q2805169$C5D3FBAD-211E-474B-BD9F-83188C16C000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaba8817616d9bd7b84df3a610b102aa04c4d9e","datavalue":{"value":{"amount":"+0.7436303496360779","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":"Q2805169$E3488BF0-6C59-4CA9-8ABB-33DC998AD6D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical semantics for stability","badges":[]}}}}}