{"entities":{"Q5937666":{"pageid":8114468,"ns":120,"title":"Item:Q5937666","lastrevid":47641345,"modified":"2026-01-02T07:13:24Z","type":"item","id":"Q5937666","labels":{"en":{"language":"en","value":"\\(\\Sigma_2\\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620027"}},"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":"Q5937666$9077A18E-DBAC-4787-B72C-A5B13A8B66FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7e1fc033f7113ccfb0ac54fd8baa8f61bbcbbd8","datavalue":{"value":{"text":"\\(\\Sigma_2\\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937666$F88F32EF-5E28-4A6A-AC36-5E2258F527C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17438bfa15a32f06f57a46e51e60a52c74657a2c","datavalue":{"value":"0976.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$C5066E4D-4431-4CDF-A173-56CE8736240C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a503a110705eef6b4b3439da2ac7690f824c7cc","datavalue":{"value":"10.1007/BF02802493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$5DA29B02-01DC-4EAC-A199-AD8D34F6C634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$73D69F90-F9F6-4C42-8171-C4B6F9B0ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fc6cfc16d30fffaac8494cf92709609503433fb","datavalue":{"value":{"entity-type":"item","numeric-id":685057,"id":"Q685057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$EA6A974F-F196-4E06-8A99-F6C23D08C981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$BEDFAAD0-4B15-4F33-AE1E-A62F136999C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$12AF2FA4-58C4-4E9A-996C-705C5B141F27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$05546774-F23A-49C5-9D3D-6C6EEC9DEC34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"558d5d336a95d441128a73659fcb9f9731aee24d","datavalue":{"value":{"time":"+2001-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937666$8CD9068D-8703-412E-AC98-3AA5FD3516EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$B001873C-52C1-45DB-977D-C48D8525574D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e28a6d8becd64c064b1f373b38d314b9335c87e","datavalue":{"value":"1620027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$0EE12690-6E52-416F-8A4B-A74E39C072A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02366b18112ae9ae319798eb6317e4e60fa59c64","datavalue":{"value":"\\(B\\Sigma_2\\) model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937666$21CF042D-57AD-49FA-BD95-3D23F85C3F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a3036b8e7be6813211780080c022c559a9e560","datavalue":{"value":"\\(\\Sigma_2\\) collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937666$1BAC56A1-6822-4EE1-9115-E3890385D2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df62516af6c132265f1635a0016c779c1c0234ef","datavalue":{"value":"\\(\\Sigma_2\\) induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937666$33BD7E2C-BEED-442D-AF8B-B3D0F8E450B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457844ce906283e5256bf122c074a857006100f5","datavalue":{"value":"recursively enumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937666$95169D6F-5296-4390-9247-29912006B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecd69a6d6f7ca8849068cc67a56effa10cb344","datavalue":{"value":"minimal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937666$4DF34BE7-FC4C-426B-8EF4-8EA12619671D","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":"Q5937666$64DC89F7-71D8-454E-82C1-89CA3BEC1965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7a673d9c2f08a64e159fb5d66907e94e5698d","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$1224C9E1-8C1A-4634-8DBC-2C48E2854A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172158bc564139b1cbfdedbc7216304ccacdf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4032456,"id":"Q4032456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$0B25A5FA-EB11-4105-8D03-A424CB669C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a055d5458d7b36248a382e7a5e4ddf1f87bbaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1368581,"id":"Q1368581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$42A8AF9A-3974-4504-937A-3EAF47C41BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e2702eb73be1490ac0bcf809fcac8d3ed826cf","datavalue":{"value":{"entity-type":"item","numeric-id":4227867,"id":"Q4227867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$F3224C12-FBF2-40AB-A264-253B2D0444EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c418c5d2d9bce18f4bc8c7cbc770d3e6e4c87de4","datavalue":{"value":{"entity-type":"item","numeric-id":2784778,"id":"Q2784778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$82BF5BB5-6F12-4198-BB31-1A3664F9A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c4d3ef65931bb4361fe1cbab9eadef67638ff","datavalue":{"value":{"entity-type":"item","numeric-id":3962982,"id":"Q3962982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$AF4F42D5-2170-4044-9922-D77F963A2B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1343a60aae9e871edf1edb8ef20d22d86360cf33","datavalue":{"value":{"entity-type":"item","numeric-id":4894721,"id":"Q4894721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$56FFD1C5-12EB-49D4-B306-79AF04CD55D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$447CA34F-8659-444E-B9D0-5F8E09C91329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$F285F51D-BB89-4DDD-997D-00DF173742AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$82F3406D-2052-41B9-803A-DBA3BA9EC4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081f2ef5bbdbff54dda813e99c4b51fea17e97c1","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$B8843C72-21D9-4973-AFF2-B6C9812B2662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdb0dde45471f836029c311d17346c931119c80","datavalue":{"value":{"entity-type":"item","numeric-id":3032238,"id":"Q3032238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$37C1C4CD-8083-4125-8F87-CC498583C5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$AEE40CF7-BBF5-4709-ABD8-A109951B93B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$2127F9B5-EEF0-4813-8780-87986F34A2A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"88e69fc79d07369cd14d4554032354de125f9713","datavalue":{"value":"Q123360730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$60259B38-2FD1-4675-B5A3-C8CBDACC345C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69414ce18ffa571f940fad40a143f84492ba8595","datavalue":{"value":"https://doi.org/10.1007/bf02802493","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937666$243F75D6-C5C3-4A3B-8898-3C997DF41B3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1239e36be47f20f5100e7bfba17067e20de36ee","datavalue":{"value":"W1996445289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937666$723BF07D-AE07-41D0-8F63-7FCD4346F6EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937666$1614DD3E-0259-4139-8FD4-E443C9408965","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3e6236cc8d939f3c5d8a10c040ae81104f3f51","datavalue":{"value":{"entity-type":"item","numeric-id":4227867,"id":"Q4227867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5d34adbd87725c7590bdc47ba3e57af897bc7d","datavalue":{"value":{"amount":"+0.8185235261917114","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":"Q5937666$C4D2DE7A-13DE-4413-8B5C-1B9FA177FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6197f38790c3f92fa008e075dbb1cfffe076ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":1368581,"id":"Q1368581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddf8ccb3edf28e87e5a2b11c8b05cd6929b9fc9","datavalue":{"value":{"amount":"+0.7904834747314453","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":"Q5937666$1639C872-8DA8-481A-8E34-5916A352DCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3754c65307871e5ec02b90a51cf14e8647ab99","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1c34efb49e71213cdf6ead805f2ada189760d9","datavalue":{"value":{"amount":"+0.7875882387161255","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":"Q5937666$CB2DB889-3CC2-40F6-BD5B-E2F9410E9B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7cbcd1b8b04b25e9f4d40f13124c5626bc7615","datavalue":{"value":{"entity-type":"item","numeric-id":3483271,"id":"Q3483271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c168f81f29a775cfaf0b571d86873c8b9326b0","datavalue":{"value":{"amount":"+0.767653226852417","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":"Q5937666$CAEDDBB6-723A-48F0-B060-C4D4E63BC596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9637bd973c49e55612522fb297b7b9e0099d613b","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549af1d06fabb2f3ed796d45eb3229020f1f4473","datavalue":{"value":{"amount":"+0.7454909086227417","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":"Q5937666$399A87CE-801D-4231-A386-047B22A12D07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937666"}}}}}