{"entities":{"Q2815679":{"pageid":2826417,"ns":120,"title":"Item:Q2815679","lastrevid":42168241,"modified":"2025-05-26T21:45:43Z","type":"item","id":"Q2815679","labels":{"en":{"language":"en","value":"Finite model property of modal logics of finite depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6599760"}},"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":"Q2815679$48AA08E0-DFE3-430C-9D1D-0B3F71082818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92f6d3a0427dd4bed315a56ea26fd88be44d98ad","datavalue":{"value":{"text":"Finite model property of modal logics of finite depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2815679$F45B729A-A09D-49A6-9B76-64BE0A51CB3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"698ce6da3c8bc6a2b3f6339f3ab359b2de465d46","datavalue":{"value":"1338.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815679$B00B0228-77D4-4810-95DA-C388C49736B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef7561ff19202ad3edc2510c8a382cf876c1c9ad","datavalue":{"value":"10.1070/RM9686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815679$3D9435BC-0C28-402A-83A4-55641C9D2B65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1d9e2a988820cfee4cdba9b0957471a6fa1ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2815678,"id":"Q2815678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815679$09A471F5-72EA-4CA7-8987-5D261D842542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"553fcbc39a7b86337f5d811ac8f13f643050b1de","datavalue":{"value":{"entity-type":"item","numeric-id":831222,"id":"Q831222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815679$DABA9524-95D9-4738-9D57-8324D8294ED1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815679$D54E6B97-6A66-4712-959A-7BA77D217DA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d98f2be9388fe0b19e5e725594ce7a9c36c460b","datavalue":{"value":{"time":"+2016-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2815679$C53B9FCD-7BE6-40EC-A9A7-C05DD6113C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815679$C415CD1F-9633-4A61-9A38-25937A06CEE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c609907fec8a4052fd89033c19b325e0d1a8cc6","datavalue":{"value":"6599760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815679$75F557FC-CE73-419C-82BB-68DBEB2EA85D","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":"Q2815679$1AAA76FB-4AD2-4EF4-A645-1F0C2014C69F","rank":"normal"}],"P1643":[{"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":"b579e1afea2db72de713631aa6af57f720294a41","datavalue":{"value":{"amount":"+0.9612067","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":"Q2815679$B5140FF4-6A80-4396-B703-69C23CCBFD09","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":"4a509db6ea6acba757d8f3c6c9a46f4f78501f53","datavalue":{"value":{"amount":"+0.95912313","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":"Q2815679$7CB2943C-A7A1-4633-8B6C-DB33B61349B2","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":"d8053ddaf673ce246a71f38c5d932fedc5bfa1f6","datavalue":{"value":{"amount":"+0.9478231","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":"Q2815679$E8CF3669-A456-4FE3-A4A8-4F3292A07208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5b0d7147ede089fe5b452f3d98f60271346200","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d73d8c7f56369cf74d697ee63d8a99fef18ca0b","datavalue":{"value":{"amount":"+0.9287898","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":"Q2815679$2B7C9BAB-5B03-4C06-9524-957281A0BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19beb98f5bb43584f7c6fa61475da778eff2cb84","datavalue":{"value":{"entity-type":"item","numeric-id":5377337,"id":"Q5377337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02b90950f946ec5132f80f2048f054c8d693b4b","datavalue":{"value":{"amount":"+0.9244986","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":"Q2815679$46FD4C9A-4076-4CCF-88B7-F8DAC5FDEEF9","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":"149339e04149e374e8ff1f1d0dec8d26fecc7222","datavalue":{"value":{"amount":"+0.921923","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":"Q2815679$D56A244F-D4B9-41CC-87FF-C3FC00F1B936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0fe335617ed8e8830bed6de2894978b9cbbf1d","datavalue":{"value":{"amount":"+0.9196793","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":"Q2815679$2384C1D9-1F45-4432-8880-AFA31B792EC0","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":"9d6cc0a9efca4655c0a52ae1bceb90adbd1c6da1","datavalue":{"value":{"amount":"+0.91572076","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":"Q2815679$980C0B18-8BA8-4F59-A7F7-488C9F059931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2861f0b0ba3ad543d9ee93956eb60f03cd88fe","datavalue":{"value":{"entity-type":"item","numeric-id":2526721,"id":"Q2526721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786bf59236899eaaacc6df9fc035665d5efb0153","datavalue":{"value":{"amount":"+0.915639","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":"Q2815679$238C7E1C-C586-4B57-8C66-A60D35B5DD0C","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":"85b69f8908b862f41b96863e04f15741f7c50b84","datavalue":{"value":{"amount":"+0.9147826","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":"Q2815679$B05E5686-9C0D-472B-B23E-13E73F8BAC73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2815679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2815679"}}}}}