{"entities":{"Q6047678":{"pageid":13181834,"ns":120,"title":"Item:Q6047678","lastrevid":93758441,"modified":"2026-06-05T05:03:28Z","type":"item","id":"Q6047678","labels":{"en":{"language":"en","value":"Modal completeness of sublogics of the interpretability logic IL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736814"}},"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":"Q6047678$F3E2DAF9-FD7A-45C9-8CF2-5E373C386F12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e297517834b1ce3def9df355b74abc08d67ff327","datavalue":{"value":{"text":"Modal completeness of sublogics of the interpretability logic IL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6047678$39329E8A-2972-4830-B47D-5A4B3D932847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"863d45d46a8ed6c20aa3b14ceeb2777c81c5befb","datavalue":{"value":"1521.03238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$133E0230-8131-4BB2-AD5C-3669DA8C3BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$020E0373-ED7B-4BDA-9A49-13933BA0E3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c572c066a8ea22a9b9ac8efff19fe885352a420","datavalue":{"value":{"entity-type":"item","numeric-id":2120970,"id":"Q2120970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$A9BA6516-26A6-4F36-9BED-52FDE37CC32A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$4FCAFE8A-3487-404F-9DEC-18221DC51571","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-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":"Q6047678$44DEA319-33C0-4071-B493-9EFED9E961F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a654aa2e71a363e20b88771a4901c982226f0349","datavalue":{"value":"https://arxiv.org/abs/2004.03813","type":"string"},"datatype":"url"},"type":"statement","id":"Q6047678$A7AE0617-8165-471B-B8EB-6D7C43AC62B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$B1040C8B-3FAC-453A-9833-DAAE7661BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$884F9C8C-E738-46DA-B426-8F8D8F00CA3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3789872ef58f0018eba52d2dabbc1a7846dd31d","datavalue":{"value":"7736814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$A50235E5-22DC-4E9E-9574-8C8F4B15B0E1","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":"Q6047678$076DF074-CE72-43AB-BE87-12EBFA588ABF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6a50f96f35c4d845eacc457a787e42858febaf0","datavalue":{"value":"W3183306452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$D83E29A3-2899-484D-8AF4-39061B839F2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$8DCAA57B-264B-4527-830F-36B531CF2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$112F7075-F666-4709-87AD-3D2A7968C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$6A57108C-59BC-4A4E-9910-B856DF14564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$5054E8E0-419E-43A9-86E8-3D1EB4619C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$962AB7D0-B333-4E3D-A132-663897DB99B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$07886516-B6AC-4B47-9D04-D7CF6751CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$C1D86756-1F95-4F17-9A72-32083D1841DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$C18E3689-7FAB-4940-8C75-7246CE2491E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b6b0394e9ea8590352d00d1f8be45f7500fcff","datavalue":{"value":{"entity-type":"item","numeric-id":2785600,"id":"Q2785600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047678$385E811E-2CA1-45D4-9357-5ABB9DFDBB91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06baff524da3609fa690d7a751e52cbfe31bdbf0","datavalue":{"value":"10.1002/MALQ.202000037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047678$17523585-E71D-4FA9-999B-005545C34B80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52800f4b6f025afb309f7794216dc84b227ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":5148108,"id":"Q5148108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540f8bd6d6c16d3741b26cf2907a732c261abe21","datavalue":{"value":{"amount":"+0.8644403219223022","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":"Q6047678$F4D4A1DB-CD9B-493B-AB2C-C200690B5904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9a5ffcd8a3f58d492afcd7d8221d1704e5a193","datavalue":{"value":{"entity-type":"item","numeric-id":3535605,"id":"Q3535605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0ca512d29f57de5da6dee67d9f0066cf88854e","datavalue":{"value":{"amount":"+0.8510981798171997","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":"Q6047678$4CF283F3-E561-41AF-92EB-E58958414EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fa1e61fc5f73210f8bb2dd7c7e1c9972d91b89","datavalue":{"value":{"amount":"+0.8455801606178284","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":"Q6047678$2EBC12F9-F369-4EFE-AF64-9F5126E71461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3737b46562c23b92952b7d95708796778ac5a047","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2086920c4213f5428e7c039b1e3af61594c0ea62","datavalue":{"value":{"amount":"+0.8102769255638123","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":"Q6047678$424474CF-710C-4F80-9774-8DE6F8F97528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a618978de43dd5bdb8d7dcee52b55763a730591","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8232c72a155c21d82f36b7a9921c617690b05983","datavalue":{"value":{"amount":"+0.807770848274231","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":"Q6047678$D5BECAB8-439F-41FD-B20E-A7FDFCE9775C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal completeness of sublogics of the interpretability logic IL","badges":[]}}}}}