{"entities":{"Q3081234":{"pageid":3091949,"ns":120,"title":"Item:Q3081234","lastrevid":58114020,"modified":"2026-04-03T20:55:17Z","type":"item","id":"Q3081234","labels":{"en":{"language":"en","value":"A new principle in the interpretability logic of all reasonable arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5861989"}},"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":"Q3081234$90924085-562C-4A97-97D5-5254E028A8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c741d2943c67b52378bbdc3b903b8bc329ed946","datavalue":{"value":{"text":"A new principle in the interpretability logic of all reasonable arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081234$2A8FDD03-E3FD-451C-9CD5-7F62C3675B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0566a511de6f864895f3c4b54a89bfb6d3febf06","datavalue":{"value":"1228.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$12EE40E6-F76D-445A-BA09-778B7F69EE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2276ddb76dea48fbdc911cd5585d15c440430f83","datavalue":{"value":{"entity-type":"item","numeric-id":636277,"id":"Q636277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081234$B581C631-288F-40B8-B529-317513C59792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081234$746617EC-71D1-4E32-B0EA-AB5B6D85C358","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18d153db87c8aa6053edbe5427a634df51843ee4","datavalue":{"value":{"time":"+2011-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081234$B96F4D27-95F5-48B9-A9C5-6B9C336CC9CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ed29f6f0208b5bd85177bc54175b026c2facd31","datavalue":{"value":"https://arxiv.org/abs/2004.06902","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081234$A80ABB4C-C500-4950-A367-2DDB1EB3BEEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$39DEB44B-94C6-4451-938B-D0956303333A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$ED962DE6-8641-460D-8B51-17C8BCDEBD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$21635FB3-2805-41B9-A1FD-7AA9E07F5A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fffd50be46d22dc2f8a4800abb2b3c0941867348","datavalue":{"value":"5861989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$40E47F26-4B7F-422A-979B-75C65C2A9E3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3d6c987d280d36a9a1187a4cc11c94bbc0146b","datavalue":{"value":"interpretability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081234$FFDC8E6F-EE34-4206-A898-DDB58F3A978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081234$208D415B-2ADB-49D2-A081-A01A947FAF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb370c432a252236adafca69534213ec01b2476","datavalue":{"value":"modal incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081234$ED46562A-D03B-4862-8E51-AE4DB4E702E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6e948a013484573b40fc29df3080627b87efeb","datavalue":{"value":"generalized Veltman semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081234$582E7B75-849B-4C4F-A62A-09EF84F85773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ac8f4ed5fe3210887012ddc31884c2438ccb67","datavalue":{"value":"definable cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081234$75BC4940-B64F-4C45-BB13-77580CD41B8F","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":"Q3081234$502A06D4-5E01-4B93-8A19-E1CACCF1F792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e836f01387c41e9b5e5d942f83bc95414eca04","datavalue":{"value":"W1983227357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$D58DB4D8-7B8C-4065-AE03-13CC07FB14FD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18f839e8ab74cd8d0da5788a73cda562990d5a9d","datavalue":{"value":"Q120204575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$04908A97-BBB3-44C9-A305-F954DE7B3CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e63619d6947a531a2b46b80d2b8d6c00024b66a2","datavalue":{"value":"10.1093/JIGPAL/JZP082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081234$C4D90E5D-043D-476E-89C9-7FE42C3882D2","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":"Q3081234$8D952BF9-37DC-4E4F-99AC-E4591252E7C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1153cffa77a87c2c356f92b735d08623c02648c","datavalue":{"value":{"entity-type":"item","numeric-id":5107215,"id":"Q5107215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8396c8d31ca3fbd6f23134baf9d24c4ca70903","datavalue":{"value":{"amount":"+0.8519575595855713","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":"Q3081234$CD03A94E-4936-4E8F-AF8D-D457259AB406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e92920ad3f1a1b96c3109026638e30b2c59e19d","datavalue":{"value":{"entity-type":"item","numeric-id":1035648,"id":"Q1035648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d784c640e1243d4348bd4b7a8619fed565c1d41","datavalue":{"value":{"amount":"+0.84981369972229","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":"Q3081234$05A589CA-697C-4422-9335-F71AA5BDB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fb2e12fed82321c05a349b6b8f65731f9849c1","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ceb7c5a1f00375a34ba7a945a0e48cf6ac057a","datavalue":{"value":{"amount":"+0.8246925473213196","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":"Q3081234$7EE79DA9-5198-439C-9594-43B8114328C3","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":"3fd5286830179e21b2cec610fb5eecf07bed50be","datavalue":{"value":{"amount":"+0.8235462307929993","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":"Q3081234$9B5977CA-9BD4-430E-8E39-E5F883983478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3759795df2f6359224077e7e3c24e470f116c857","datavalue":{"value":{"entity-type":"item","numeric-id":5937854,"id":"Q5937854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c4053bebd590e0cec4b747a52b6bd6212498df","datavalue":{"value":{"amount":"+0.8218921422958374","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":"Q3081234$477CB47F-6EE3-47CD-BB9E-60F593A26AF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081234"}}}}}