{"entities":{"Q5065135":{"pageid":7094711,"ns":120,"title":"Item:Q5065135","lastrevid":100082279,"modified":"2026-06-05T21:22:56Z","type":"item","id":"Q5065135","labels":{"en":{"language":"en","value":"THE MODAL LOGIC OF STEPWISE REMOVAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493109"}},"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":"Q5065135$E2E6D3B9-8A70-46C7-AD1D-F56190A4EAD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd38e09de41b5ee8fefd0e924ea56b181de6ca4d","datavalue":{"value":{"text":"THE MODAL LOGIC OF STEPWISE REMOVAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5065135$25220894-74B7-417C-AE27-84B984705D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7c8236a50f3e8c427fd5a87df19d546171c6045","datavalue":{"value":"10.1017/S1755020320000258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5065135$E3EDA1D7-64D0-4434-A439-5E8066A047CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a01486d444210c2a4004a62536080a20908a97","datavalue":{"value":{"entity-type":"item","numeric-id":5065133,"id":"Q5065133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$87440D58-179B-4C83-AB3B-FD97D4994488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce29f4b79b93bdeb14a0f968654322f16fb0a49","datavalue":{"value":{"entity-type":"item","numeric-id":5065134,"id":"Q5065134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$A4E6C5C1-F18D-4558-98F5-85BB14F7E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$6E939C4A-3415-47E8-B8E7-C0EE55ECF3CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$6FCC129E-51AB-4C3F-8886-2F0EB9369C7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa1be8d35620ab0439c973d40d1e05c2d54f9b","datavalue":{"value":{"time":"+2022-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5065135$8B7CD090-028D-409C-9B19-B80F5401F863","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c88721202c39275215f0891f8510ac0fe764826a","datavalue":{"value":"https://arxiv.org/abs/2103.05117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5065135$F6D361EF-28E0-4A23-918C-A69DBAB33409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5065135$B5E96405-EF4E-4488-B167-1EA6E7267F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5065135$3664767A-8449-416F-9BAF-096FDF7B0572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53680cd1ab9cb77b70e9f9eb0f2fca325d6a6382","datavalue":{"value":"7493109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5065135$FEFAAE24-6783-49CD-9972-13B99D6831E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5065135$5BABB62B-4992-4004-A7F4-E109EFA1C334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5065135$8D4496DC-7246-47F6-9FAC-F1CBB5F7AC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3fc69c6814374688f7267e41f57cf8829af35e","datavalue":{"value":"logics for graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5065135$07C08108-918B-4EB9-A3F4-826499DB5C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea49bb88a2c66ab5ed205f8d8286d5102ec72d23","datavalue":{"value":"complexity and decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5065135$399AE197-8ECB-4E38-8DB0-16D5AE566BBE","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":"Q5065135$CD3F1B0D-C2F1-47F5-A4CD-F438605E2AE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54724e6618538986f94bda2c0a18bed26e372034","datavalue":{"value":{"entity-type":"item","numeric-id":3454820,"id":"Q3454820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$1E5C9261-6B89-4D0D-8DF1-A1D4F49E0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$7CD92583-7981-486C-8E1F-8817007D8068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e242b83c24240bf2fb75e1cff36899b9e9f6d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$3816F6E9-6C2D-49CE-BFF0-EF9C3FEFCFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9837cf66a742e6b8d4331eebf95c09975fb9b38","datavalue":{"value":{"entity-type":"item","numeric-id":4612406,"id":"Q4612406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$0D4A73B1-1203-4115-8ED1-3344B05BE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$C79C3983-5D20-4819-8790-151B6E29C6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8176c0acd02382474c77c0c675871408d34346e9","datavalue":{"value":{"entity-type":"item","numeric-id":3114222,"id":"Q3114222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$A325D1CD-7673-4BE2-BC4C-C642B3C685D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$0BF6D6D4-7E2E-4BDE-8461-840335C96F04","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":"Q5065135$414C1EF8-298C-4602-B8E8-E7A79DCBD5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b4755cfb5b604524bbf89459e6bfd929383871","datavalue":{"value":{"entity-type":"item","numeric-id":4917078,"id":"Q4917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$D6677B3B-8C30-4762-99EA-790FF91B7976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$EA139734-F357-4345-9DC3-2EC58A7FB8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$79804D50-BDA6-41B3-9575-B6AA48B70888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$7F3A795C-8D9C-4B6D-BEC6-5F605D141C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892aa0bed945e544f382d45dd0ab80f351296889","datavalue":{"value":{"entity-type":"item","numeric-id":5158361,"id":"Q5158361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$4FE0036B-0AE2-4403-A3E0-8F22F05CFB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d6022efe85ebaea71c3f2dcb2b567358d1ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5431341,"id":"Q5431341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$36CCFD4A-2A77-4E65-9CC8-CDF6CEA137E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5065135$5D634EA8-B933-40EF-BFF9-531B3C819490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f45a801a353c57e1712f9943f0ab8e0e54cd0a3","datavalue":{"value":{"entity-type":"item","numeric-id":2401633,"id":"Q2401633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca8e35abfd4a0a47bf168ee64b6ec7c21a82b59","datavalue":{"value":{"amount":"+0.7867453694343567","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":"Q5065135$606EAB1A-F596-44E3-8ECC-BD8C63A3FE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74849e53359bf592d0ef9052212f40a5810b3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":5861999,"id":"Q5861999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffbabe53bc97cc1799bb17285d86b309d3f946c","datavalue":{"value":{"amount":"+0.7796812653541565","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":"Q5065135$6C86EAB7-BCF3-4179-AC99-CC0727BB84B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1495194a9dd6de7ecaa230e73caf91085b06c4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2938130,"id":"Q2938130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76344cbb4b9e2a5469fdec779ac9e681d026b1b1","datavalue":{"value":{"amount":"+0.7684540152549744","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":"Q5065135$DE942D03-BB0E-4251-B8D7-26A13C6E87F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3238a87f24bba2985bd5629aba08133236452ec2","datavalue":{"value":{"entity-type":"item","numeric-id":5158361,"id":"Q5158361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b1b8a95ab1d18398340edd1e7e9c4949f6b2a6","datavalue":{"value":{"amount":"+0.751678466796875","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":"Q5065135$8B6163FD-E322-47A8-B84D-79B470B12E4A","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":"a98f006c4cebc3dc6192a8d47ac06afcc4fe8357","datavalue":{"value":{"amount":"+0.7437052726745605","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":"Q5065135$319320C7-8455-4097-A9C0-BBF2E96DD7FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THE MODAL LOGIC OF STEPWISE REMOVAL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/THE_MODAL_LOGIC_OF_STEPWISE_REMOVAL"}}}}}