{"entities":{"Q2698279":{"pageid":2709023,"ns":120,"title":"Item:Q2698279","lastrevid":44645619,"modified":"2025-11-24T16:45:13Z","type":"item","id":"Q2698279","labels":{"en":{"language":"en","value":"Finite model property in weakly transitive tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7677357"}},"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":"Q2698279$3022D2F6-515A-4FA5-B26C-F5AD06BED8F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84264dc24609eba62c679a35d233e357f6d9eccb","datavalue":{"value":{"text":"Finite model property in weakly transitive tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2698279$486F2BBA-7C10-4492-9EB7-4C401A9E344B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$56B0B0E9-DA0A-46A4-AEFF-42A43B21EB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"516004f02fae17b2a62df508ff161c848bb00b3c","datavalue":{"value":{"entity-type":"item","numeric-id":590081,"id":"Q590081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$6E4171A5-B5F1-434D-9C5D-954686869702","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":"Q2698279$AF86099D-23A0-4A8C-BA38-E3E1B3AF121B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2698279$99B21BB6-1A7A-4204-AB4A-8D392F69B9BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698279$92A3E702-4C5B-4009-9F33-7D616E1F03B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e82d2dd41fc1e7f17397011f27a14b59ce3062b","datavalue":{"value":"7677357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698279$73A3A838-E3C0-459F-BE7C-541267CEA66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698279$C22F93C7-CD65-4C2D-8CFE-7C9C15DD4714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698279$43848CC9-764C-4130-931C-EBBEEC162DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54ab279dfa7fae589296fba7ea2dff662e45461","datavalue":{"value":"weak transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2698279$0446FCF9-8DF5-4DF5-B13C-C5A6B036C01D","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":"Q2698279$8E4F7609-8B76-41DE-B92A-45AC1621DE7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b8a841ddbfef8f7c71e7199d5a587e5c0524cc3","datavalue":{"value":"https://doi.org/10.1007/s11225-022-10027-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2698279$43F854C5-4880-4AEE-9D4A-9520B3143876","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2176a481c251d5e12e8de651498876a8168a94f2","datavalue":{"value":"W4309194047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698279$45AE4274-63DB-4D20-9B93-B227964D536D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edacbe019f846afd505c23a3ffef4e7c73c08c4d","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$CF1EE5DD-DFC8-472C-8F0E-D635A0331021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee5fdcd591b5e712898d66bccba4d0cc23af4c","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$13012189-FEF0-4B27-B7D2-B067A9F13A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c5ecca22c1aa584ef78355b093fb33e6279a59","datavalue":{"value":{"entity-type":"item","numeric-id":3019967,"id":"Q3019967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$A0E66865-7A99-4028-91B0-DA0746AEF4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16652bc1507348de79cc40356823356658d41c65","datavalue":{"value":{"entity-type":"item","numeric-id":3550704,"id":"Q3550704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$A854B552-4761-496D-9B63-A9D796C99290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$3541311A-B0DA-42CF-BCC0-03D221154811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$9FE01133-4DC3-4A64-94E2-73A7ACA370BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89289da95721dfb8b76a16c8ba44f68b5add452","datavalue":{"value":{"entity-type":"item","numeric-id":4424659,"id":"Q4424659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$F53032D0-E331-46EE-8EF4-E08B1ACCE7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ab6472b1c48b02dcbf6aeb50a7e64d4ee11e19","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$5D8577AF-531E-4F9F-AA8B-544AA9621F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7f91b0dbcddbb76e1a3a78c07785f28c1b883e","datavalue":{"value":{"entity-type":"item","numeric-id":4636301,"id":"Q4636301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$C05EAF23-DF21-44DD-95A6-A0C6FC3FBE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a3eaba33b9be22f282f6e7a4f20eed22af9e","datavalue":{"value":{"entity-type":"item","numeric-id":1204117,"id":"Q1204117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$A521021E-A4F0-4C07-9BDD-181A289D9E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$2958994F-A33B-4508-862C-71C1289F3857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be87e295744aa552c65400d1b7c66a08917c284","datavalue":{"value":{"entity-type":"item","numeric-id":2062217,"id":"Q2062217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$E9570DA6-ACF7-4B13-8608-EDEB801E5645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$DE5F2ACF-CC7B-48BF-9B83-41E14E8E5F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$1943BEB2-4018-4E14-A21D-A02E3F11C283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$B707F2E9-92E4-4331-AAF9-CA24D04DDCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d2e8aacbbb4ce1458c4ad8820abf0d257659e2","datavalue":{"value":{"entity-type":"item","numeric-id":1815425,"id":"Q1815425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$72B82A8D-799E-4881-9B32-E9413F45458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$7D9C1670-72D9-4708-A683-89007C258FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b39c890b27b9d7c58e2b8f30ca05d9536bfba8","datavalue":{"value":{"entity-type":"item","numeric-id":4372915,"id":"Q4372915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2698279$114EB807-0C33-42ED-B147-420ECCA0DBEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a4b85bad114fb80d25a9aa3f00e397716ef3821","datavalue":{"value":"10.1007/S11225-022-10027-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2698279$2B25AB53-F995-4116-9ED9-DD08A913CB26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ed5bdbf05da03fd2cfe65b637b10dde1dfacd3","datavalue":{"value":{"entity-type":"item","numeric-id":2148830,"id":"Q2148830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511caa6cedd292c7c80e3015fe42acb41521bf13","datavalue":{"value":{"amount":"+0.96111906","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":"Q2698279$67473E71-5243-4270-AD41-DBB62D75B32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a01e4e3540347809a19d72b0f19664fa641020b","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a402eb7a769203afb8bd47b5df10afadf712ab2","datavalue":{"value":{"amount":"+0.9522524","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":"Q2698279$43E8ABF0-09D3-4375-92B0-8D815EFF729B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3874009dfb7ce6a389bb002c2c0e9705c971a19e","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e142858cb490d253dc8cb59a085386088c8c8e74","datavalue":{"value":{"amount":"+0.9186462","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":"Q2698279$0DC28D52-8D38-4799-81E9-644EDAAE8E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665ba4b116c9dcd45ccbb2cb7525aea090ba37ea","datavalue":{"value":{"amount":"+0.91301537","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":"Q2698279$CE2C6FB9-D3AE-4235-A5CF-959FC4C6BF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e2540c8959fbcc144ae741183ab03e6d66208a","datavalue":{"value":{"entity-type":"item","numeric-id":1428978,"id":"Q1428978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9063c20bb2ff5c4df021c069d8b9d698d047b51e","datavalue":{"value":{"amount":"+0.9126483","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":"Q2698279$01BF1CF5-B4A6-435F-A16E-138325BE2F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9754cad496cbae51ddab8ae25d21e239824378","datavalue":{"value":{"entity-type":"item","numeric-id":2815679,"id":"Q2815679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f251efad66e7a56250dcb6ba2cfba9d2e7476be1","datavalue":{"value":{"amount":"+0.9076293","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":"Q2698279$824552A6-9002-4A26-9AFB-18926720C2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9005d3343030b638be5ff0462610413e52fb872","datavalue":{"value":{"amount":"+0.89200884","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":"Q2698279$62826DAD-218F-4471-87E5-D162AD35C16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18416042f5962c108dcde462b01c7bbd85aecb9","datavalue":{"value":{"entity-type":"item","numeric-id":4856959,"id":"Q4856959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68a5196d15265c52a1832d4bda236cf854c8167","datavalue":{"value":{"amount":"+0.88854176","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":"Q2698279$2270E763-98C4-4564-8BC7-2AB51656E759","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":"6dcacd358cd7b44ba0550a9db7c809401327bd38","datavalue":{"value":{"amount":"+0.8872292","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":"Q2698279$14DA504F-D15B-4059-95CE-1C22C1511B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34253fe933578ef17321d5090d02a7b969cc738a","datavalue":{"value":{"amount":"+0.8853399","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":"Q2698279$FF81DCCB-0713-4267-9C28-85620D533EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2698279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2698279"}}}}}