{"entities":{"Q1187979":{"pageid":1198728,"ns":120,"title":"Item:Q1187979","lastrevid":47066035,"modified":"2025-12-31T13:46:40Z","type":"item","id":"Q1187979","labels":{"en":{"language":"en","value":"A note on the tense logic of dominoes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39912"}},"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":"Q1187979$E21E3B44-3CE6-47F9-8A12-B86121A22851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3bda903da642429f10468155e620b7f8463a705","datavalue":{"value":{"text":"A note on the tense logic of dominoes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187979$3131D788-A4DD-4FD5-98A8-3B0BD89B2992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1af659c4d279beaf0af6f9b0a54373ff878aca","datavalue":{"value":"0785.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187979$E9CD4074-8EBA-483B-A570-C90BFDA858AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a0cd7096c01f179aef13f840a68ec4f59ad5c6","datavalue":{"value":"10.1007/BF00248637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187979$02B1A9E5-9960-42B1-BDA0-0C49C597A61C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187979$9E28BB43-A145-4616-9343-2E2B5F75E3C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187979$E3519A39-5703-4359-9F73-2309F694E3DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e4e72ca557f32de200c80ffb9cc58b1ed41a8f6","datavalue":{"value":{"time":"+1992-08-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":"Q1187979$56613F9C-076B-48E8-9FE1-DA9E81F662E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6cda42b3fb88a86c8b394d621665fedd7fe6618","datavalue":{"value":"The tense logic of a semantics of a two-dimensional nature, the so-called domino relation, is the subject of this paper. More precisely, a domino- relation is a frame with base set of kind \\(U\\times U\\) and accessibility relation \\(R\\) such that \\((x,y)R(x',y')\\iff y=x'\\). The author notes that an axiomatization of modal logic for domino-relation semantics is given by S. Kuhn. This axiomatization has infinitely many axioms and a derivation rule of the kind of the Gabbay irreflexivity rule. This paper offers some finite axiomatization for the tense logic of a domino relation which has no rules besides modus ponens and necessitation (right and left type). The main step is the invention of the ``matrix method'', which allows to reach the completeness theorem considerably easier.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$E5C02014-3826-44BA-B0A5-2D454F88D084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187979$11DF6BA5-19F9-4029-8CF3-A8EB88A30D48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1503186843899aa0f91597f23ac0230221599030","datavalue":{"value":"39912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187979$2794C328-101D-49DA-A22E-5D93AFBF48A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$679AB5A2-359E-4AB2-B42E-9F31A57E900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ce5c7f5ed894425a9ede9b825b6da852f3d1d5","datavalue":{"value":"two-dimensional frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$36D2AB11-D2BF-42D2-BD66-B14E2D13DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$03A1AE9F-F057-477B-952C-F0572C53F345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98add6406dbbff63867a2a18e5696454a31221d6","datavalue":{"value":"domino relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$632DC748-86B6-49A2-A0AC-93164DDF6924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187979$3D3413D2-29F3-421E-B132-1222D97B7058","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187979$D5746D21-922C-47E6-8322-A698548EC071","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":"Q1187979$3D70FB9D-BD22-490F-9681-92265B6F3569","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e556ab11cb3ae27aaa4a05a5b7c86fc13fb2f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1120562,"id":"Q1120562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a1ad0ce9660ab9caa9cc2c3fe7d7e6b2bb97e7","datavalue":{"value":{"amount":"+0.8134991526603699","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":"Q1187979$37CFE230-FBAE-49C7-8D9C-9D22ABE80A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98f67d198fe72888f9afb510785face4325042b","datavalue":{"value":{"entity-type":"item","numeric-id":4218530,"id":"Q4218530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3656e821818b4d7c7486d1db3c2fb89a6123011d","datavalue":{"value":{"amount":"+0.706241250038147","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":"Q1187979$7D857155-2520-45EE-9FE3-618D4098EB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d4a9ecc371dfc89d2c0bc623f515cd918b9cf","datavalue":{"value":{"entity-type":"item","numeric-id":1914372,"id":"Q1914372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9eabe684ed07d2d75ccdb1b49d652ef23a4eef","datavalue":{"value":{"amount":"+0.7038179039955139","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":"Q1187979$BE59077E-7D31-474F-B5B9-6F3E9A4D6DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4066e6e16332d89fb72828ed1ed5588797e09e49","datavalue":{"value":{"amount":"+0.7017561793327332","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":"Q1187979$3C389183-C8DE-4432-8936-374A9633AFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8c263cd2b1d109d962f9d99de99e9d4b6419e0","datavalue":{"value":{"entity-type":"item","numeric-id":4314066,"id":"Q4314066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1ced3414aef10b134a7045b5240967e36123be","datavalue":{"value":{"amount":"+0.700205385684967","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":"Q1187979$EAA9F458-0054-48D1-B8A8-5A826374B793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187979"}}}}}