{"entities":{"Q5078818":{"pageid":7108394,"ns":120,"title":"Item:Q5078818","lastrevid":58423407,"modified":"2026-04-05T04:01:42Z","type":"item","id":"Q5078818","labels":{"en":{"language":"en","value":"How much propositional logic suffices for Rosser's essential undecidability theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7531433"}},"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":"Q5078818$DAA61985-8CC8-4891-8612-E26296CAEC04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feedf7393e861482393ee925c5008aa224ec2ac5","datavalue":{"value":{"text":"HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER\u2019S ESSENTIAL UNDECIDABILITY THEOREM?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5078818$F950EED2-30D7-4B41-89EA-F0EF750D532D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f65889c0caf4cadc9d7ef0fe092e96c39e9c1edd","datavalue":{"value":"1500.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$EBB08223-BCF2-4A13-9490-B41ADED04009","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47d89dbfdf016635b93cc03f6dd946afd67452d5","datavalue":{"value":"10.1017/S175502032000012X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$292FC8A4-D965-45A6-A186-B8253A8ABF1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$3187C784-AC63-4A2F-A3DA-059394329D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$4B3FDA68-5CDE-469F-8479-76E0FF5A4AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c6622899de8d59a39cc3f0931be104da9521806","datavalue":{"value":{"entity-type":"item","numeric-id":2046871,"id":"Q2046871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$61D0DDF5-658D-4422-B136-DEF8631C7EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$33EB9212-E1BA-47F5-BD3F-9F55329158C5","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":"Q5078818$BFA27E2A-7743-4572-B517-717DBE9A3A29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5078818$D7B0F6E7-0F43-4D06-8DF8-C51FA3F258EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a677e7a820556dec56db11bd50488dac52f7a3f8","datavalue":{"value":"https://arxiv.org/abs/2006.12275","type":"string"},"datatype":"url"},"type":"statement","id":"Q5078818$581F2288-A749-484A-B41F-2ACE4769E779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$6B42CA39-8E1D-4D87-94CD-E3DE9328A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$1B0F3AFE-BC85-4F05-A071-5A859ED3CA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$0F3E6243-7A5C-4047-AED5-C3C10893E903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$83B964BF-1291-45BC-BFC7-B14434455AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22b636685ec4a882f8854bc442d79f878c868070","datavalue":{"value":"7531433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$E2564699-3D28-4240-94EF-2F900D6C331A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5078818$413F31E2-B7B1-4D18-A477-3D0FCF706F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5078818$A475BDE5-8255-44DB-9852-350EA2CC36B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5078818$762B7E3A-0B03-4673-A796-9622A9F058EB","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":"Q5078818$ED06B8FB-6774-4A33-ADFE-9E089F9FF320","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cf46ea4860f966c8776660afdcb228359240dd","datavalue":{"value":{"entity-type":"item","numeric-id":5406032,"id":"Q5406032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$E13895C8-A72C-4A65-BD85-4218FDD231D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$D367FC34-ADF8-4E08-82CE-77F679AFF135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$C9E3A3DB-EA6E-4BE6-9862-A76BC67D0610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4018c90f4f10343c92f7062f8732077ffd43272c","datavalue":{"value":{"entity-type":"item","numeric-id":5445163,"id":"Q5445163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$FA4F4508-1A58-4792-9014-8EB760F13767","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":"Q5078818$783040D1-4741-4A97-B069-9CF92876F015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca6ee4e7ead327c8c67cecdc0b56a08c1a3c83b","datavalue":{"value":{"entity-type":"item","numeric-id":4749827,"id":"Q4749827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$F73EE949-D583-4202-A90E-6042534A77C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cf8006b5b4254804342bce8b0794f450e6c3c1","datavalue":{"value":{"entity-type":"item","numeric-id":5796642,"id":"Q5796642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$8ACA48B9-DE8E-44F0-8C03-13830C018F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$47C02C01-C389-4024-904F-2326C010EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$2E75FE8B-F909-4E77-98FF-DF60679526D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$CC6C3510-12F8-4C68-A304-A43700AD559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a1c41e7add9ccf2c3694e4e10d65d6c532793","datavalue":{"value":{"entity-type":"item","numeric-id":5729296,"id":"Q5729296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$AB1AC5E9-2BB6-4F39-9441-E38899A5C80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$8F314E66-AB9F-40D3-AAA8-0092D6BE94D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$9F122198-37D2-4778-993E-2B464FE081E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffc872ed14b14bdbb3c5c0a09b0811053ebe8a7","datavalue":{"value":{"entity-type":"item","numeric-id":5445176,"id":"Q5445176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$2696F55A-89FD-4F0D-9EB3-CF79AF5F0EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$F57EDB68-71E3-4B6D-9F10-6F550E174F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd0212a136f8b9704dbdcce773c4c291f76e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5567863,"id":"Q5567863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$C039A5FA-DC9D-4A10-8249-D482AF482815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5123739a569b7c05381093a13294e7a15dab339","datavalue":{"value":{"entity-type":"item","numeric-id":3464615,"id":"Q3464615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5078818$FEE78FA2-3A6F-475C-B290-D319C9476FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dec748bb2bb53d27306356f9d22ffb00aac0c68","datavalue":{"value":"W3007711641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5078818$4454BF76-2B86-42BF-92BA-58EC81210BB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9524e6923a084f0f997de6e3c5a73fe4117373af","datavalue":{"value":{"amount":"+0.7409180402755737","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":"Q5078818$7167D898-BD0C-4A4A-897B-4BBD84D24C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a78865cf4a6501ca705f5b510ba96a9b148396","datavalue":{"value":{"entity-type":"item","numeric-id":2885173,"id":"Q2885173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d23b2b7e9f1575045c46951c40c9c94bcff6987","datavalue":{"value":{"amount":"+0.7231416702270508","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":"Q5078818$B6C6C0F9-FA65-4E80-A838-401CE0517ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9b0af9f0c02b4fa3297a12e06b5d73ff10ca05","datavalue":{"value":{"entity-type":"item","numeric-id":4822148,"id":"Q4822148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be545d6f88ffc9ff9d2e86dda30a4359dd963cb","datavalue":{"value":{"amount":"+0.7209858298301697","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":"Q5078818$999A770A-5864-41DD-965D-ABAD9875F3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43415e4311c55c2a9c0972a4e8e9ebb30b24dc61","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d641bc7434ec7119e706d0c4887e6817dec3cb2","datavalue":{"value":{"amount":"+0.7173750996589661","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":"Q5078818$F4AA11CE-CC36-4D3B-8E4F-E861D367C280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da81af5f4a808e6f0731c873ef48e1a30d1a952f","datavalue":{"value":{"entity-type":"item","numeric-id":1866903,"id":"Q1866903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d9983735ac3a942c5a0fd574f2115a7986b957","datavalue":{"value":{"amount":"+0.7098098397254944","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":"Q5078818$4DE18E6E-ED1B-437E-840C-CF03A24D0EAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5078818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5078818"}}}}}