{"entities":{"Q4612439":{"pageid":6642022,"ns":120,"title":"Item:Q4612439","lastrevid":58301760,"modified":"2026-04-04T15:31:33Z","type":"item","id":"Q4612439","labels":{"en":{"language":"en","value":"The strength of SCT soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009553"}},"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":"Q4612439$150BC583-4564-4A22-961A-5A305DAD350C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"982bdc4eea5b5957510f8291d9b74db4a6e24cdd","datavalue":{"value":{"text":"The strength of SCT soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612439$DE3DD300-CA2F-41F5-8EC4-75A4DA22CFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b246a163d86ea596ec87fd78e0286491094c8542","datavalue":{"value":"1445.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$D69DCE2C-C935-40F7-81C5-9B90C209F913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612439$5086B2E0-F098-4861-85D6-7D1C0F0E0B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705939050530f1832148b044bcca491ea0255a9e","datavalue":{"value":{"entity-type":"item","numeric-id":286697,"id":"Q286697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612439$395D9925-62BA-46BE-9629-794C7FFECF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd82a286f91886831e771d7fa217c07b3dd41bd","datavalue":{"value":{"entity-type":"item","numeric-id":324246,"id":"Q324246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612439$58C15BD4-11A9-4B5B-8ABF-1577C0F28324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612439$0907E073-06D0-4ABD-AB31-2851AC0E8830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-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":"Q4612439$1DEDAD77-F2E1-4E4A-A51B-DE5FDB407964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6af714884bc349ac165a64d4296947d3cf4eab4","datavalue":{"value":"https://arxiv.org/abs/1709.09036","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612439$960B5C37-5268-41E2-AA95-4C0782686108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$177820A6-ED4D-4042-BB33-EC85FC3B2FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$AD78EF90-7C0B-4FE5-9197-606CBF4C67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$AADE3416-3168-4038-9B87-06FD1EFD79E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bfb4f436fd78e3c50f04d0a7090b8895eba2126","datavalue":{"value":"7009553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$1D7C585F-B3E4-46BE-829D-E0AD0C456A8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fed8963868ebc415fe6777e2aeb4de8e8a0e26","datavalue":{"value":"Ramsey's theorem for pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612439$6C1DFCF1-DCC4-47DF-8521-AD2DD007957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85506a407d23b27610f7a9af8841cf49046dd82a","datavalue":{"value":"size-change termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612439$7A9889A9-5F12-4D96-98D8-3DD4F33C869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612439$4C9E57FF-7C54-4815-B87F-F8ACE128331F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612439$EDEA8436-3B98-49A4-8145-4BF27AC1A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d83ae4d93280f57b5b9153eec3540bc279cb3d","datavalue":{"value":"well-ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612439$E165116A-FAED-4C09-A800-DEC6BBB665F6","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":"Q4612439$3EB3471F-B08A-4E81-A032-DCEF4FF4DB84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c20865ad2e336d1dab43f3e86a2eb1bd82a23f49","datavalue":{"value":"W2964035935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$8E5F0B15-0CEB-42F8-8AB7-C7FD27FC80C6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b3e238242e62f91ddfe0277342c012301ba6881","datavalue":{"value":"Q61834868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$2D70A7C8-DEB6-4593-8F64-F3ECF65CFD8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06ca5b960f9f90845558ac68af2daeb0694469c5","datavalue":{"value":"10.1093/LOGCOM/EXY003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612439$FC246447-3386-4C15-BC3C-A84A6B089967","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612439$2A9B39E9-158B-41AA-9ACF-C919CF1B068F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e07d1a9db0d214e350b3e478274b541ca95c6d","datavalue":{"value":{"entity-type":"item","numeric-id":2988827,"id":"Q2988827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e266f1a35942afd5d960376ea0016f7c881a4e1","datavalue":{"value":{"amount":"+0.9017716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$761D01B7-7AA8-4D5A-B40F-848969F58F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f78f90294f31d2fc408041d16fc57bba8a7307","datavalue":{"value":{"entity-type":"item","numeric-id":1899614,"id":"Q1899614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dee44a0305efccbc6440fcc88bcfe229662055","datavalue":{"value":{"amount":"+0.75076646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$4E9DA99E-666D-4FF7-8DA2-D16A57670F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecaa4218cdf85ef5ee5ab729a8ec1f938861acd","datavalue":{"value":{"entity-type":"item","numeric-id":5954304,"id":"Q5954304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6324713b5c3a3522d7251ada89d5ddf6474452f","datavalue":{"value":{"amount":"+0.75049895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$B0359EA7-021D-4ED8-905E-0A203E3214E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881b7d699e7ec1b8d1f4af6771e1a2f9eba0e08e","datavalue":{"value":{"entity-type":"item","numeric-id":4812254,"id":"Q4812254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27beecdb188ae7ce6499f38e7081472e48cdec0b","datavalue":{"value":{"amount":"+0.74803376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$C399CD74-06BB-45A0-96C3-91157A916DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e58c120267ab820cda2cb70d858699d245f585b","datavalue":{"value":{"entity-type":"item","numeric-id":4783744,"id":"Q4783744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71cd574de901a8efb0d96c63eff38ed06657a97","datavalue":{"value":{"amount":"+0.74682367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$EB97BFD9-4EC6-4B60-9863-DBD54258E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ae29425f2258293ebaaad08f9ffe89973fbd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3842565,"id":"Q3842565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c322e25ea0255c2cf46fec697d952b4f898177e","datavalue":{"value":{"amount":"+0.7418252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$3A02DE79-635F-4ACB-AC6D-855ADC7E1AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf49f129b39d576e4120f10433af19b2ac358d5","datavalue":{"value":{"entity-type":"item","numeric-id":643278,"id":"Q643278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f674ee7b9d138a490e6dc3e4fbb0b8351330364","datavalue":{"value":{"amount":"+0.74142075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$CB8B340B-B38A-49BF-9572-B13D042A313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956421319e1145715112f78644403dda2c2ab2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4931106,"id":"Q4931106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23223338399a8ee0ca53b8b1453c24da3592304e","datavalue":{"value":{"amount":"+0.73992765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$6089F10A-2696-4CA6-8BE0-48C282EE577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08488e9ee7f870cb521e27d0470d61c9b7517121","datavalue":{"value":{"entity-type":"item","numeric-id":1078742,"id":"Q1078742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ebb948fdc05a10f84a082765368de5313ff11ab","datavalue":{"value":{"amount":"+0.73744524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$0BC9E02F-8A18-43C4-92B0-3BF8E183AC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18cf9158c9b4fc6f7a3f9bedd1590672b13e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3834969,"id":"Q3834969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5ae39150cd87d88785879e3e94a88853497212","datavalue":{"value":{"amount":"+0.7356785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612439$EF74807D-E3CC-42AD-8DDA-4EE5F859EC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612439"}}}}}