{"entities":{"Q4237644":{"pageid":6267245,"ns":120,"title":"Item:Q4237644","lastrevid":41850366,"modified":"2025-05-09T01:15:26Z","type":"item","id":"Q4237644","labels":{"en":{"language":"en","value":"Constructive Mathematics in Theory and Programming Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1274821"}},"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":"Q4237644$ACD923A8-9C02-4963-AE07-AF3C136D7348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd553645f10a452954005ed002c89055a68f35be","datavalue":{"value":{"text":"Constructive Mathematics in Theory and Programming Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4237644$58E7E7CE-9A2F-41BF-8C7E-E59149FC7A91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be4a2a956295b2ae2ee4956ea433b7dddec7f5e0","datavalue":{"value":"0971.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$843E8B22-9AC4-4E4F-912A-8A6854B296E9","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":"Q4237644$D9687D1D-AF7A-4998-973E-AEAE6BCCFD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de8240eed4897af96e7a9c4cc68e839abe9a6346","datavalue":{"value":{"entity-type":"item","numeric-id":541211,"id":"Q541211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237644$65B0D31D-C5F9-45E2-B10C-F4CF5BA62875","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b908986c574c476fefbeb1382b048ac0a054839f","datavalue":{"value":{"entity-type":"item","numeric-id":2701933,"id":"Q2701933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237644$7354550F-0657-40B8-AFED-1A692FC7EED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"807acfe2abaa92e89310133eb1e395950faeb629","datavalue":{"value":{"time":"+2001-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4237644$E425070D-A53C-41BF-8591-B0D0824D459F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$E0855682-C7F3-4CD7-8A03-6584C84A0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$1AE95A63-C594-4F62-8DE9-ED27071EEE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$6E9007A0-CC4F-475E-B36A-C2FF597D5808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5fab3e3a66a4200496fca898b4cf46c8296acb9","datavalue":{"value":"1274821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$594475D5-A024-4127-BD6C-C77E42D89936","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237644$2E931C77-9887-4FF1-B74F-5A9D8B3F57D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237644$CB6FD383-4B5C-4634-A988-167BCEA61048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237644$BD97FFDD-62EB-475F-AAAA-018C1FC43383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237644$C69CA6B4-F68F-4871-8003-CAD9B143F317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0362bd2f3b9393a7b482158f77da4053ef08159a","datavalue":{"value":"Martin-L\u00f6f's theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237644$0FD98AAC-0EB2-471B-9145-2BDA1AD2D80D","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":"Q4237644$FC27119F-46E8-4E49-A249-81521CB6555F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6971e321838272b0575c41eccab91e93248b7ad0","datavalue":{"value":"https://doi.org/10.1093/philmat/7.1.65","type":"string"},"datatype":"url"},"type":"statement","id":"Q4237644$84C9F57E-999C-4350-9474-509518A3A7C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5e504d6eb591ea2552b72a8af969c1fa7c32b2","datavalue":{"value":"W2015422016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$25C8C641-4AC1-4492-BE86-A995C33F7E95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08b17c58e132dd7a262605b16254d5ae3674f3d9","datavalue":{"value":"10.1093/PHILMAT/7.1.65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237644$452E3546-D32D-407B-8F10-4FF21BFF3B79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d15f4501f216cf2309fc5dd71001d72a55fbf2","datavalue":{"value":{"amount":"+0.96550596","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":"Q4237644$D9FBAB0C-196D-4735-A4BE-2BF396BFF5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a566e1b17fabebe4e3b7e373a4f617cccbd23c","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d15f4501f216cf2309fc5dd71001d72a55fbf2","datavalue":{"value":{"amount":"+0.96550596","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":"Q4237644$057A2832-903B-4BAC-A879-AC7984644918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99e03f2ff88983128551f254eecd90daebb3be1","datavalue":{"value":{"entity-type":"item","numeric-id":3755455,"id":"Q3755455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d0b8255380e32b7eeaf2aaf18cc9b762e481de","datavalue":{"value":{"amount":"+0.9314914","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":"Q4237644$5FEF4B02-2D33-44C2-9D47-F418E603AE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86215120ef4a4f05d94fae76659b64f0788bce91","datavalue":{"value":{"amount":"+0.9276035","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":"Q4237644$80681FC8-2861-4395-81A3-8C9F9AD5721B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7fa6c7e52d48eababebce9f9e6b6da89ab292","datavalue":{"value":{"entity-type":"item","numeric-id":3707360,"id":"Q3707360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692f32d2ea7e31e223203c9cdcdabadd19092ef9","datavalue":{"value":{"amount":"+0.92499316","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":"Q4237644$FA46AE31-B487-4BB0-8B71-CD6252B2071C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154ad9fb55ba712820d7e77a25c71be6c19cc462","datavalue":{"value":{"entity-type":"item","numeric-id":5186727,"id":"Q5186727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0739cad2884fd6dd3f4e28ef6ed263c522014f3","datavalue":{"value":{"amount":"+0.9229557","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":"Q4237644$C293B4BA-0C83-4934-B646-90628F1DE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0739cad2884fd6dd3f4e28ef6ed263c522014f3","datavalue":{"value":{"amount":"+0.9229557","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":"Q4237644$0DA95A49-45B5-48F3-AD55-A659737B5BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad68797a7e76bdd9a58b01c6333b2748a09835d1","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6625517daff2db87b9fdca3e9e5ee243b268175e","datavalue":{"value":{"amount":"+0.91923356","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":"Q4237644$3A077B68-FCB9-42B6-BA58-AC476A6F5CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708792ce3dbf2f0f13c0d570467d3249161df16e","datavalue":{"value":{"entity-type":"item","numeric-id":4694210,"id":"Q4694210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e818142f13e842338b07c5542c4c76f41dbd43","datavalue":{"value":{"amount":"+0.91360027","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":"Q4237644$96B476FA-6ADD-49BC-B4CE-B5197C9C747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530042f81fd5400bb0cc6815972f17eaa0db25e2","datavalue":{"value":{"amount":"+0.903033","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":"Q4237644$38728E48-A39B-48C5-AAAA-4773A64D9352","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4237644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4237644"}}}}}