{"entities":{"Q6599254":{"pageid":14210411,"ns":120,"title":"Item:Q6599254","lastrevid":95670962,"modified":"2026-06-05T09:32:45Z","type":"item","id":"Q6599254","labels":{"en":{"language":"en","value":"Mathematics and language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7907722"}},"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":"Q6599254$09255049-7543-418E-A009-A8B1F6B188C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e181356399385637201bfc548be4788d08c0c326","datavalue":{"value":{"text":"Mathematics and language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6599254$CD855AAB-1ECA-4CF5-86A5-662703FB3C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d04ca62f633aaf4494b497ef4d1f60329e645244","datavalue":{"value":"1544.00014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$B1D1DDA5-9164-400F-AC33-256E93603600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46d0a4f243a04f413dae1986d5ddbdef430c2349","datavalue":{"value":"10.1007/978-3-319-21473-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$A2872648-B604-4E42-8025-13DFB05CFBE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599254$9D7C752C-4435-44E9-AEEA-367229F2CB87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b4fed82336f4fd3de28daa42f3cd971eb88d0d","datavalue":{"value":{"time":"+2024-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6599254$1D258B80-6CC8-4B56-B27D-E846C553C495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$714CDD09-F164-493E-80FB-FF27AE9BA186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$C3698E12-B879-49BB-AEE2-29877E79EA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$61A9971F-BBB4-477D-A81D-D72A6BB63313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60f82868154dbc6b726e88d27a879af646bdefae","datavalue":{"value":"7907722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599254$CE0054CA-88C4-4086-9F4A-E301F9CB25B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1205d2ad7de4e0c8fb2e347e524a43e9f5d35bfc","datavalue":{"value":"mathematical object","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599254$7699C35A-7D51-4426-8C97-CC67E98E7537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599254$16775F51-C527-4D23-B5B0-2965793C72F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599254$C9F79874-ACE4-434C-BDDE-07946FEC220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65cdbc3eb134bc5f78d89f3fc9f703a3e4c38e1","datavalue":{"value":"mathematical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599254$17183EF5-EBA3-4A4D-B29A-3FE4CA7043AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599254$7B3BA036-529A-466A-A9FB-C3CB798E78DE","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":"Q6599254$7D7A162A-E8C3-444D-89CF-6EEE717E0220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1aa9bb28403455d06de62ecb4c4fcf60903bf92","datavalue":{"value":{"entity-type":"item","numeric-id":1012489,"id":"Q1012489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f13f38c60a5bdc06e6dadd2030fa4c31870aa9","datavalue":{"value":{"amount":"+0.7521170377731323","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":"Q6599254$EF9E4F33-4654-4223-B421-D7BDCF13C614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fc8cf8f9115f41cc1b983ba16f328d81b8beb1","datavalue":{"value":{"entity-type":"item","numeric-id":2851818,"id":"Q2851818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f97b411ce69c0361dbf8a8ce8021a3b3509475","datavalue":{"value":{"amount":"+0.7460858821868896","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":"Q6599254$D575AF31-D25A-4026-AE8E-85AF8E7F9AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0460a62dc8949c72580b1ecef3239533690391","datavalue":{"value":{"entity-type":"item","numeric-id":5205211,"id":"Q5205211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0db51235b39e39b1ffc190a39ec29816b97e54","datavalue":{"value":{"amount":"+0.7413265705108643","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":"Q6599254$4DFD43F2-33E1-4F17-AFF7-BAF63C1F1517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afed71f25855a0fbe11cfc752ca79b9179ca1887","datavalue":{"value":{"entity-type":"item","numeric-id":3699629,"id":"Q3699629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106902e5c512121064dd7d7ea1639544077cc351","datavalue":{"value":{"amount":"+0.7275374531745911","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":"Q6599254$012F2E49-A82D-4AFB-8BEF-8227AE88809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823c60e8883f5cf27534651be10da4acb78ff448","datavalue":{"value":{"entity-type":"item","numeric-id":1408658,"id":"Q1408658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391d99c3dad4bbfdc8a60b90fccc7355ad8b57b4","datavalue":{"value":{"amount":"+0.7197878360748291","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":"Q6599254$DC4C0899-E2B7-4B96-8A47-7A149C6E2C67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematics and language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematics_and_language"}}}}}