{"entities":{"Q5224574":{"pageid":7254143,"ns":120,"title":"Item:Q5224574","lastrevid":58482285,"modified":"2026-04-05T10:10:20Z","type":"item","id":"Q5224574","labels":{"en":{"language":"en","value":"Relational semantics for the Turing Schmerl calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084840"}},"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":"Q5224574$5F3F534B-210D-496C-9301-BBB07A29620C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ad49b4df6b366eaf76de17b121d52252424b0da","datavalue":{"value":"1418.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224574$CC13AD29-1653-457B-A973-15DBA365E605","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4b1111f82f74c4e6ab20a3d0119a7e6ae901731","datavalue":{"value":{"entity-type":"item","numeric-id":2176412,"id":"Q2176412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224574$5C949E00-5C82-4EF3-8564-E066283C7398","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":"Q5224574$D470C13A-18AA-41D9-9FA1-4252F02B99DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224574$25F0CCB6-9251-488F-B3BB-96046CEA2450","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b66895a0d55cbc469282a4f40a29c2043e89e96a","datavalue":{"value":"https://arxiv.org/abs/1709.04715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224574$E491DA62-7EE4-497D-843A-BF42DE8C8016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224574$51A0E406-04F4-4AAD-82E9-242644A9136F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224574$23A2356A-8CB2-49F6-A56E-DCC06F1AAFCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14a4063858ffbe4f2d006e4a92b977b2becfbc6f","datavalue":{"value":"7084840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224574$E35CE641-C474-49F8-8D6F-1B88B48EE988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224574$CF07FC6E-2874-4DCD-9269-D191F2F20898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c73e3c4838b9c1d085b66fff120d0391b4ac8b3","datavalue":{"value":"strictly positive fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224574$F6B952D9-E46B-4C14-8E78-F2D71F7EEF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06430fd76362e8c3361a8613c0ea9ba7e9b7f868","datavalue":{"value":"Turing progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224574$036DA8C2-7A42-489A-ABCA-D5FE3F5AD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c00d6dcb60c088c02c55d288e2e5cc8a31774b1","datavalue":{"value":"universal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224574$55EE8225-29CE-49BC-B69A-787D9B921369","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":"Q5224574$E855F66E-8410-4967-B3EF-8057755892CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5b6cdbe9ffe48c024d4bcaeda9441c4a3c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2176413,"id":"Q2176413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2f7143d9ac121d039a85adf8ea18a5f06e8cfb","datavalue":{"value":{"amount":"+0.7876753807067871","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":"Q5224574$FD0AA526-7CEF-41A5-9696-6B92F77F5FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992c072869d923b2c328c6b5612d53940cd27011","datavalue":{"value":{"entity-type":"item","numeric-id":2904409,"id":"Q2904409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13cb56f3bbaa2e103a6fa521e8b3d0b3524c20b","datavalue":{"value":{"amount":"+0.7290990352630615","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":"Q5224574$C7015452-2FF3-471D-B82D-080CBF899903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52960ea2f812e9f09fd03be821dcda589bbc9406","datavalue":{"value":{"entity-type":"item","numeric-id":514512,"id":"Q514512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b9ebf6316d151708795923d42c0b2c6e8ca6e3","datavalue":{"value":{"amount":"+0.7177901864051819","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":"Q5224574$B6801258-EA19-44BB-82ED-DBCBD7ACD81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179b8a8b9be48bc8ef2fe708fc2a4287cb698ce","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da14ea8d84730fff8df541c1d16c4ca30fc13ac","datavalue":{"value":{"amount":"+0.7103399634361267","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":"Q5224574$00A9DD2E-DA7E-4558-9181-C48BB277FEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e0b7151f8efab8581dcd1755857bf811653322","datavalue":{"value":{"entity-type":"item","numeric-id":3795651,"id":"Q3795651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd215c04d870b31468a5fead8fcbe7f68862a5a","datavalue":{"value":{"amount":"+0.7073430418968201","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":"Q5224574$45A95A2B-2670-4A93-B074-AB2DAE4B95E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224574"}}}}}