{"entities":{"Q1109759":{"pageid":1120508,"ns":120,"title":"Item:Q1109759","lastrevid":80308820,"modified":"2026-05-06T15:54:03Z","type":"item","id":"Q1109759","labels":{"en":{"language":"en","value":"Expressive completeness failure in branching time structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070862"}},"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":"Q1109759$8F09D1AA-516D-4D7C-A26E-782EB2A34ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e4c3f60bc50b3152d1e276282fee8d417f65ae2","datavalue":{"value":{"text":"Expressive completeness failure in branching time structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109759$F18E0C98-055C-4F95-83AA-166DFF77ED79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79aa3403d2a80bc46ea4a2f0f014dbb951bd3a92","datavalue":{"value":"0656.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109759$D8FB284D-5EA5-4979-A1B0-7C181BFD57CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59fb92904b1913d21e76f42c883d34009e2f9d9f","datavalue":{"value":"10.1016/0022-0000(87)90003-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109759$093FDCF6-7176-4491-B881-D491BD335EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4816a3d2e9952065dbb8659dda0ea05337b6f4","datavalue":{"value":{"entity-type":"item","numeric-id":287044,"id":"Q287044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$38258BB0-AEEB-4283-BE50-C1B297B46EF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$A5D2BED6-36D4-46F4-B260-17C9A4B446D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1109759$63354583-D6A9-492C-AE28-AB5FF7D5EFB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e497ad1f070d744219eafd2e566dba7a252ec43","datavalue":{"value":"As for the expressive completeness problem (or equivalently, functional completeness problem) of tense logics, all the logics over linear time and some over non-linear time structures have already been shown affirmatively by the author and others. Gabbay, on the other hand, has proved that the general time structure is not expressively complete. In this paper, the author extends the negative case by proving that an infinite tree with an unbounded branching factor is not expressively complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109759$E477266D-EB64-41F0-A7BB-2A0A801AD3FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109759$03E89E08-4229-4A68-9056-2C9BBB6BA05F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34f20abee0f10e538a16da8230c7df3cf205e52","datavalue":{"value":"4070862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109759$3F194DC0-E0C6-4E68-83B7-D18155010F67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109759$1442252A-4318-44BC-B660-65BBD3319855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109759$56BCD480-4A4E-40DD-B016-541C6FCE965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109759$7292D13E-68FB-4891-82F5-34C752042CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109759$A0BB04B7-1369-4093-8494-3F7F34B8EE0A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$4F11B116-AB46-4FA3-AFF0-BB7FD4A64A8E","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":"Q1109759$25D3485B-AB87-43AF-B036-FA75F00EBB13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1440555e3f886d07e753073f90b4c9c2eeaab767","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90003-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109759$C93CCF98-9372-4A3F-807B-ECDA8821C5E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e66e6b0eae277d0ada7fd7b9c9e40b2fb797b5a6","datavalue":{"value":"W1965973058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109759$5D07641E-F407-4CE8-B193-A758B28C8A24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$D5EE3422-FEC8-4DC0-84BE-9C9E6260F5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$62543BB8-661D-4433-8A48-3EBC6816138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$DDD5F10F-7A01-4012-98DE-90F09ADD0BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693d4d2c0f293d1fccb74636ce199dc482f65b07","datavalue":{"value":{"entity-type":"item","numeric-id":5549024,"id":"Q5549024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109759$F483B052-21AE-457A-97C1-24253D93D066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8400a04f9926ecd2d09aa2a0d78a9cda6e1a151","datavalue":{"value":{"amount":"+0.88057756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$CAAE919C-630D-49E6-B3A1-B7EC94346C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9546ecc581a57aa727cf7de31e001286230e40eb","datavalue":{"value":{"entity-type":"item","numeric-id":5897075,"id":"Q5897075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c087edce6abcb50db4037b65cb0f01c9f357e1","datavalue":{"value":{"amount":"+0.87224627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$CA3D31A2-FD05-4BA8-BC98-F9F40852B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de71c282b5d02bcffb843a5a19541d877af0b13b","datavalue":{"value":{"amount":"+0.8711205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$19C05AC4-EFCF-4C2B-86AF-09D806DC88BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7876b0d34a28e5d7879b5968cf8bfd47c2872cc","datavalue":{"value":{"entity-type":"item","numeric-id":622622,"id":"Q622622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969943b04b5fa5bc797338109181b3ed65e4e8f4","datavalue":{"value":{"amount":"+0.8706315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$725AEE6D-1B31-4F6B-9CF5-E24E393331BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bf8ba953bf10aed5053ffca784e009cb6cdef","datavalue":{"value":{"entity-type":"item","numeric-id":302231,"id":"Q302231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec42fae113f6bff999a8f1efab69b937a20c18bc","datavalue":{"value":{"amount":"+0.86735123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$B2CD235B-9146-479E-8493-865D4E4D4167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb78d318c06036cffb850af2fd2631c4838fac0","datavalue":{"value":{"amount":"+0.864841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$09093D08-D3A5-4A03-93A0-D02F69C7B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4326bf16d6b2a89318ee01a2d9957ca16e1fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4038673,"id":"Q4038673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f4589e033bb03ca338363144dff0c5f9a68183","datavalue":{"value":{"amount":"+0.86473626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$29AE96C5-8828-459F-BF8E-048B7893374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed47f85507d6b33501b92c26289260a7115fe7d1","datavalue":{"value":{"entity-type":"item","numeric-id":4218103,"id":"Q4218103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef08a87d9d59b89739ed2eb0fb6d364b8c9b5965","datavalue":{"value":{"amount":"+0.85850644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$E5166613-DCDC-4525-8D99-F39F4383D765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04484ac7efe84ce866ef0f79be7e1aaabeaed3","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f58c4ac3ad15df5dbaeba25646cbb961eda7058","datavalue":{"value":{"amount":"+0.857737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$46216587-179B-403C-BFBD-693F2F094198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4404117807de536d33d2f5c0af9320e891c281a0","datavalue":{"value":{"amount":"+0.8571007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109759$AC1178EF-547A-4CE2-9BD9-48830A1874D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive completeness failure in branching time structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_completeness_failure_in_branching_time_structures"}}}}}