{"entities":{"Q3133169":{"pageid":3143885,"ns":120,"title":"Item:Q3133169","lastrevid":53018201,"modified":"2026-01-24T01:20:22Z","type":"item","id":"Q3133169","labels":{"en":{"language":"en","value":"Undecidability of the transitive graded modal logic with converse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837741"}},"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":"Q3133169$5B6C7906-4914-4037-B0CA-0A19B28D7251","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31d0fcafe42c05e1901f0d83fe317b23bfea0e19","datavalue":{"value":{"text":"Undecidability of the transitive graded modal logic with converse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133169$8159C6C5-E924-4089-9D83-BB6FEA777906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2bfd5ec548fdf717d6272c53b65ae4e20aa28ef","datavalue":{"value":"1444.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$E8684B2D-BF1A-4F45-8DF9-7BCFD03BCB90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133169$D6D674EA-0E47-499E-84C6-43A55A6E526A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24eb3bf2bf54af96c4beee63bc4b363d7bf283c6","datavalue":{"value":"https://semanticscholar.org/paper/c3117f2c2f0cd554a8c7d0fc84b267c6a5fb0bda","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133169$0E399160-5D75-43FA-8837-318B60139D22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$96E8B5AA-6472-48ED-9E8A-156F8387BD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$09DEBB8D-D21B-46A0-B225-288FF2B7AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$79D668B1-534D-4F60-8FEB-420F4B1F6CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f385d23d79b0e382d8a53f009d3deded078e455f","datavalue":{"value":"6837741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$F38CEFB9-3D2B-4F4C-90B2-C0B2F9273A8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133169$47245113-977C-43F4-9481-E0CE33FE2D22","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":"Q3133169$CB40D480-B453-4334-9966-6409D74319F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c20e1c2b60c3da12a489c67eba99cb9d13d7941","datavalue":{"value":"W2508927473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$707233A8-344F-4CA5-8FB2-12937338AAAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3bdb6c56d07cfcc0e188630829a0811ac4cbe5a","datavalue":{"value":"10.1093/LOGCOM/EXW026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133169$E7C81468-107C-4A44-B7E4-0A6E89D58FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133169$5D5E35AD-539B-4320-8E18-917C5334A31E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf56e0b2b33f3c027f83b3252cb7d209a83137f9","datavalue":{"value":{"amount":"+0.7732738256454468","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":"Q3133169$5526DB40-12BA-4AA1-944F-9B861E3A5BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4555e171e66f0e34d6fe011338511ebdd2c7fd80","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40855c7822a728f753075ab313dcd2b17baa557c","datavalue":{"value":{"amount":"+0.756252110004425","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":"Q3133169$B52F178A-03A3-4B25-8353-AD045521D927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354c19bee42f60495295312be6d8188e8677c89a","datavalue":{"value":{"entity-type":"item","numeric-id":4295885,"id":"Q4295885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6949f478121b043c89246678b72f1498b5f55d40","datavalue":{"value":{"amount":"+0.7539206147193909","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":"Q3133169$DC0C2900-A9A9-4F88-B969-8B3DB3F3D96C","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":"494bb223ffafc9cad491eb48e5c0b3552c7400e5","datavalue":{"value":{"amount":"+0.7507969737052917","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":"Q3133169$FE225459-BD23-408F-80D2-63670D88EC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efb3a957f2fa06ba90a71c4749c88db8070991f","datavalue":{"value":{"entity-type":"item","numeric-id":814615,"id":"Q814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f81efe6ff79f47a4045a376e2f482843e7e682","datavalue":{"value":{"amount":"+0.7506900429725647","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":"Q3133169$6BA1634E-0FC4-44F3-8BDD-F6A397304863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133169"}}}}}