{"entities":{"Q2563452":{"pageid":2574195,"ns":120,"title":"Item:Q2563452","lastrevid":46814733,"modified":"2025-12-25T15:49:46Z","type":"item","id":"Q2563452","labels":{"en":{"language":"en","value":"The finite model property for BCI and related systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957481"}},"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":"Q2563452$5726FE71-4650-4CDB-99C6-26BEF6F3D317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0341ea05bea31701b49a9ab269c7d6d5be3a265","datavalue":{"value":{"text":"The finite model property for BCI and related systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563452$B506B244-558E-4D9C-A0B4-2CEFE1FE1EF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba1b1a196a545ada9a9d4415f613f0523aa37d0e","datavalue":{"value":"0861.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$1ABB3D24-E0A8-4238-BAAC-BD8E5748D445","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d024431d4d6e220bd50c2c929890a3ba4faf8ab4","datavalue":{"value":"10.1007/BF00370837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$B12A4AAA-6F99-4B95-A2E1-70197DCF134B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$B2E2F123-E593-4A59-8AEA-634BEF45F1F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$B4BE3674-D417-4CC3-8D76-45E040E3B77A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e841b33426c82a5eafbf7f8cc8852d9be70f609","datavalue":{"value":{"time":"+1996-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563452$F850DD48-323E-4A93-8235-F53D384730F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a1d73afef0d051a918c9de7d0e19085b238bc6c","datavalue":{"value":"This paper answers problems posed by Meyer and Ono in proving the finite model property (\\(A\\) is provable if \\(A\\) is valid in every finite model) for BCI logic, BCI logic with conjunction and some restricted versions of these systems in the style of the lambda calculus. The author uses the ``method of barriers'' which he introduced to prove the same property for the product free lambda calculus and the commutative product free lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563452$75B25039-0F20-4B36-B600-BADFEB4C0A55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$C9496DE9-4723-42A8-A139-94DBAF4DFDCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$2AF1EB02-317D-45AA-9B91-7EEA0CF9B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$7B4E4EEE-8E56-4EAA-821B-6A7D8C468E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$5D873179-65EE-4027-961F-3BC3FEF6CF77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfd3b791a8c0af8385cb85b79cfc39a08eb98fe4","datavalue":{"value":"957481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$0FD9C9F9-0BA0-422C-923D-C37BF02B35D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563452$7D617A1E-23E9-4E6E-925E-79C24D29308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5b20ab29f45489d2068c3411d354eb6c6de54c","datavalue":{"value":"BCI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563452$2BB2BE24-2977-43AC-BBA8-80A3E8C601F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ad714890199d4d92227ec8e26e88941a401b0b","datavalue":{"value":"barriers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563452$25E25BD8-CF10-4733-A1FB-91DA7EF4CBC7","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":"Q2563452$DBD1FDF3-1C4A-487D-9700-99CA76FF0FB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$C6D243AB-7308-49D4-AB9D-3E412B53C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3a63110540e7ae651a3c4bb8189b881770fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3964531,"id":"Q3964531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$A4C131CF-C1E7-4681-B287-D3D1316BE986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9957386f86b992cf0b7a5c54942755ce3377f379","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$3CE23B99-DA7B-4E4E-BCC1-9AB0178643F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffb4f11af47bde4ec936a8884e7d645e9d23f45","datavalue":{"value":{"entity-type":"item","numeric-id":3787984,"id":"Q3787984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$897A40F0-1719-431F-82E1-1B66F6B59017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29948ab500f87ed27457b3d8e99557c4569ff186","datavalue":{"value":{"entity-type":"item","numeric-id":3996437,"id":"Q3996437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$03733B79-252B-4607-A68E-19CF723CD6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd51ad54ca02f559512a4034c9b2d959e995353","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$46513ACA-C31F-466F-944C-B8793DF71C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$BB11B069-B2C6-4F5C-B7FF-266DA192C89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071268363db23fa43b7898ece6bea1d084b6ca56","datavalue":{"value":{"entity-type":"item","numeric-id":4940724,"id":"Q4940724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$99FB6CF6-3225-4542-932E-E63D5D69314A","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":"Q2563452$3F02FC2D-2F55-44F8-802D-1B90788F681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$23B4654C-4CEA-44CD-8857-B91C29D80099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$BA0B19E8-A0BC-4AB5-9F96-7B1304E073C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$CCD0AA7D-B406-4633-AE83-0424ABC09E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$01431284-3451-4396-8B14-29EC26CB84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e934d9e374303e191c3690c8c5f3edcd2e55495c","datavalue":{"value":{"entity-type":"item","numeric-id":4315290,"id":"Q4315290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563452$0611EA40-6079-49BA-ACC9-0E2956901759","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69a6702247f4a56bf78cd3d186e049520d328131","datavalue":{"value":"https://doi.org/10.1007/bf00370837","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563452$C0AE98A0-768E-4F61-98CA-3B9A3A48AD87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66dbb41bc049d31fa605bf5eefd141b9e7043f2","datavalue":{"value":"W2072558524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563452$ADB91AF2-3132-4AC2-B310-D9DAA25E9496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bce9eed4ce79dd805f77126f1e39a457acc8bbc","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99538d197de8c13e340acc3a2fb912ec92c8d9fe","datavalue":{"value":{"amount":"+0.8676103949546814","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":"Q2563452$A3E9D4AD-E7DC-4BA2-B481-36017271210F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61465d6691f2125cb4531bf938e94b6535d35345","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f5663eee9296ad05cc0f4449b47adae198d01f","datavalue":{"value":{"amount":"+0.8270213007926941","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":"Q2563452$DC17CCDA-85B8-46F1-807F-7F35DF7AE457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e784368cbfe2fbe2f5d86f047bedc8c1b6e4e1bb","datavalue":{"value":{"entity-type":"item","numeric-id":1970644,"id":"Q1970644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d88ae8073780d1c04e9425c3b473ad210a2ff67","datavalue":{"value":{"amount":"+0.750844419002533","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":"Q2563452$638C0E0B-525E-4981-BDA1-B2BA6132489C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563452"}}}}}