{"entities":{"Q1945914":{"pageid":1956656,"ns":120,"title":"Item:Q1945914","lastrevid":69831864,"modified":"2026-04-13T10:38:43Z","type":"item","id":"Q1945914","labels":{"en":{"language":"en","value":"The locally nameless representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154936"}},"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":"Q1945914$55FED4B0-75F1-49CD-97E4-4EB98F6A9378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea888d22d0453c0030f3751e279e94ee19583af3","datavalue":{"value":{"text":"The locally nameless representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945914$9881A60C-878F-4860-B709-F767B4BDE11D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1725b9419d7aa28d6702aeca3eaaa07a56253ba1","datavalue":{"value":"1260.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$02BC581A-ABD9-4A47-A76C-9EB7393FFBDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$7AE6DD91-FAF2-4357-93BA-D09DBE8A52FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$5586D496-3850-410B-A939-47D903BA5328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1945914$D6310ED6-9C8D-4653-AD31-8DD3A1F582C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$9A5B3926-CDD9-4D0F-8A7B-D382D827560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$FE04923E-B7C0-47C1-97D7-EB49CD3F6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$C80B8B1B-FDDC-4DDF-B959-FB3383530D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0450aaa6c015313d41b49116457dc833fc5c7e10","datavalue":{"value":"6154936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$3FB3A3AD-5C04-48CD-8DEF-1C2EB6A1C0C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01231c9e0dc2e41bd1262b5fe9cf963f5eaea51","datavalue":{"value":"locally nameless","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945914$3DDAA897-2049-4A1B-A3C4-56140AB55BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fd0b6dd61c27dcc09781e88c1937e79c3b6010","datavalue":{"value":"cofinite quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945914$3404EBAC-1736-4603-A327-A07FC7156873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945914$FFDF65B4-C29F-4123-8B6E-D74988DBEA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076d7aaede6ca2cd144bb11a6f7107114a777bb","datavalue":{"value":"binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945914$C888587D-A375-41B9-A071-9C18F0A1FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945914$44692256-6969-43ED-AFE1-569D55F8AE2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$4729B3FA-2FA1-45A7-8410-8ED7C6D28332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$3ECA64BE-2D49-41F8-B103-926F4672276F","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":"Q1945914$935853E1-4CD7-4586-8DAE-E44892FFBCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$1867E9BE-D196-4EE7-A683-081B7CC06D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a36bc1f7bbc81ffc389d921a198394ecc3bd746b","datavalue":{"value":{"entity-type":"item","numeric-id":23424,"id":"Q23424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$D29EEBC6-4ACC-425F-8BE2-D56DECAA4051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$02D24504-E1A1-4B73-BED9-634680060C26","rank":"normal"},{"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":"Q1945914$30C6A126-DD9F-4894-8A3C-5EB465208874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$E8CB11E7-AB31-4DFA-BEC0-A806E9CC4F53","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":"Q1945914$BEABB9D5-443A-4405-88AA-3FCC053E8F5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2be2aef664ad910d66e4cd057595b31e1c5bc9f7","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9225-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945914$5A181480-1B88-40BC-8DEB-6CFE93774CDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"515f6aca3e366c549f44f8a1b3507d467d645dc8","datavalue":{"value":"W2091657052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$C0C48E4C-C6CF-4DC1-8645-6084DA39A4BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$365B838A-A159-46BA-B533-94E235617D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$9FB23DDF-042B-4A89-B8F3-BD945ACC9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$82B15CAC-A716-4521-A07F-667B0E35F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d0938de3a4e5deedd656318088e2d5da1ed0cb","datavalue":{"value":{"entity-type":"item","numeric-id":3612953,"id":"Q3612953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$FD640ACC-5DE1-40A8-8EFA-BADC3E748ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$3C0DBDF8-91BB-482D-87AA-33BE59EFE8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ab16f8b410e57b99fb83063d4a60e6ad2a3c63","datavalue":{"value":{"entity-type":"item","numeric-id":5178753,"id":"Q5178753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$54B833CB-15A9-4649-9035-B13943012324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$C138FBED-242F-4938-9535-C714F373ABBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$A2C0125C-A60F-4152-8CDA-4A16AB644042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$94B887EE-9A87-44EE-B182-A2D707F2E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$1CA6D0C9-58B5-4A5A-AAE3-7D42BEB66A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$AE42DD5C-ABB3-4C2D-8CD4-90736601C3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$45F1A49A-5092-43D0-883C-BEE772B82AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2020026c623c4f811fdc06aa8f70b1661e6b36","datavalue":{"value":{"entity-type":"item","numeric-id":3543663,"id":"Q3543663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$A152022B-D469-44DF-96D9-59B93FFD34B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2788a32b1e668b3e184e8bfcb48f92a0fa8df1e","datavalue":{"value":{"entity-type":"item","numeric-id":4983210,"id":"Q4983210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$C2841AF6-59D2-44F0-BD54-650E7A009A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$0DF4A1D5-CE00-4E7B-9C19-CB7BF26AB589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945914$225D05C3-2693-4E04-A528-7F5557C67BD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53f78cda3fdda74e30bf6c03f42a45896367769c","datavalue":{"value":"10.1007/S10817-011-9225-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945914$4F0E8E8D-568A-4643-92F3-09437175F10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8ad2f2b7a83e9a7996737eae82dbc7d18f64da","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824589d8d354a7eca58bd75569b03f8a7362056a","datavalue":{"value":{"amount":"+0.8170573115348816","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":"Q1945914$E8B9B238-6B02-4D23-B5A3-074F633C702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5403d2038b4d8a24454a3682a052088d8d5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2915102,"id":"Q2915102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c3479cb2a023c9641ef208764eebea15a9d4bf","datavalue":{"value":{"amount":"+0.7960904836654663","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":"Q1945914$6F4D88AD-EA22-4567-A71E-AAA12F246BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa55f8790abaf6204c8df865d401717f0f03548","datavalue":{"value":{"entity-type":"item","numeric-id":2802464,"id":"Q2802464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bccb893b91ba3da7baf0a38511c1156dc57d852","datavalue":{"value":{"amount":"+0.7574208378791809","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":"Q1945914$88D4D75B-CF06-4F96-8783-840DC499F440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7fb22bdd2f1a174bfccda96a838a9727bfd8a4","datavalue":{"value":{"entity-type":"item","numeric-id":3165528,"id":"Q3165528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5809a726025371aa4953dfadf98126832051b8","datavalue":{"value":{"amount":"+0.7566863298416138","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":"Q1945914$3D0C378C-30B4-4C96-AE85-C9A571FA2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7b587b8cc335a1876e3ff416318c6f5fff96af","datavalue":{"value":{"amount":"+0.7528945803642273","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":"Q1945914$167E2947-C391-4D4F-9FAE-5C975A1C8140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The locally nameless representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_locally_nameless_representation"}}}}}