{"entities":{"Q5738203":{"pageid":7767756,"ns":120,"title":"Item:Q5738203","lastrevid":52819757,"modified":"2026-01-23T14:01:57Z","type":"item","id":"Q5738203","labels":{"en":{"language":"en","value":"Universal Rosser predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725066"}},"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":"Q5738203$49E87BE4-500E-45D2-82BF-B9DCDE7F1DE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d38117f53b89ff16539c8387da1cc41603c57c6a","datavalue":{"value":{"text":"UNIVERSAL ROSSER PREDICATES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738203$7A7A46EF-0808-4281-A575-90592FEAECC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2564ed62bd3605a81dbc25de324fda5b2a51e6b6","datavalue":{"value":"1419.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$99AAF10D-C176-4DDE-A88A-B7F4F6469A7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28373dd70f177f8ebae250ded5af561ec2e0846","datavalue":{"value":{"entity-type":"item","numeric-id":312494,"id":"Q312494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$F0394BEB-CB42-45E7-B771-F91C7347BF17","rank":"normal"},{"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":"Q5738203$68EE8590-2F99-4617-B38E-9DA4CFB5BFF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738203$39014BD2-1186-4A73-928C-D62981AC8848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$D1B4F649-3406-4B90-BAA9-C40524ECA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$3E96C53B-01B9-436A-BFF1-C6DC0B9CFB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$82EE7EA2-3211-4071-A27E-EA9F9A4E55E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e43fd6ff856130df360beedbe2507572424f42","datavalue":{"value":"6725066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$29151E28-E1AB-4303-9512-B0D52E2BEB56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb088e3f083edf24aa73f673b18753e6d001384","datavalue":{"value":"Rosser provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738203$C452AD0B-557C-49A8-B96E-FC99F5C50EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2901be8e059faa7320a477f34eaa626f7c721286","datavalue":{"value":"universal Rosser predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738203$C1CDC457-46BB-4E52-9DD3-DB7F7581D7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2595bad4c7f5554d8c6eb6de152356eefac661f","datavalue":{"value":"nonstandard model of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738203$B7047924-7019-47A9-9161-71AF7F985E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738203$3C720541-12FF-474D-A6CC-DA028ADCB7B8","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":"Q5738203$BA64135F-C55F-486B-AA20-47BFEEE95B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20a62a726148a4e6831ec338e00b7989130b9ec7","datavalue":{"value":"https://doi.org/10.1017/jsl.2016.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738203$BADFE6AD-213B-47C3-B6D9-6528C8E7DA2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"867a3cff7e98a25e47f92540145ab6e5314666bc","datavalue":{"value":"W2601031187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$51A6A802-B06A-4AEF-8E4E-BD36F7AFCE49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b226e1cf53a11b2b23cbab3932c50f8cdfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$E554C829-D416-4B86-BF78-A9D532F1DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$6F312354-BB22-4F7A-9126-A9C7F8A91BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59827ab99dcc695c7f6ade20ac24ac662bb640c4","datavalue":{"value":{"entity-type":"item","numeric-id":3924175,"id":"Q3924175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$EA7C353E-6C91-43CF-84B7-1EBC5D94BB57","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":"Q5738203$9D93E2A9-A3AA-4154-948A-10560DCE2307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe2111e18411abab6945a54cd727909cf792ec9","datavalue":{"value":{"entity-type":"item","numeric-id":2976385,"id":"Q2976385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$D0603766-7802-45D9-AB2A-F4DDA5890F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$D3D764FA-5BBD-4D5B-A8A6-1E753F44409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b1af4dfccaa0f3bb97490187ae8ac9e6c5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":892168,"id":"Q892168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$B42590F1-B59E-4ACA-AB4F-EDFB02CC7276","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":"Q5738203$9F02CFDE-2B9D-4773-ABA3-D2A40A949754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec7bad1839ded3c48040ef5499ce83ee6018d52","datavalue":{"value":{"entity-type":"item","numeric-id":3279279,"id":"Q3279279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$C2D8BDAF-5D62-45CD-9EF5-5D361979524B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e1ce14934b66aeea411ba154475d7174a5c286","datavalue":{"value":"10.1017/JSL.2016.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738203$59046BBF-DE19-451F-9C5D-770C8595F00B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738203$E0436305-AA97-49C9-9E54-BFBB48EBA134","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374690f1db89fe0a3707b8d3b0da26185004bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711a437e83fc4f72618d23cb307a89279b07185e","datavalue":{"value":{"amount":"+0.8166745901107788","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":"Q5738203$AE7B30BF-4D22-42AF-BCAF-3024FE48088C","rank":"normal"},{"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":"e662e4bb104a12bd23331e561951ea1a861b51b6","datavalue":{"value":{"amount":"+0.7862927913665771","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":"Q5738203$AD4E9500-FC37-409E-B123-B310110C17C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b61dde329e9af43aeeb24b90436f26169efc30c","datavalue":{"value":{"entity-type":"item","numeric-id":1099165,"id":"Q1099165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b943abd2800dd4d16af4243ef9b56b07e00cc214","datavalue":{"value":{"amount":"+0.7825748920440674","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":"Q5738203$30520C70-A6A5-45C1-8505-B33933A1B004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4d267623834ff45a3f617e33281a3cf70f77b6","datavalue":{"value":{"amount":"+0.7763919830322266","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":"Q5738203$88C83E17-1574-4E3E-8349-642DC155F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f156f946bd8e2cfcc61ee7a9717b81cdf6f7b503","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729c4c487c922413ac717f1978cea5f6e0abcb56","datavalue":{"value":{"amount":"+0.7505632638931274","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":"Q5738203$D4EE8039-3954-48CB-BF45-E90F2D85F64C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738203"}}}}}