{"entities":{"Q2460176":{"pageid":2470919,"ns":120,"title":"Item:Q2460176","lastrevid":50213264,"modified":"2026-01-13T13:16:52Z","type":"item","id":"Q2460176","labels":{"en":{"language":"en","value":"The undecidability of propositional adaptive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211706"}},"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":"Q2460176$080EF5BD-955F-47F8-BC1C-2561F46EEADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b9d800b0c31c4dffd49a9d71f1af54c2cc6acf0","datavalue":{"value":{"text":"The undecidability of propositional adaptive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2460176$B272F9BF-7B55-4D2B-9A30-1A435348925D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc447c847f99ecb7d100179b8134aff26ff29191","datavalue":{"value":"1126.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460176$F4061EBA-6FB5-4779-9DDB-41595B113DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d8806d8e05c27ac5a88b3dbec26c9e656a1fde","datavalue":{"value":{"entity-type":"item","numeric-id":185581,"id":"Q185581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$A8D1F403-F654-4635-9AD6-A10DCF6BDA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df54aaacafa183ee62fe8c75514fc862fac34be2","datavalue":{"value":{"entity-type":"item","numeric-id":221561,"id":"Q221561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$D29BD435-2FC3-46C5-8715-15F3F602F388","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$84BA54A9-B04E-498B-857D-5250A8AD1359","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb246d74428bf95f3ed2ed9a3bb24dd112fcb276","datavalue":{"value":{"time":"+2007-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2460176$4CA43037-074E-481C-8547-404D4C2631A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460176$4C3F08E5-7B7A-4880-B81E-B5E4A015185C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a851dc010eeaaf68de3107e97c0f099b94f27529","datavalue":{"value":"5211706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460176$44FB148E-9DEB-40DA-AAF7-B937B29AAD00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfbed95379fa12faccab2a305628df0ab468356f","datavalue":{"value":"Adaptive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460176$95666792-2DC5-471D-AF07-93FA3D7DD743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96ef2d5acf0c5e323047185c4de2c706c774116f","datavalue":{"value":"Paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460176$C0AA8A09-1FF1-480F-972E-916A08ACBFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0342f6ed9297d8a2c424f142c19d0bfcb4cbd4","datavalue":{"value":"Dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460176$996EBAB1-C10D-4444-AA6E-27C0F892512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24faaa3ef958212f2d05f6c53e6d479c4b0aad51","datavalue":{"value":"Undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460176$A98CAF47-D808-4D98-B8FA-BD71E1E8A7EF","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":"Q2460176$31D2300D-E1EE-4369-B350-29DE8A0F888F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21b901fd7743da6b67a5c22c8c1d3a2c816461f2","datavalue":{"value":"https://doi.org/10.1007/s11229-006-9049-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2460176$88373A29-5070-4375-A331-4A13BD005995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdbe3c5c8931ed0a08fa3b9cda29dc71b869f561","datavalue":{"value":"W2021342756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460176$D70EB95F-E537-4FF7-9AF3-7A7BD10FA3C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfea60b7971df72f3a0c8d28f4f562a5dd3e4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2735803,"id":"Q2735803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$46EFEF99-9A3A-4B1D-B6F4-575227DBC6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f2d7065fb232baa7a4b7a295ed55585cea17c","datavalue":{"value":{"entity-type":"item","numeric-id":4250060,"id":"Q4250060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$E6AFAEB8-5DD9-4447-9008-430C02F1FE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b12c3427f3cfc70c0e07b38ea78872a08be61fd","datavalue":{"value":{"entity-type":"item","numeric-id":2762534,"id":"Q2762534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$809BCC5B-F782-4CAF-8C63-57A1581DFA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2aa2a6d69d2f3031d5d0e5e44fc79a1ff5dead","datavalue":{"value":{"entity-type":"item","numeric-id":4811768,"id":"Q4811768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$2470C245-9A40-4732-A8E8-DACCD99F557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75e43d781b10e69c6c976d184eadc4063ae0d13","datavalue":{"value":{"entity-type":"item","numeric-id":5711868,"id":"Q5711868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$FC3E2567-BD5F-43FA-9FA6-5945DD86B991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ffe03f866212685cdaac49848bd57e33f5c45c","datavalue":{"value":{"entity-type":"item","numeric-id":2576384,"id":"Q2576384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$03E88153-11B2-4790-BEA7-3CF2986DBE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a21143fb3b050b6877cfef85256b57f51dd9132","datavalue":{"value":{"entity-type":"item","numeric-id":1775872,"id":"Q1775872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$AAD1D8D8-7471-45FE-8249-AE0D02485745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aa2e0a706aa54bd437b818c446f9fdf252a068","datavalue":{"value":{"entity-type":"item","numeric-id":3772173,"id":"Q3772173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$C900DBD1-FDDD-4A26-92D9-4C8DFD4C59C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$7090708C-F280-4833-B434-88A2987C8946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ecc1f2fc0cddaf567242fab4c34d9c78e62afa","datavalue":{"value":{"entity-type":"item","numeric-id":4223173,"id":"Q4223173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$C2D0B918-030C-47AD-9289-1E44C3FB95B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d159655db040654f25d54689f98b3a3abd7b19f","datavalue":{"value":{"entity-type":"item","numeric-id":1277794,"id":"Q1277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$6E2E2B07-C896-41FE-9C4B-FD68AE7C8EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$FE049F0D-E9DC-4CDE-93A1-C48F82F12431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c725622cf25e414929f69efb6de27daeceaee294","datavalue":{"value":{"entity-type":"item","numeric-id":2387468,"id":"Q2387468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$BE93C2B4-6D0A-4006-9FFF-7F04CECAA843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$F087EB3E-E985-44C6-B7D4-2B984ED27DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5dc9768010dcf1d023863d74ba9463c4c6d5fb","datavalue":{"value":{"entity-type":"item","numeric-id":4953233,"id":"Q4953233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$2B35A6F7-54D2-4DBD-A56F-03A01E43FD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$56BD1B5C-373C-439F-95B0-F12706B24D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef36fc6ccf5aa442a22486581829fb6ad4b64c15","datavalue":{"value":{"entity-type":"item","numeric-id":4329301,"id":"Q4329301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460176$F49B1801-3DC5-4D7B-B2B9-7D15A7391282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd523401ff79cd67afbc16ae606b8e83faed8d2a","datavalue":{"value":"10.1007/S11229-006-9049-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460176$D46BEC14-3C75-49F7-93CF-55FB59FB2A4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aace50e2fddc0f33b76ebc615fdcb61de152db43","datavalue":{"value":{"entity-type":"item","numeric-id":4925863,"id":"Q4925863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e4332ab8495cd3a3331ce528a84a46ff2c296d","datavalue":{"value":{"amount":"+0.8407201766967773","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":"Q2460176$A53B2D12-CCD5-4F69-9C33-DB583E8F9BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d8a2fa381cb97ed4f6a37807f99f0cbb6f8e27","datavalue":{"value":{"entity-type":"item","numeric-id":1775872,"id":"Q1775872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3196efaecf8e963923c5480f960a7c0c4f199719","datavalue":{"value":{"amount":"+0.790463387966156","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":"Q2460176$26A2BBC2-B0AF-48BE-B89B-60D54847FA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6e6f3343bf569ecec1d994d903ceae0b2af554","datavalue":{"value":{"entity-type":"item","numeric-id":2016057,"id":"Q2016057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3f3b2a2ed303e0057e21d28f60d2b86556e735","datavalue":{"value":{"amount":"+0.7864169478416443","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":"Q2460176$305F4746-3EF9-4D7E-9D43-9E0D0C5CC0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b225c0140d2da80d05252eaa7fcb777264c987","datavalue":{"value":{"entity-type":"item","numeric-id":833026,"id":"Q833026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e971a8d448fdfdf6cae52373f9625ef1b2ef998","datavalue":{"value":{"amount":"+0.773919403553009","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":"Q2460176$1BA439AF-FB15-4D78-9686-230C9040F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b28a11aafb4cd06524df0ffa426afa9659e6b78","datavalue":{"value":{"amount":"+0.7604246139526367","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":"Q2460176$F473049A-83A0-412F-92FE-615C6D6E7748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2460176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2460176"}}}}}