{"entities":{"Q3523176":{"pageid":5553080,"ns":120,"title":"Item:Q3523176","lastrevid":50441492,"modified":"2026-01-14T01:43:45Z","type":"item","id":"Q3523176","labels":{"en":{"language":"en","value":"Proof Pearl: De\u00a0Bruijn Terms Really Do Work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318945"}},"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":"Q3523176$42EDE357-437C-40D8-8810-CBF1A0E5A4A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"609a5f07b034d4297cbb2de85dd0282c0753eb95","datavalue":{"value":{"text":"Proof Pearl: De\u00a0Bruijn Terms Really Do Work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523176$2922CD83-4470-410E-9668-68E376824FB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"757a75fdb94748a600a9cbdb998e051b30b72584","datavalue":{"value":"1144.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$FCA89339-9072-4E3B-81C8-4BC968544B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c407cf3ea70355809a01237bfefe31182be936","datavalue":{"value":"10.1007/978-3-540-74591-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$AA9D5544-DB8E-4657-A586-7D16312C969F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523176$EF8B1955-AB5B-4415-B406-67EFCA7B40BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bd72a5e73758bd30e2ad91ff0a0a3698c24ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1045891,"id":"Q1045891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523176$9D7F8EE3-8EB5-4790-A7A5-C3F89321EB0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523176$D920CD9F-43AB-44ED-9096-ABCD91D42B91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523176$3774BA0E-1665-499C-A3ED-C95BACB7BD31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0750d26578d8ebfe678cefb57960a75f0b4b597","datavalue":{"value":"http://hdl.handle.net/1885/36129","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523176$D2DA65E2-7894-4AE9-BD4E-01CD9EE5D7DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$F33D35CE-9A8F-47AD-A95C-90A178C06A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$94C2B5B4-EE99-4A9E-B13D-7C67AAB05EC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce81473725fbae60f390c0d3778a138ca20081ab","datavalue":{"value":"5318945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$1B9767C5-2AE7-440B-A0ED-08838B78CA0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523176$6B0BA9B9-E56A-47BA-BD12-E505027C2DCD","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":"Q3523176$47B76610-427C-489A-93B4-9A502765628D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0cbeda6a415e54ce1e13d4b57deaa8f02dcd4a4","datavalue":{"value":"W1776521695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523176$910D407A-9E38-44B5-932C-EC80833B0F9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8121b45f5a2121f5d02e937ed3d255985aa611","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb091b6c496afcc8e003a0c1504958bce17fc78","datavalue":{"value":{"amount":"+0.7667778134346008","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":"Q3523176$DE7676DC-ACEF-4543-A4EE-4F0FF431E0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3c3a4ce9140434254f2e621a943f367e7e061e","datavalue":{"value":{"amount":"+0.7637503147125244","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":"Q3523176$A8D54238-BC55-4BA7-812F-7EF1D40BABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33197d73b85136d1a5f0f40200996a0082e844d","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354b5c4b08ad36aa6e8dd9d09e62af25376a0993","datavalue":{"value":{"amount":"+0.7617683410644531","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":"Q3523176$45D50487-B357-4C54-9E3D-F2C013170103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403306c4a7ae54ce993f98b54ad18931e626d17c","datavalue":{"value":{"entity-type":"item","numeric-id":2871859,"id":"Q2871859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1fba747a142773c8bc34ce3df5a8c20e0b197d","datavalue":{"value":{"amount":"+0.7594428658485413","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":"Q3523176$BCA7B256-F7D7-4FA4-B69B-9943C546650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f160c83ae24d405c81d6382e6a9adacae3758c48","datavalue":{"value":{"entity-type":"item","numeric-id":4222186,"id":"Q4222186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7d5aa4e735e0cfc660319ab83314b2537e9214","datavalue":{"value":{"amount":"+0.7526149749755859","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":"Q3523176$CBD9A078-66A4-4165-A8FD-3D512D4BE844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523176"}}}}}