{"entities":{"Q2965514":{"pageid":2976239,"ns":120,"title":"Item:Q2965514","lastrevid":52756343,"modified":"2026-01-23T10:45:15Z","type":"item","id":"Q2965514","labels":{"en":{"language":"en","value":"On Boolean closed full trios and rational Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691430"}},"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":"Q2965514$5F9C6495-1BDE-4DA2-A5E0-823A3E574EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"560e97c226d66079958448228e504a3a66eb8e93","datavalue":{"value":"1359.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965514$22AC1A2B-8AA4-4B38-8D54-133D77993B25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965514$5B3319D8-D4BC-4648-BBEF-DFC984CB6B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965514$2306DEE5-6A59-472F-A4F2-E69CD23775D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965514$A72F4470-D492-494C-B268-023C69367368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965514$DADA054F-633E-4AE4-AB81-073B03223861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0da12a24905c9ac984951ee4ae90bfe3a625743d","datavalue":{"value":"6691430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965514$A235D1B5-176C-44E7-981C-CD4B7D3A0AC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd17ebcd4b5536029790b819e380a81a8678fec","datavalue":{"value":"rational transductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965514$655174AE-1768-48F2-B3DF-C0FA5AEBF65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bff045e6ca9f7a1cd328c7708476c2d8c7c4a35","datavalue":{"value":"full trios","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965514$A33A9E27-E049-4A39-BFA7-7BEFC3D65F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965514$088C3C60-83E3-4EE5-8D15-15E23BCDE3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5907ed38d4372c65ffffb842db7415cc2c11751","datavalue":{"value":"Boolean operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965514$218CB4EC-A630-4076-B5FE-9F88DDC17A9A","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":"Q2965514$969B6E6D-83C0-4D48-A6E7-73417820CA59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96457e5e1703f5bc9cd1d72404c5933ff44f4deb","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.STACS.2014.530","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965514$B74D9B8C-E8B2-475F-AD2A-131BB0F7738D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58f29963525516324e6e462d33b9141b3eb08fb4","datavalue":{"value":"W2248758953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965514$363D4E26-10FA-40C4-B467-0E524CD3730C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c282af4ef6334ca6e864ec3cb548487c143e4794","datavalue":{"value":{"text":"On Boolean closed full trios and rational Kripke frames.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965514$444B9082-2BCD-45AC-8370-6E81D25A0FDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d6c107deab16900a38297b02a85d51c017bd65","datavalue":{"value":"10.4230/LIPICS.STACS.2014.530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965514$FFAC0A6B-526C-42C1-9D5E-8B9331EFC54D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df73ea92439457fa039b2a5ab8d722ff583af772","datavalue":{"value":{"entity-type":"item","numeric-id":2363961,"id":"Q2363961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5140a6e1db9b61fcacc43c06151ea3fb9667b0","datavalue":{"value":{"amount":"+0.9214996099472046","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":"Q2965514$EA619078-E8AF-456C-9F3E-A8394F43222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca0f9bc6f7c4a7584592cbb9f8fe2c15f8a4791","datavalue":{"value":{"entity-type":"item","numeric-id":5711962,"id":"Q5711962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52c77c7ad13bfe9e34cad57cb71328238decffe","datavalue":{"value":{"amount":"+0.7000926733016968","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":"Q2965514$0833F525-A537-45D8-90DD-88966D0BA32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a7d065efadb3eb1c9078bd2037e09be4a6ef35","datavalue":{"value":{"entity-type":"item","numeric-id":929298,"id":"Q929298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8d73147a0af78dd7b84fa421fb1d4fd8a1ba21","datavalue":{"value":{"amount":"+0.6995255947113037","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":"Q2965514$48AA7086-1005-4FC6-897C-3CE583EF03BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d31af1d813ab8f1d7d4920d2d350a3ac6ffe6f","datavalue":{"value":{"entity-type":"item","numeric-id":5145637,"id":"Q5145637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b86dd9a1d373db0fd77e8d0a6e683da6c58b58","datavalue":{"value":{"amount":"+0.6728265285491943","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":"Q2965514$FCDB459E-8F28-41EF-B2E1-DF218C1B1387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81aad6577107b2d83e45aad1e72539db72c1a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2342107,"id":"Q2342107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def0f766912b7c1b25147f3d0a46e93d3d43460e","datavalue":{"value":{"amount":"+0.6666592359542847","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":"Q2965514$A877644C-98B6-4F04-B768-00AAE3D3865C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2965514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2965514"}}}}}