{"entities":{"Q484101":{"pageid":485868,"ns":120,"title":"Item:Q484101","lastrevid":62180778,"modified":"2026-04-11T04:19:12Z","type":"item","id":"Q484101","labels":{"en":{"language":"en","value":"Completeness in hybrid type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6381498"}},"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":"Q484101$C5F62760-3115-4BC8-AB89-CA0B49798DE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f18dc978d5c497eb9ce3fbbb1c1d9ef05ec09af6","datavalue":{"value":{"text":"Completeness in hybrid type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q484101$30A59870-2BBF-42EF-8F32-87D952B58A73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be4e4f284a2b604682d26d127b914114e040171","datavalue":{"value":"1338.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$FAB8E676-5BAB-4C12-A4CE-B9D14B4E6642","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$A77A7D2C-DB72-4CBC-BEB6-440AF2F29F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$8A318160-DC8B-4BC2-B9C2-949C76242264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f93cd18382af0067ee8c04bbac9fa33b71d6b21","datavalue":{"value":{"entity-type":"item","numeric-id":484099,"id":"Q484099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$2759BA49-0C97-498B-BF96-8288A5AA98C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$2F222E1A-148B-45A3-94E8-725EBCB2C680","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$C0AFB25C-6846-4E43-8711-64B37A027F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e7ef269c0353f4813567770f63d7637f2cf5c5","datavalue":{"value":{"time":"+2014-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q484101$983CDB48-9544-4C90-810E-5D01A3BCCC8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76ed8a7254eb226d5ec6b9673cdd43f543451bfb","datavalue":{"value":"http://hdl.handle.net/11086/20021","type":"string"},"datatype":"url"},"type":"statement","id":"Q484101$146271C8-9D77-4CFC-9CED-9D4877C7A4AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$79FA258F-AF78-46A8-BE29-675B9F3F28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$A1F79A36-6C8C-41F6-AE4F-1929D4ADA614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c41278c19bbc257cebdc11286df527769494e0","datavalue":{"value":"6381498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$A7DCF247-DB91-40CC-8A02-BF50000D9D6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q484101$A971E80C-026C-4536-B4F3-CE949C8ECDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q484101$E1E4D10C-AD70-4FB0-BCCC-D59801AFE6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955688f8f009946dc6794320a63f9fe18f43ea22","datavalue":{"value":"higher-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q484101$636A13F8-8401-4DAB-B6AF-2981371120FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q484101$44A371AD-F4BA-4D85-8721-432860B40EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846043119eb0141adde3babc3b187ab7ede5369c","datavalue":{"value":"\\(\\@\\) operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q484101$5731378F-E6DB-46A8-827D-2E6A3BC89606","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":"Q484101$4C712254-B577-4203-91E3-CA7BD54F0868","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be8a435b19cfdeef261dbf3cbd1e9e46d23b9569","datavalue":{"value":"W2029151503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$ABCB2A3F-2A12-43A6-892F-E69335A40108","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2354341e7490ca49c12e8c0db44f0860792bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3007241,"id":"Q3007241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$3E347040-E3D9-4B12-8561-88494EC0D192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4840fb89c1bb0abc19f0ac0e208874bbd3c00195","datavalue":{"value":{"entity-type":"item","numeric-id":3927223,"id":"Q3927223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$0F45E6BB-267D-4216-AB40-87C96F4958A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$E9CF849F-C095-46E3-A278-32C1ACA2C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2cb41d5cb9c6e51e51ecfb81b797ca889c400","datavalue":{"value":{"entity-type":"item","numeric-id":857663,"id":"Q857663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$D5437F53-7884-474D-9AF8-6E48053F7EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc5e622126ec3d570da92e5e13cb53e0d0ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$0435B98C-BE61-4595-A399-7F1891534CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$6395FA0F-1B6D-4197-8824-4CB573DE20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$8912F3EE-31A0-4C97-8E7F-30EDF729B90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$D90425C4-2109-4D75-A370-7E5305FEEB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f12b32d1a0a87df671862548caf17fa5008dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5633975,"id":"Q5633975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$0617087D-1E64-4606-AE82-7251D23800B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$C3C9A836-8E51-4028-B6E2-EFC4394D7462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$0BD2AEF7-CFAD-442E-BAFC-2966CEAB9D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$B350E345-2BA9-4484-BF16-41C81728B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$36956457-EBCC-4973-9457-68E61E74A77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$D69BD9C5-6B48-42BF-A24A-8D3BCF50AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$EB1E63C2-4907-4996-A4F4-87D62C52314A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$3F62153E-6306-4D02-8069-096A3AC0C513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$F297B8A0-EB47-4756-BCC2-D82AAB4A3730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$8EDBBF8B-7034-4862-9DFE-916EB52F9DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$49E75A37-F1F4-4C16-B7B6-C6A64325170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$656160C5-4B61-4735-9874-F77F40684FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$C909D4D2-0E80-413D-B4EC-71DCC89295EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$51376932-F746-4AB5-B9E6-5F6A73469374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$9468DDA1-6AED-4E57-B29C-BFBEF6BAC2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$6B3202BC-0B48-4470-B9BD-97A344576C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef8d7f06c3bcbe15173131d1674229da41813a6","datavalue":{"value":{"entity-type":"item","numeric-id":5680089,"id":"Q5680089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484101$55FAB3D5-D57A-4FA0-A09A-6C0D380A9967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e71bbf6d68a10fe2d255fed0f9cfa5b57431a8","datavalue":{"value":"10.1007/S10992-012-9260-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484101$EF8CABC0-83F6-45E2-9E3D-3FDAFC8DE3AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4312be99e1412b078d44e6ef99955db0de6a43","datavalue":{"value":{"entity-type":"item","numeric-id":3086771,"id":"Q3086771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104cf20e1078810500fe15eac0fbaba92d8b4769","datavalue":{"value":{"amount":"+0.9597286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$34B831B3-717E-45D5-BF3A-90D94AE104E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102927411d261021502783a54574b3723935457d","datavalue":{"value":{"entity-type":"item","numeric-id":2278838,"id":"Q2278838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db1be88a0b86da2b2ab9b94e0de4b76f1139279","datavalue":{"value":{"amount":"+0.9555378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$72C9D77F-1A82-4D1A-BF10-3948068A6016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec06f0869f0f61c632cdf6856b174429aee0656","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed5027ee28c81979ce181e8d8d3a47f39ecc433","datavalue":{"value":{"amount":"+0.93068093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$33CA0A6B-4DDF-466E-9893-8F6550F4C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a1afd7d0bf5ca5d3d8fe937f14bb8b89301042","datavalue":{"value":{"amount":"+0.9250908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$2FD63CBC-F39E-4638-86E4-0C400F27472E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b63c025cec9bdc617a84595fc242606d8fcf3fc","datavalue":{"value":{"amount":"+0.92043793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$01999515-34D9-4EA1-AB6D-122D11131097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38eb49860c5be3edb6e0b25cdb8e3bb8d1e3daf","datavalue":{"value":{"entity-type":"item","numeric-id":3593495,"id":"Q3593495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3df60b47ac50cc9209ca7b7c168d5722efc9d8d","datavalue":{"value":{"amount":"+0.91224986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$868428A5-1B7B-46B0-AF82-439FDD23BCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0487bf72bcaa7ac74e9574378d57bf826157640b","datavalue":{"value":{"entity-type":"item","numeric-id":2853715,"id":"Q2853715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c088668358659163faebbf4ed2573488f861e0","datavalue":{"value":{"amount":"+0.90834564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$11160E47-AA02-405A-B5F9-169FFEA0C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff7eb1bfcd308ef3f89391bd6d79d1ea9fce910","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0090e932857c1a4fc85df3d2e204ba7560ef6950","datavalue":{"value":{"amount":"+0.90804124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$A26CEA84-153D-4A18-B2B0-A0C270140625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a4630bcb45689e60570ff9bb7139f3d99679c","datavalue":{"value":{"entity-type":"item","numeric-id":5958301,"id":"Q5958301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3a8c19c8009e4dd5bc1ca8d0f69163f09acb2d","datavalue":{"value":{"amount":"+0.9034575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$1857CFEE-0199-4A2E-9DA3-F125FEE76700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9996710516bd0250997e2a4af86b3ea67416e316","datavalue":{"value":{"entity-type":"item","numeric-id":287375,"id":"Q287375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fc1bebdb29d4eb4cddca9e7bd7f26ff690eb5c","datavalue":{"value":{"amount":"+0.9007506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484101$0F2C267A-4B6F-4B9F-A0E8-D830309AAE2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness in hybrid type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_in_hybrid_type_theory"}}}}}