{"entities":{"Q699688":{"pageid":701537,"ns":120,"title":"Item:Q699688","lastrevid":63614064,"modified":"2026-04-11T14:21:29Z","type":"item","id":"Q699688","labels":{"en":{"language":"en","value":"Dependently typed records in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1807870"}},"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":"Q699688$98DF1CFD-D84F-4834-86BE-3321D258AD7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15f9c3fa4f825b106910cae7b2b84e44a44554b0","datavalue":{"value":{"text":"Dependently typed records in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q699688$EB99DAD4-4D1A-47C5-B16B-AD347BB3B74C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3a54c7c8b38cf7cbf981bcb5624b71a3960882","datavalue":{"value":"1001.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$A67CFEF9-E7E3-47FB-B558-F9588222EBF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3463bc6040ec10eedd8bc84c369dcec260e8f52","datavalue":{"value":{"entity-type":"item","numeric-id":688570,"id":"Q688570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699688$4DB445A2-7E70-4016-9347-FA5D5B1E3D16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699688$4E605CDB-9B89-4BDB-82A7-8AC3CC2B1563","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14287ddcf28c60986480e7482825dc983de257d4","datavalue":{"value":{"time":"+2002-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q699688$286EDF96-866B-4F52-A248-BEC5F3CFBCEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$88CBE2D2-166C-4369-841F-03B12D61E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$4056F2A1-E941-4F98-AC1A-7DB87B6B37D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32edb109e588143abfcf2b648caebbfac8d33395","datavalue":{"value":"1807870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$44708D4D-ABBD-46EA-8FCA-3050A994A3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$4CD06FD3-A7D6-41B9-9122-DB5A268DDCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a6653929568b4e789a182516466d5642f4fdee","datavalue":{"value":"inductive-recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$F16AE712-D464-4666-831D-4600450915D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d05d7fa6a6d3859a580559e576d1340aedc2e2","datavalue":{"value":"manifest types","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$43400048-9B50-4297-85A7-982DDC5ACC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$D30BB268-1C9C-434E-A0C6-4465E4E25B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20799c418a990f87e058cd1da0fc6d7b3abadf6","datavalue":{"value":"pebble","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$0FC55EF6-A400-44FB-8C99-8A7CC7127029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09a0f09e9dbda634cbb9c5f07e6d2da08243ee5","datavalue":{"value":"signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$076FA49B-F0B4-49B8-AEF4-DB87B31EFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q699688$0332BDA2-FF8F-4619-A843-CF8979B820D3","rank":"normal"}],"P1463":[{"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":"Q699688$DC23CEE4-CEEF-4218-B2E2-27D0E4126C38","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":"Q699688$6075F9D5-65CE-49BA-B627-C263BE3A7B26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2c9064f85f09cddb91c88ba37b898a4f896184c","datavalue":{"value":"https://doi.org/10.1007/s001650200018","type":"string"},"datatype":"url"},"type":"statement","id":"Q699688$969C2BC9-84C7-4E24-BA99-CBA43BBDD6EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f6906ce660608f91235cd29f415fae9e79d26f4","datavalue":{"value":"W2002193175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$DAE9F0BA-AB22-431B-A56D-1F146FA5B264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1798d62174392628de47d2fe27bc275803cb9d","datavalue":{"value":"10.1007/S001650200018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699688$8BFE87BC-3F16-4909-A914-46D108CD13D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7806d431406bc0a857a7b60be6882dfdf02e41b","datavalue":{"value":{"entity-type":"item","numeric-id":4457452,"id":"Q4457452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8247fe423b3e563643d6bcccf684ab3889c655ee","datavalue":{"value":{"amount":"+0.7975069880485535","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":"Q699688$2136AA3F-AAD0-428B-B377-75CE973034DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67350a8ce20243aea3316711c083f9c1ec239497","datavalue":{"value":{"entity-type":"item","numeric-id":4681364,"id":"Q4681364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d96891e4a0d7846044184df926637ba936d4422","datavalue":{"value":{"amount":"+0.7810996174812317","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":"Q699688$9CBC2E5B-06B9-4B39-92A5-914E65E2BE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703c12462fa3c0b4409c4b169c76db5afa7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4500363,"id":"Q4500363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f214cda3d3e7f59a871deb4f9a042393621a9991","datavalue":{"value":{"amount":"+0.7724090814590454","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":"Q699688$45B51ED0-104E-4E69-B592-1D5B35DDC7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb18c1c5852128bff5686d0e5094ce1a989c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d9291f8f12bd61fe34b00f04ca2861ae8e4c10","datavalue":{"value":{"amount":"+0.7586994171142578","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":"Q699688$31AEB5E6-2E8C-4B81-A19A-BB3F947362EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a485e7ecea50561a3e127c65e09528e885ccc57","datavalue":{"value":{"amount":"+0.7397171854972839","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":"Q699688$93C8F689-C79F-4F64-AA43-55B6E7708CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependently typed records in type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependently_typed_records_in_type_theory"}}}}}