{"entities":{"Q286708":{"pageid":288475,"ns":120,"title":"Item:Q286708","lastrevid":60810477,"modified":"2026-04-10T19:16:36Z","type":"item","id":"Q286708","labels":{"en":{"language":"en","value":"Semantic completeness of first-order theories in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585188"}},"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":"Q286708$19105CCE-E8A3-42B9-A0DC-5FE3C7AC4135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"770f2118ddc52a38356a300c88d63722ea135670","datavalue":{"value":{"text":"Semantic completeness of first-order theories in constructive reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286708$3A3C13EF-123B-4071-BE6B-8E8C732032C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77eabd1fad662625c68a01b50ecc619aedaf741d","datavalue":{"value":"1403.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$5F9F26A6-7E25-4B13-B3C5-82540D419495","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59ad7e95cc048e1c592f3c54209683ebfde1671c","datavalue":{"value":"10.1215/00294527-3470433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$D4BED050-8122-4176-8F36-ADB5A9B1BA15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43cb4ceece8110a638d00a20c037f220289116be","datavalue":{"value":{"entity-type":"item","numeric-id":286707,"id":"Q286707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$316D2055-37C5-4552-A59A-F7809C37234B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$0D4635B2-94CF-462A-B21D-E454CDD639E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-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":"Q286708$F449392C-B579-4B3A-8BFF-00BD683D127B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312f64dfdfa0787c3f1e39d5106ebc00f9389703","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1455030207","type":"string"},"datatype":"url"},"type":"statement","id":"Q286708$88C7A482-038F-4D00-A2E3-AC36FD4E1FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c4d40c5abc9210a113d6474192758a434659960","datavalue":{"value":"https://semanticscholar.org/paper/092d84cf317f439f6aa58293918e3db74337a216","type":"string"},"datatype":"url"},"type":"statement","id":"Q286708$5B5AE31F-CDFF-4779-9484-F0ABB81D304D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$ED90092C-FB35-460E-B379-D2AA73D8C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$486FCC79-0A22-4E41-8DA6-BCFCFBB5101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$D7103E06-6C26-4269-ABF8-CAADCDAABC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$1F72E875-0A8A-4957-B5BF-0643A9612B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e821b89859cb42b316cf2d38f1a25562f9f8c13","datavalue":{"value":"6585188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$4280324F-E444-498A-B5E8-C0E766240B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q286708$095CEDD5-83A3-4E37-8CAB-1E2CC90BA629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286708$9EF0BC41-F9B8-41A1-8A8B-E1DA2F174F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286708$B364A3C8-8E89-4E46-AA07-694262E1CF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286708$56AE95DA-EDAE-46EE-BC60-E7E15348A7AF","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":"Q286708$1364D9EA-9875-4712-AD79-0E6AA2A72C35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c86fb9350e81b49a304c1cd8633cbb2dcc01d9ca","datavalue":{"value":"W2188203153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286708$D7ACF063-8BBA-4AE1-ADFA-D612D7763152","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30be7d075b198415a0ff83b6744921a15ecdc213","datavalue":{"value":{"entity-type":"item","numeric-id":3910575,"id":"Q3910575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$117013E0-21C3-4789-96C5-DE24BD683DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5b2b2b5727e433e7854f3fcad3ea9cbc1d0888","datavalue":{"value":{"entity-type":"item","numeric-id":4238433,"id":"Q4238433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$9DDC273C-C935-496A-8FD3-27A61DC6DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98141125be31996849e891c761d36b4a1bc1d194","datavalue":{"value":{"entity-type":"item","numeric-id":5903203,"id":"Q5903203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$BA0FF2CC-1161-4F02-BFE3-E3AF6641BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5671726d9156625b877bfab340595039c0bba1ea","datavalue":{"value":{"entity-type":"item","numeric-id":2505130,"id":"Q2505130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$80C3AC05-C162-4E76-914B-C0B30AD837EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78e1ce6125684a7f2f9de3a6a369df6336b4bce","datavalue":{"value":{"entity-type":"item","numeric-id":1049753,"id":"Q1049753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$E5B480B7-2906-4545-A681-F40269B43DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$03A57C61-BDDC-4938-BD75-921EDB974DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$0E6BDE8D-EB91-406B-8AB9-26FCABA81A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$43852968-3ECA-4562-AD4D-B6BCE126F4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$0156B00B-683F-4A13-B723-0364CBEFD51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a884c96ec5e4fd1cdb02442261da98a580d87c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1333319,"id":"Q1333319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$EBFFE5D1-DB1F-4D27-8BAE-904E68522E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb142d379cd6b1936cb7839df25d8a94c046051e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$0CADB623-2811-4571-B991-7C44688F4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad0517629d8c4015787a5747683dd1b2eac9e20","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$4AA80439-2589-46E6-AD3F-FB0030DA3190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47c2311cd7a283289c64c5e0605e7de85a6e9f5","datavalue":{"value":{"entity-type":"item","numeric-id":5202656,"id":"Q5202656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$BB482392-4B4E-4683-8DE9-FBE42DA39737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286708$5421CD7C-420F-4189-A2DB-DCC20B34A2AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf2d05ab1f575548319d19679895da5bafc879c","datavalue":{"value":{"entity-type":"item","numeric-id":2350974,"id":"Q2350974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0c532bc7940eaf288477d73ee206dab847f326","datavalue":{"value":{"amount":"+0.7844197750091553","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":"Q286708$1E0F58D9-C8EC-461C-88DA-038002EF10A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb9ce048b56026dbb726bb3c03cab49fa541b14","datavalue":{"value":{"amount":"+0.7657092809677124","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":"Q286708$AC9F6E8F-F018-4347-9FD0-3817C1EB0892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c72953f2327320145e5d33702bbf6db4f34aac7","datavalue":{"value":{"amount":"+0.7620722651481628","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":"Q286708$98038C42-6FCF-417B-BDB0-3F42CDF8B70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca06dc40f3b1332d6415467cbefa94144fcfe64d","datavalue":{"value":{"amount":"+0.7464173436164856","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":"Q286708$2E26BA5A-B5AD-4ACE-AD0A-A976A7B7AA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ab1dd3e7570ac54a264d4a4d37f5a5ae231aa","datavalue":{"value":{"entity-type":"item","numeric-id":3305629,"id":"Q3305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ed31c4396037b80cb27d69e8f49f3d632c1f60","datavalue":{"value":{"amount":"+0.7456057071685791","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":"Q286708$192012ED-0450-4B16-B254-7E66A1838F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic completeness of first-order theories in constructive reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_completeness_of_first-order_theories_in_constructive_reverse_mathematics"}}}}}