{"entities":{"Q5241913":{"pageid":7271480,"ns":120,"title":"Item:Q5241913","lastrevid":58506210,"modified":"2026-04-05T12:38:20Z","type":"item","id":"Q5241913","labels":{"en":{"language":"en","value":"Complexity of the interpretability logic IL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125813"}},"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":"Q5241913$71F33D04-720A-4957-9899-25DD5E74374F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"309f8f19837c6c06514162b79e641b400822a94d","datavalue":{"value":{"text":"Complexity of the interpretability logic IL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241913$4B140536-CB6F-4A59-AFCA-BE2E0764F771","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"791dc36a8518f9c7c0390e8f5a4e84e67d601684","datavalue":{"value":"1494.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$A50E605B-9CC5-4370-BC4D-36351FB423DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f933fd9f21d04239df86a9d8bb310b7f417d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5025699,"id":"Q5025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241913$8E876344-1B28-4D05-8571-C0B3E102EDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241913$8E31B919-C522-4588-B7CD-90251389EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241913$A6BF6CB2-E8E8-4D02-B295-BAFA07C57710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241913$3221E7FD-12B5-4C8E-BB86-020006F04261","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24678e93630473e7eec7097ac94735b33c441507","datavalue":{"value":{"time":"+2019-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241913$B8D07F4B-3ACF-42BE-95A3-7FD522C71AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"befdb90fa79ee4a0f1bb22dd04d3d03a7d1b42cc","datavalue":{"value":"https://arxiv.org/abs/1710.05599","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241913$B983974C-F393-4507-A99C-DFA49C13DC25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$7A3E1FE0-8E7C-4AD7-AC16-164CE47F4038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$79B5C1DE-5CC7-41FD-BF28-CCA233503339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$754BA15C-A48A-4DDC-984B-FE015D53C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$0C428988-2DD0-453E-A8C0-ED7119D8C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$1E24EA7A-5721-4238-A276-EC4619D4961B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a87942a943538a81622623b7a9a62f4bd1ef055e","datavalue":{"value":"7125813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$020DE3E8-1AD5-4E84-B1EC-6F81BAA9F404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241913$C7A42722-497D-4E52-AF10-58D25656877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a18aacea70c6788e003f4feb2f12c9da5e5f7a3","datavalue":{"value":"Veltman semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241913$19254674-39A2-44A9-924A-D56E835E4C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241913$0E7D3D5E-8B5E-44FD-9B63-6756DDFD5255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241913$26D06E47-C645-4EE9-906D-B81361438714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241913$2AAD53DC-C117-441C-871A-C7D996A81CD0","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":"Q5241913$FE35787F-B0D8-46CF-BEFF-579365090776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c014e256f1c57dc62ee0cf58e59d5f2e0536d7d","datavalue":{"value":"W2963441991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$1DF6CFE4-5B6E-4DE1-95BE-C22FAA203777","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84b16e85185e08657c4a3f8215e830bec4eb025a","datavalue":{"value":"Q129808570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$52465AF5-39EC-4175-91DB-3301EC1CE13A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2710727efe64eb7c071f28822a697c742eefb2e2","datavalue":{"value":"10.1093/JIGPAL/JZY015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241913$8936A301-941B-4BA4-9600-A279D3745E3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8082646fb37562f428e5fc6378d8fd85195e22","datavalue":{"value":{"entity-type":"item","numeric-id":5877713,"id":"Q5877713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba3b784e943ef1cd8eebe6b6d856ff643b1e0b4","datavalue":{"value":{"amount":"+0.96621203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$412310EE-CDAC-4DD7-8D1D-1BDB99353877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61314fd202ada89535bf8f031a291ef172369f9","datavalue":{"value":{"entity-type":"item","numeric-id":4241052,"id":"Q4241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58d0d681c85d1e42ff463c10510fd9f5821babf","datavalue":{"value":{"amount":"+0.9200318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$D728DE87-AD3D-4FC5-AAA2-A988EDD79B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde959c3e1459709db24a53cb30b857b3f6169e4","datavalue":{"value":{"entity-type":"item","numeric-id":5095629,"id":"Q5095629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcd76f02e26ac7fcaea8eddc55826ee00e9f47f","datavalue":{"value":{"amount":"+0.90372527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$8F51ECED-94C8-492C-A041-A7453D7B684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ced9a275e133c5f0fdfbc5f989d25577fe90b7","datavalue":{"value":{"entity-type":"item","numeric-id":3433177,"id":"Q3433177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1dc43a86ed4a7d2e0308a64cb7af06d9488817","datavalue":{"value":{"amount":"+0.8997662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$A275D1AB-92E6-4540-8B24-0AEA84E29208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd2e39593f621fb2032781b685bf12122a2e467","datavalue":{"value":{"entity-type":"item","numeric-id":6047678,"id":"Q6047678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7d7ee42399a542c3b56e642ac5893e7c2f5ba1","datavalue":{"value":{"amount":"+0.88766706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$9F96420E-D912-404D-AEC8-66A931F75BA3","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":"4e4237b85a93083f127e6d2b3f947c4fea47bb9e","datavalue":{"value":{"amount":"+0.8780653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$84373964-3A8F-47CD-8326-B7B0F515BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a3ccd8c089b61471fc1fef8e0c032aca7de4c7","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e0b21a07ad979461554a82a8ac3438a0dff3fe","datavalue":{"value":{"amount":"+0.87670815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$B24540B1-5549-4FA0-A2BF-6D7AE60232EB","rank":"normal"},{"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":"e8a1b2695f1ca8607c264f7a262c6fdb24480b45","datavalue":{"value":{"amount":"+0.86996055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$4D7B1833-3818-44D9-9A69-18A218A2D12B","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":"d6ce6e4f1c9792eff8a99b0d887eae54b9cfa46b","datavalue":{"value":{"amount":"+0.8670116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$0D971C13-2F2B-40A9-A352-11983CC74A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf4cb255aad779c85bcdc22334448322b694c29","datavalue":{"value":{"entity-type":"item","numeric-id":4850557,"id":"Q4850557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4926381ee147a987fa74db5da275206129e27038","datavalue":{"value":{"amount":"+0.8642688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5241913$D3DC5983-6B5E-44B4-B34F-A92817BC5604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241913"}}}}}