{"entities":{"Q3583807":{"pageid":5613711,"ns":120,"title":"Item:Q3583807","lastrevid":51058796,"modified":"2026-01-16T10:47:00Z","type":"item","id":"Q3583807","labels":{"en":{"language":"en","value":"The anti-Specker property, positivity, and total boundedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772373"}},"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":"Q3583807$EF0EE905-C36E-416C-9E46-311E6CC8ACAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3525bd1db70dddbaf6d725c9df5a427972db5205","datavalue":{"value":{"text":"The anti-Specker property, positivity, and total boundedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583807$224754B2-6EF6-4A19-B355-0AFB8FE2591C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9160de0eaa5f17bf6ddefbeb42ecc5f9bdd4476b","datavalue":{"value":"1206.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$721BE713-5416-4514-B89E-28F137596F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$BE6871FC-2F5D-42C5-AF01-139EE25251E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1f9795c0d114d87eac7fe9e6e5d0c69ddacb3f","datavalue":{"value":{"entity-type":"item","numeric-id":926185,"id":"Q926185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$D9E699CC-E269-4A8E-AF4F-B248C77270B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$CBE02091-9CE2-49DB-899A-91BA9F79EFC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583807$356B287A-B0B9-4C0E-8736-26B3A5A830D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$C706AF83-6FC7-4700-9D56-C715A3C0DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$826044F5-84B2-49A0-BAF0-58FADA90253A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b904a3ade6b6a641239d76f0ca4b1f672180afa2","datavalue":{"value":"5772373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$CA420671-B02F-4A7E-BE4B-5B8D9EA5570B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583807$B5229A58-EA7F-48C2-B63D-E146E2BD4E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583807$2BDDD5E1-193F-4BFC-AC17-7B3A02CE14E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2dc6501c76fc989367dace5f04b6990169316da","datavalue":{"value":"anti-Specker property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583807$35DA5817-ABCF-4DC3-9217-CFDD1C96DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a3ee44df8695556e58ead856fd669eba421a32","datavalue":{"value":"positivity property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583807$ACEC00DB-5A25-4035-8617-046F801FEC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b75654e52f19b250cd7e13a8b2670225e73f46e","datavalue":{"value":"total boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583807$968B8609-8F49-48CE-AD85-11949D4215EE","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":"Q3583807$E12116EC-C2F9-43D7-B45C-1505AD9D14D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bb90b9b89fc49f9b0c53b04d3e8a04ba856b7a6","datavalue":{"value":"https://doi.org/10.1002/malq.200910017","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583807$A2AC4E98-960D-492E-A9F5-86269E88D59E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c4189e889930bf4bd2887d9858a5b32e567ab9e","datavalue":{"value":"W2032753226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$2F1562A9-881E-42BD-81D0-17954E8A749A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5254ccbb1a11ef998e0596623214c5aeaf223b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$68B0F390-6681-4234-B72B-84A57FDB3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed150c3537fcb6076b9f127ecd772a602588fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2465611,"id":"Q2465611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$B424C1AD-901A-457C-AF32-592786F50566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20adeff441544beab68132fef8f2f2f123de318","datavalue":{"value":{"entity-type":"item","numeric-id":4100071,"id":"Q4100071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$A99D0959-C0F0-4179-A43B-25735F188CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d2c53982652f9910a81ffa38709163208e8173","datavalue":{"value":{"entity-type":"item","numeric-id":2391094,"id":"Q2391094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$BC886DD8-BE5F-4F4B-A938-4AE8F78263A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491b4b27b22309171592da28edb7f34300ca6880","datavalue":{"value":{"entity-type":"item","numeric-id":3081240,"id":"Q3081240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$8D3ACE06-A967-455D-ADAD-9202654AB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74c1d20fcd4ede1abda70b7b8ca25fc2f65688","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$77E33095-6CB3-45EC-AEEC-FF21D9BE0611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$2454ABCA-6098-407A-9F78-572F0D57217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b61a5a4c1264e73a9ac3ffc4e3a73ed91866c2","datavalue":{"value":{"entity-type":"item","numeric-id":3159411,"id":"Q3159411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$70215D7E-B35C-4ABD-9F08-FF0C9932F39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9aadc3c0a6ee9d87a611e0aab0a830511327817","datavalue":{"value":{"entity-type":"item","numeric-id":1166518,"id":"Q1166518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$D5AD83AE-D8EA-4483-B0A6-EA01330233F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$4F229D5E-86C4-4D6A-80CB-017610A7E476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e93782900b771f1f1b9b59786ac8d2c03dbf9d","datavalue":{"value":{"entity-type":"item","numeric-id":5448617,"id":"Q5448617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$43427350-DCAB-423D-8E18-5EF803420234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c7ed591fce741eceb814ed3a03e26624136d50","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$A975588D-37A2-48B8-A257-949A3914A05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751d2f0897bee48f9e1faec6655639db947d61e3","datavalue":{"value":{"entity-type":"item","numeric-id":5505139,"id":"Q5505139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$29F0A3D9-73FF-4F07-8239-3D99141BD552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583807$F1C54C42-160D-479C-A376-102DEEC0AF0F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c7a005f2fc69ff22d2a56b0a235e764a0e13b108","datavalue":{"value":"Q127416692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$D24757D9-F116-4E6E-8D6A-52C8FE41B95C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b705d2b88838d7376f284c07974d8eb58f5ac8","datavalue":{"value":"10.1002/MALQ.200910017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583807$C259821F-F126-4A53-9BF3-4825F10232B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd89bbc4efe56cd70c89de627d5333e8aaf1cbce","datavalue":{"value":{"entity-type":"item","numeric-id":2938777,"id":"Q2938777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95c80568c4021bd9fda6ae6650469fe077691d3","datavalue":{"value":{"amount":"+0.8973702192306519","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":"Q3583807$D0022C48-1427-4329-8B7C-3BD9DE06CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defafcd5e0b07e5c59a04c403b2c554fab580041","datavalue":{"value":{"entity-type":"item","numeric-id":1938392,"id":"Q1938392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27003b42108677dc61185c624f8674bd6a7a832c","datavalue":{"value":{"amount":"+0.8484724760055542","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":"Q3583807$9B577B8D-7822-4621-BFEC-4ECB1CAE8682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4d31eff98552f75d5bc2b5a1ac53be2389d5d3","datavalue":{"value":{"entity-type":"item","numeric-id":926186,"id":"Q926186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a808f23ce85e4513c1b12d6354ef0eee8bb48d","datavalue":{"value":{"amount":"+0.8479753732681274","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":"Q3583807$26A5F69E-3DEA-4915-8FA6-67484BEB0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68cf8e08b74d2e902dea3b0d182e05906891ad6","datavalue":{"value":{"entity-type":"item","numeric-id":3081240,"id":"Q3081240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3decb6688b94cbf8adc00a58c41d5cb7ad87a30","datavalue":{"value":{"amount":"+0.8347257971763611","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":"Q3583807$321D9A2E-97A3-4A62-95EE-B83566D3AAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf10bf8eee38989e65bc3a0df8ea44a987b4916","datavalue":{"value":{"entity-type":"item","numeric-id":1788329,"id":"Q1788329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9a3417de26df224a378fb99f73141ae1d3f914","datavalue":{"value":{"amount":"+0.8317674994468689","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":"Q3583807$CA380CF3-591D-4677-9A43-27AB956F1D6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3583807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3583807"}}}}}