{"entities":{"Q6562370":{"pageid":14173525,"ns":120,"title":"Item:Q6562370","lastrevid":42351822,"modified":"2025-06-12T11:47:34Z","type":"item","id":"Q6562370","labels":{"en":{"language":"en","value":"Unary interpretability logics for sublogics of the interpretability logic \\textbf{IL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871662"}},"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":"Q6562370$B77E5B17-5E57-4487-A17F-3AD5ECBFF414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eccb4fdd00bd35abd02b990a3c6f703eceb1c23","datavalue":{"value":{"text":"Unary interpretability logics for sublogics of the interpretability logic \\textbf{IL}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562370$A80B9D15-8C25-40C9-9602-BD916CBBFE28","rank":"normal"}],"P16":[{"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":"Q6562370$3BE3B4D9-06F4-494E-81C1-6C462AFE6663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$D2B7DAAE-3D8D-478A-96FE-4506DA17F514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562370$7F9FD8E7-70E5-4F23-AF05-A2774B123141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562370$4C361443-008A-4124-BCED-3EA992D57CC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b64d5a2fea92aed08838bd74165481497225a0","datavalue":{"value":"7871662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562370$5DFB6438-0374-48F1-BAAD-EFEBBECDABE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562370$B5673C63-028F-4F20-8A1E-CE8FDD2E85DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd51db3ce9353181fec1e6920871b0c7de6552","datavalue":{"value":"unary interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562370$BA4CABCD-ABC4-46DB-A63B-363D76C7720A","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":"Q6562370$610D59DB-1D4A-4019-934A-82F91129F045","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0d81bd04cbcac90d444fab9bf05a5c711e3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$25AA8950-8B1E-43C7-AE62-33C34E95B866","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":"Q6562370$A95B5349-739C-4C65-A199-C68CE7654BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ededf97004b62abc463f08624d65b33b2a5865f9","datavalue":{"value":{"entity-type":"item","numeric-id":1176094,"id":"Q1176094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$81E6EB61-3B72-4197-9461-D7899BD0862D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b336bf17f01902baf55037218b6543d8ebb70dc","datavalue":{"value":{"entity-type":"item","numeric-id":1203790,"id":"Q1203790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$BD31024D-960E-4BBD-B7AF-3E36AA22CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$D1D79833-BA90-4F08-84E3-39B923FFA438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$43C46231-5CE2-49BC-877E-84DE6C615CBE","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":"Q6562370$D5D4EFA8-46AA-4740-83E3-B76B6FCAC6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$97D08397-6257-402D-ABCF-ABC294F04CD2","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":"Q6562370$EA2D2E7D-CCBC-4B83-8A1D-A61EE57BF0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841571b9011639d241ebe347379a50dc331427ac","datavalue":{"value":{"entity-type":"item","numeric-id":6047678,"id":"Q6047678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$8DB76EBE-0650-45B4-9D5B-476459A7EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91744528218cec087c944584520ca6e77ddbb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3960690,"id":"Q3960690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$803D2704-634D-4035-85C9-7E74C9D1D91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595b7b0cc1308645e9228de4db63359ff976521a","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$FD5BD2B4-2C62-4303-9688-DD538A5186AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$60ED8732-53A3-4BF9-8865-B5BEB23F15F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562370$ABA0D5EB-7727-4EF1-B7FD-913D611C15FA","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":"Q6562370$DC6711F6-177B-486C-9838-EC0614BDF914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"383d5c263933f0c3b1597eeef860488b71e49a4e","datavalue":{"value":"10.1007/S11225-023-10068-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562370$163E38C2-1564-4F2C-BB09-80A78F6E8981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6562370"}}}}}