{"entities":{"Q5495524":{"pageid":7525084,"ns":120,"title":"Item:Q5495524","lastrevid":96340109,"modified":"2026-06-05T10:59:12Z","type":"item","id":"Q5495524","labels":{"en":{"language":"en","value":"The relationship of derivations in artificial languages to ordinary rigorous mathematical proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6325138"}},"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":"Q5495524$8A4CFE31-7AB7-4D11-AF88-9BE8CF46A3BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d45cace64de4f49ed13d70c9369092d045e0f54f","datavalue":{"value":{"text":"The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495524$11D8D40B-E67D-4D43-A12F-6DDB924BA177","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77adc1ff35b40fba893a562b3d64d56521cb75f","datavalue":{"value":"1293.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$42719436-9E66-4320-A6C6-F634F5499264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3500a6bb22312dc7810904e08675c199edff620","datavalue":{"value":{"entity-type":"item","numeric-id":211716,"id":"Q211716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495524$CA50B9E9-1C6C-42C2-A717-F3690E7480AD","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":"Q5495524$25C38A3D-4707-4C67-B640-9A11CDC8D255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c1e72acbb2d9e14da801927d45260926af7f00","datavalue":{"value":{"time":"+2014-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495524$F872B445-C489-4DE1-9AAE-26E9335EEEEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$DD3079BB-4552-45BF-A0D2-7CA2F1E484F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$D4AF83C9-64C5-4B0C-A379-AFD7E2BF9224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a0ec350f01664c30c6f6d42b973501b67bd5ca7","datavalue":{"value":"6325138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$D2ADFF66-32B3-4E31-A9B1-BA88ABDB2035","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":"Q5495524$74482CB0-406B-46C8-9B62-742CFD2785DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18938bc75c9b7d2f84d121ed4b0ea40e2c343a32","datavalue":{"value":"https://doi.org/10.1093/philmat/nkt007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495524$B32C7E87-BAEE-4F56-856A-BFCB9ACD4298","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf32f3ae0795ce4c89bc24e1335b418bb497800","datavalue":{"value":"W2317147403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$EC16E74F-9CA1-4377-9814-617EBA0069A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357b8a327cc2b7c53277da2a702f57cf0864fdf0","datavalue":{"value":"10.1093/PHILMAT/NKT007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495524$75CF5496-6E53-41F3-8334-724C678C0FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab90e7078a0fc53fab400bfc12f825dead8c8e3b","datavalue":{"value":{"entity-type":"item","numeric-id":5224673,"id":"Q5224673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2016d09f0aa1223638f1d2afeaa2bd03402a6c17","datavalue":{"value":{"amount":"+0.7122964859008789","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":"Q5495524$5F96B4B2-FB23-448B-B9DE-0004BDBA84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da193e55d49806998e8f15ef5901c5763158db74","datavalue":{"value":{"entity-type":"item","numeric-id":2965627,"id":"Q2965627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57c6a19d761b95960acf6554d8ec2f1e6fc43c6","datavalue":{"value":{"amount":"+0.7013086676597595","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":"Q5495524$D01554CE-A461-47FF-A181-376AEF408BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f6063c5d54a5b952a83cd83a35e68c93815b2e","datavalue":{"value":{"amount":"+0.6965141296386719","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":"Q5495524$832120EA-D84B-4F42-8C21-F69B5753AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595f6616d7f7c7bdbfd5649089c6877995bc6cce","datavalue":{"value":{"entity-type":"item","numeric-id":2018656,"id":"Q2018656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904785bdaa914fcc8c8a3ce7aaf5f8107e0c8db0","datavalue":{"value":{"amount":"+0.6908046007156372","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":"Q5495524$A44173BA-B1B6-459E-9B3C-48B003065F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80d684a8780dbbe3fd47a29697dafdb23dd75a","datavalue":{"value":{"entity-type":"item","numeric-id":3535127,"id":"Q3535127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5240f7dadca6f5f23c11864adce3052f0ba019","datavalue":{"value":{"amount":"+0.6891176700592041","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":"Q5495524$35D5D007-AD29-459D-A643-51137E381AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The relationship of derivations in artificial languages to ordinary rigorous mathematical proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_relationship_of_derivations_in_artificial_languages_to_ordinary_rigorous_mathematical_proof"}}}}}