{"entities":{"Q3650323":{"pageid":5680229,"ns":120,"title":"Item:Q3650323","lastrevid":49784782,"modified":"2026-01-10T17:25:31Z","type":"item","id":"Q3650323","labels":{"en":{"language":"en","value":"Decidability and Specker sequences in intuitionistic mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5646298"}},"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":"Q3650323$8E116F2B-A22A-4DA5-BCB5-F56661AE7F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa01f5920d68e5fefdc62f292ea02b6de469277","datavalue":{"value":{"text":"Decidability and Specker sequences in intuitionistic mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3650323$D4B30C66-802A-49FE-992F-5C26D2196B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87ab990623c527e1e2af095670095e33bfee40ca","datavalue":{"value":"1192.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$F8D672ED-7FEA-4973-9CD4-B0B698EC01BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$C325F5AA-7D9B-4AA0-92CA-38DDBEAC2C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d97069db0c5f096e6e116423e1d5adf7030d42a","datavalue":{"value":{"entity-type":"item","numeric-id":636311,"id":"Q636311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$8DF7D46F-FF53-40A2-933D-89702BD15BF9","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":"Q3650323$D62D10D8-CF00-4EAC-B11B-EF5545937121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e41f1f6a92c504ea1d880589590d0d5052fddbb","datavalue":{"value":{"time":"+2009-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3650323$E31E6AD6-3FD3-4FB4-B084-C5D331BE1DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$E4CEF3AA-D006-4E63-BF26-212D05E400B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$5A157FD3-58F2-4C82-BE47-46EC828B164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$EF997FAE-8638-4F49-8C92-9186D68AFA3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bcb0a6629dfcb3763dcd56f8e418438d09ca29f","datavalue":{"value":"5646298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$A9EB63E7-1B63-4925-8275-F27F908FE5B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3650323$BCCC079D-D80C-4292-A022-4D3F2A39DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3650323$102A3F3A-EDFB-4670-8BFC-199D9608AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce50ce6efa02ff0d7b29a432d0fee404f168688","datavalue":{"value":"Specker sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3650323$8E767451-2B1E-462D-ABB0-263C2626E711","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":"Q3650323$0F58B155-255C-4C7E-82E5-6287D71036DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82b764427fa814f3fca778d1b33a66fdaf0dd9c7","datavalue":{"value":"https://doi.org/10.1002/malq.200710094","type":"string"},"datatype":"url"},"type":"statement","id":"Q3650323$1479AD68-84A0-414F-BA00-2F97920BD295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7361e160b9f0ac3f736f3bf4edba01477b3e49c","datavalue":{"value":"W2030330301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$66DBEB55-ED33-4457-BF62-19380B943AAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$0595455E-D79F-41C8-8061-42F0FC8A5CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$A4089498-C215-4498-AF37-605C44F8D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$023A1BE1-0FC5-41AA-A646-2A960D5CDF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a326268eddd6d2d5c349bf6aab49ba6b055f89","datavalue":{"value":{"entity-type":"item","numeric-id":4486016,"id":"Q4486016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$A078EB23-E8E3-4708-B47E-19E4F066B15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c876bb82adf77d3b5a96c2d77595617109a8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5693602,"id":"Q5693602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3650323$9D74E921-376E-4F74-AE0D-32987BD7E4C7","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":"Q3650323$7DD8646E-C647-468C-AFA0-78E886E794CE","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":"Q3650323$9D0A9B05-C195-49B4-89D9-6C49F7806AFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2cbc9bad7198c390b2ed9a40e4499274cf718fc","datavalue":{"value":"10.1002/MALQ.200710094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3650323$7B1ED660-BF96-4ECF-A1C4-0526D4B39680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92aba65c4784b6aabf699bb3317b7439b59d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3498460,"id":"Q3498460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21df506119343ea267e7d2462947db172c083993","datavalue":{"value":{"amount":"+0.8901152","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":"Q3650323$D5DD8667-7C0C-454A-91B9-DD2107160164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f4065245cfc70d190859c251bd4a6ee3fb27dc","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f4cb492d18c916a33e76f9ecb6df3badde4b0d","datavalue":{"value":{"amount":"+0.88999957","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":"Q3650323$09799C5B-85D8-4516-8102-9E36FA9EA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34f1d4231b076a76a075dddb84ce61a3b7c7431","datavalue":{"value":{"entity-type":"item","numeric-id":2077376,"id":"Q2077376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f942b4047fa4ed917d7c47bd896359c53f45d4f","datavalue":{"value":{"amount":"+0.88923603","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":"Q3650323$41C3DED5-8E90-4A9A-A51E-9EE65FA2AB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da81af5f4a808e6f0731c873ef48e1a30d1a952f","datavalue":{"value":{"entity-type":"item","numeric-id":1866903,"id":"Q1866903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414af5e8a6470b182139defe9cbe8ef47769a8a9","datavalue":{"value":{"amount":"+0.88548326","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":"Q3650323$778AC0B0-FCF8-40F0-AB8A-6A8830222B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5058de5afc0e93f2ca9c2bbd2ec0d363c1ebcd94","datavalue":{"value":{"entity-type":"item","numeric-id":4807686,"id":"Q4807686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febee2a4e62e0916510e151466e99e1e19dec31b","datavalue":{"value":{"amount":"+0.8815694","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":"Q3650323$1216B693-96D0-479F-8B5D-B84BA350EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35d63fd7913ea1dd9732e86118dc5bc7c2241ac","datavalue":{"value":{"entity-type":"item","numeric-id":4457733,"id":"Q4457733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f74aaadb4bfa466c5d6e0b9abecc161951915b","datavalue":{"value":{"amount":"+0.8804429","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":"Q3650323$704876C9-F645-438C-B825-9F38D1820DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9811b78e21550e6ed8e5fd6048505344b03a1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5004947,"id":"Q5004947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52914c791d2191210eb3fddf18c5d15907e1ef3a","datavalue":{"value":{"amount":"+0.87883395","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":"Q3650323$C40298D8-4059-47FC-AD37-DF22C6329EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee86b4f38954608aa0625b1b6b850baf88c360af","datavalue":{"value":{"entity-type":"item","numeric-id":912081,"id":"Q912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6a519677513b87ff056c1f190340ec586a8b5","datavalue":{"value":{"amount":"+0.8768439","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":"Q3650323$0C8ED3A7-2EDD-4819-A9A6-D1E7F99850AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3765c792db9839cb580aee9e0903bc383338041f","datavalue":{"value":{"entity-type":"item","numeric-id":5019131,"id":"Q5019131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2df6a788a36442b8fbf0e679baddfe594581bd","datavalue":{"value":{"amount":"+0.8765623","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":"Q3650323$258F113B-92CD-4B1C-A828-10FF3B32038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db8b74cee918403f8c731cc01d4dccac6468a11","datavalue":{"value":{"entity-type":"item","numeric-id":1823233,"id":"Q1823233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bd4098b33155bf2dd17c5f99e2e3100c2446fc","datavalue":{"value":{"amount":"+0.87605196","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":"Q3650323$0F178329-7483-4C8C-9C6C-BB44AED052F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3650323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3650323"}}}}}