{"entities":{"Q1876109":{"pageid":1886851,"ns":120,"title":"Item:Q1876109","lastrevid":73923033,"modified":"2026-04-14T17:44:37Z","type":"item","id":"Q1876109","labels":{"en":{"language":"en","value":"A refinement of de Bruijn's formal language of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091585"}},"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":"Q1876109$BC8133B1-FD1F-4AB7-AFFB-3391935818D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2ecbed88b8c350c92c56b183ed1ca44212dcfd1","datavalue":{"value":{"text":"A refinement of de Bruijn's formal language of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1876109$81116FD4-2C1C-48D7-AA86-1438F0292B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ab05a341d16e614181b0e6d337b5fa9debaafa0","datavalue":{"value":"1048.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$69563399-475E-4139-BCCB-C0C3E2E1FB13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$C798D0EF-3459-4B4B-9FF0-33A54F374A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$41BC8486-43DB-4CD1-9FA0-563F09D8446E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$684EA707-8888-4EE6-BCE5-2F7F4B3E50DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1876109$5C13654E-53ED-4DB7-898D-5FCDF80A5B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$305112D5-5ADC-4644-A3E2-68C32023D804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$95CD850F-84D5-4488-9EF8-1C7A6D5D5931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fe75e418b0edf3bcb463860492c7f3bafa96f13","datavalue":{"value":"2091585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$3AAF7F4C-5597-4940-A778-8AC4C8AD12A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876109$A1E07951-E79E-45DD-A67A-0E5D1A1E1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1135dfd165c1e44c43a246eb193f879196ba40","datavalue":{"value":"mathematical vernacular","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876109$4877FD87-634C-4B83-9EC8-9C6A70C35ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7071b6d220b74d701009257ddcf2b80bcc1a1a12","datavalue":{"value":"weak type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876109$F03B86FC-CF45-43DD-8F66-67A81A3A713F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$A7B6B927-C819-4335-9391-DD612A85A364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$03246FDD-EC1C-41AF-8591-87C3A10EA25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$872CB5B2-47F4-4DFD-978A-5C9D725BB433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$D27FEC5C-6FE7-4573-89AA-E1CE5448C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$9E0DB165-E677-4391-BBD5-741B75FFEA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876109$6D2276F4-71F9-4CDB-ACE7-FB58FF580B7C","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":"Q1876109$BB928FE0-C67F-47EA-BB71-9ADE82FAFF6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c47bdcd95d373ac1bac1db60b7310cd15b1f3843","datavalue":{"value":"https://doi.org/10.1023/b:jlli.0000028393.47593.b8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1876109$399D224E-A02F-451E-8563-01D98EB4EFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a822609f0b7893079b53b36dcc978b929189651b","datavalue":{"value":"W1988573483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$703F56CD-54B8-4BF7-82D8-1C1910934B35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd458f42dd626213a6c0d49ed5720948b5fcd2d7","datavalue":{"value":"10.1023/B:JLLI.0000028393.47593.B8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876109$A147D5A9-DF2D-4ADF-8A3B-9C974CC93360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11471a6b090db2b0618c36023c78d22ccc6122e6","datavalue":{"value":{"entity-type":"item","numeric-id":5313054,"id":"Q5313054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484ea931254cab6f9900b1168641298047ea9ce9","datavalue":{"value":{"amount":"+0.7402546405792236","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":"Q1876109$0FB7C44E-A2DB-4388-9320-32E0B60FD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79f9f5dde2744a8ff68feff1bf3c92886eaf880","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd00e7de8851654734ff6ce26943bd9c41f391ae","datavalue":{"value":{"amount":"+0.7167302370071411","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":"Q1876109$678E6A5E-4F80-4EBA-A6F3-FB6C54099422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54beaf1bed1a3eb297952b34feb5b59dfa0ff3d6","datavalue":{"value":{"entity-type":"item","numeric-id":2866734,"id":"Q2866734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62b069d6032b770c8d6021da72dfab1d3425a92","datavalue":{"value":{"amount":"+0.7134381532669067","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":"Q1876109$C5929A10-8BE9-434B-949C-3E7A29228CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f126dc4bfcbf3a0fa91becaa791d312bc1d152d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb02d859d2f0edd06369c03cfdfbebb492cdd844","datavalue":{"value":{"amount":"+0.7134348154067993","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":"Q1876109$AD20E362-9982-493C-9B21-94B67DF3B236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc61a9e675f748fa3522ac4245406c056647e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1940486,"id":"Q1940486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570b2781dfddc9c3b6850a4c0417dc1d47061261","datavalue":{"value":{"amount":"+0.711071252822876","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":"Q1876109$9898701C-D9AD-45EA-92C1-047795A309E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A refinement of de Bruijn's formal language of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_refinement_of_de_Bruijn%27s_formal_language_of_mathematics"}}}}}