{"entities":{"Q4304147":{"pageid":6333748,"ns":120,"title":"Item:Q4304147","lastrevid":46280193,"modified":"2025-12-24T11:40:20Z","type":"item","id":"Q4304147","labels":{"en":{"language":"en","value":"Complements of Intersections in Constructive Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 636007"}},"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":"Q4304147$AE69C511-62A8-484D-8F25-79807A22C329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08aaf8e3ea94b1e7da8de93d82c7b77b75f07d57","datavalue":{"value":{"text":"Complements of Intersections in Constructive Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304147$0E48A738-C4DB-4C39-9F6C-B0CCD7F271DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d7b78edc091766275189b2d6396ba267248880b","datavalue":{"value":"0813.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$B9E33AA7-AC8A-41F2-BAFF-036668416B47","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":"Q4304147$DB4E5B4C-3DCC-45A4-BBD8-18D45FA3608E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304147$BEC9869F-E1A9-40E9-BA4C-713DEC796BB3","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":"Q4304147$0D4CD34F-D0F2-4379-9AF0-B061766AC45E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e514884e342a09a97a054d635d30bb831dc95e4b","datavalue":{"value":{"time":"+1994-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304147$9000849A-633C-40F1-8E30-748B99C60365","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$4D406070-68F9-468D-89E3-139F6CD8FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$CA65709C-4D27-498E-AFDB-626BCB95C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$9D1CD0F1-84E3-49D0-95FB-3624DB518E70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6195154d52679143adf612716999052e516ee6e1","datavalue":{"value":"636007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$ED85B1E0-F7AA-4D48-840A-7902A75DD7E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304147$DC4BF047-A91B-40CF-899D-C4A34A61351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304147$69C5144C-7F7A-4EA2-ADD4-8855B3686065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff13cb79f25a9108ef58279c6baf6c921a36d06","datavalue":{"value":"normed linear spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304147$9BFD4C8C-BD59-4CF2-9313-405B821DD53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304147$274261BE-2CDB-47D6-9120-4402E3CBCC60","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":"Q4304147$FA83ADA1-85B9-4FBA-84CE-475E7106B71A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2933b601c9f43556a1da8dc6c54d935a7290891","datavalue":{"value":"https://doi.org/10.1002/malq.19940400106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304147$25499254-AEBA-4481-A084-05F6D67711EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f01ae3ac906ffce8cc6b4a921c24edffd6aa8aa2","datavalue":{"value":"W2138733436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$7B1B6937-3676-4749-ABA6-FDED1839DB67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304147$F1C695FB-485D-4842-A4C4-1C7365C127D9","rank":"normal"},{"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":"Q4304147$13086235-A391-4879-ACC8-87BE694C9CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b8b08973cd9b9b4edc0a7d4c9265ce67d5f4cd4","datavalue":{"value":"10.1002/MALQ.19940400106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304147$8E190EE7-9D9D-487D-BC0A-C5863F84FCCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800ff59b34fc506484b249d31d87ee7797b753a7","datavalue":{"value":{"entity-type":"item","numeric-id":4736756,"id":"Q4736756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fceec00717d9d1b26104e9aa378124965941128d","datavalue":{"value":{"amount":"+0.8130971193313599","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":"Q4304147$FF1C4422-9901-422D-B279-6664640FF10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a866a3b7af6d889d1812dd7b39d7a2f2d9fe60ee","datavalue":{"value":{"entity-type":"item","numeric-id":1315098,"id":"Q1315098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d67d7cac4631f6bbe06d9e1cb924a3b1d9c7bc","datavalue":{"value":{"amount":"+0.7124987244606018","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":"Q4304147$12D2955A-EEDF-4E7C-B2CD-3284664CEA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d75ec19330357403613d147da08a30540bd5b","datavalue":{"value":{"entity-type":"item","numeric-id":2253862,"id":"Q2253862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25705e1ff5703bf045d0cbf8ac3ad8b286314e54","datavalue":{"value":{"amount":"+0.7071331143379211","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":"Q4304147$B31E5529-BE40-43E5-A776-2BCB4334AFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451e8016504c66096ede136d1b001033c103dc15","datavalue":{"value":{"entity-type":"item","numeric-id":2910990,"id":"Q2910990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dddc3d91019d9eeab488e24b9b87748e215ecceb","datavalue":{"value":{"amount":"+0.6975058913230896","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":"Q4304147$DA42BF03-EF74-4F55-8B89-3AAE54E77976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304147"}}}}}