{"entities":{"Q1742616":{"pageid":1753358,"ns":120,"title":"Item:Q1742616","lastrevid":68951421,"modified":"2026-04-13T03:19:37Z","type":"item","id":"Q1742616","labels":{"en":{"language":"en","value":"Undecidability of relation-changing modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6858835"}},"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":"Q1742616$7960891F-4F88-4A39-8C86-4DE4E73404C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f2808187c0824e972ff824a19b5d61111ad058","datavalue":{"value":{"text":"Undecidability of relation-changing modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1742616$B8C323D8-F735-4BBA-80F6-BA0F128C4240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3e902479a14d2c386be7aaf900bd1d65a333e06","datavalue":{"value":"1499.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$B9355A5B-5BE3-4A01-ADA4-08A6636F2A48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f7c7d6a0b383c4dbdfa31dc651eacc1bc381a4","datavalue":{"value":"10.1007/978-3-319-73579-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$BDCB8A38-270B-4148-9DC2-13E11637D4A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742616$0462C782-26A3-40B7-8B76-A69246D41B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742616$A1C9F878-10BD-4289-8D73-E65CF9DF61E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742616$2DF8AFF2-50E0-4B07-A2FC-5FBEE3D7BF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521b94299af05e7be296e858bd7ce841f1f67cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1742615,"id":"Q1742615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742616$F0DA9CBE-5D77-4483-BF9B-AED26C95C7DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34667658b2053643f4cfa7606566623ee095ba","datavalue":{"value":{"time":"+2018-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1742616$102ED3D5-A698-4558-B8E8-938DF46A6D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$3DE16434-F761-4D22-BFD0-921594098FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$067BF149-5C61-4D31-AB43-F567D121523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$778B4741-B8F5-4130-ACBA-BF4DEA8B5A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f9e47677dd31bc9cbcf36eea6726bb59aed66f","datavalue":{"value":"6858835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$9CD7B215-E422-434B-AB8C-9A6FAB75655A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742616$94719877-BCFF-4380-B8D8-E76780629310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742616$D79E3140-31D4-4800-B890-C2D066D68F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742616$63808342-6B86-4A08-96D5-D579718C6E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742616$F23B04D7-762C-4AE2-B729-72032BDC56A8","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":"Q1742616$0B716562-63B0-47A1-ABD1-2A4588C40448","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f81fcad1053cf2498b38517f4a5f9c46a460ad3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73579-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1742616$BAA171C4-D1C5-4875-AC5B-B2C2928FBCFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c080720608cbf9554a691a4d4dad54fbaca8c11","datavalue":{"value":"W2782243532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742616$0DBDE253-D33E-47EB-BF57-C14C580C532C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52725c22ccca72a4aa3f25df3491606ae0b29d4","datavalue":{"value":{"entity-type":"item","numeric-id":4612446,"id":"Q4612446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888c13e5ea91bdcb8063ca5f6fffc8c37ddc2f26","datavalue":{"value":{"amount":"+0.9181159138679504","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":"Q1742616$230A0607-5779-4D79-81CD-17CE9338F46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7370d65f5e7cea5c67d03c71f5dc029650ba0e7b","datavalue":{"value":{"entity-type":"item","numeric-id":5015266,"id":"Q5015266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782260c91f543b23dd7cbe4c2a0a13ee0ae1c32a","datavalue":{"value":{"amount":"+0.8840499520301819","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":"Q1742616$D345AC21-3051-4ECF-AC5A-691132187D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa4c48e9e3153570dbf712f277e18bccc31d457","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270dd9798d64b46c4c28aad1df57ef08ea424dd0","datavalue":{"value":{"amount":"+0.8225289583206177","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":"Q1742616$19D15FA0-1FBD-42C7-B8A2-EE07EFB8BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e131f96cd9adfa814a0fd2261b2c4cee007291","datavalue":{"value":{"entity-type":"item","numeric-id":2849494,"id":"Q2849494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521662ca524b5f921939beab2b29e16c500ce61a","datavalue":{"value":{"amount":"+0.7971103191375732","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":"Q1742616$15A7B40D-F0AF-42F7-8DDB-5AFDC75BA4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9729c0c6d28e3ea9d74a5615cc2bb10c1b6a71ab","datavalue":{"value":{"amount":"+0.7446632981300354","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":"Q1742616$F08FFA99-8ABB-46B6-9E99-7CF8DFF1F384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of relation-changing modal logics","badges":[]}}}}}