{"entities":{"Q5111326":{"pageid":7140900,"ns":120,"title":"Item:Q5111326","lastrevid":46185358,"modified":"2025-12-24T00:10:45Z","type":"item","id":"Q5111326","labels":{"en":{"language":"en","value":"Models of Type Theory Based on Moore Paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204447"}},"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":"Q5111326$B67D7048-47BA-4062-8742-A0CF0DAFD396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2335d495d8cea78de526dce0da7cc8b067d00d6a","datavalue":{"value":"1434.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$DA054D9C-5855-4CAA-A44F-B7C1B6628F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d66b3c16509ed8f36e49e4d438b20984ee506ed","datavalue":{"value":{"entity-type":"item","numeric-id":4611378,"id":"Q4611378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$11BCBC0B-3B1B-47D4-86F5-1241176B50A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$C65267A2-26E8-4C87-BAEB-8C1F6AB51EAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111326$97BBDFD7-D418-47E9-8F13-6606FA844405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$60DB1D6A-1F58-43ED-8E34-D18FC5E7A661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$53C664ED-9555-4C35-8BFA-E97E293E6EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$AA182421-7FC8-46BC-94CF-87CE4C0F2945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89a850cfc489ee29849b3d8f28f4f805f4651b03","datavalue":{"value":"7204447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$409B751A-B6F3-4A83-8BF6-906F08302C15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111326$AAFE8631-BF24-4C9E-9D17-C54ABAE14A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111326$EAD7CD3A-2F8F-4FE5-A26B-7D674EED5164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02595d5a1a1ca7ae5ca9b256bb786c92cfc41ed","datavalue":{"value":"Moore path","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111326$07660DED-FE0F-49E4-B93C-538343FE7123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111326$42AA6EA8-0E11-4E73-AFF0-3E97780199F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$D2081A6D-4B4F-41E1-AEFA-64A1F90535D7","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":"Q5111326$50508426-CF32-48DC-AAF5-E10B53A32F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$EEC25068-C9E0-4934-B5A9-6B83FC6831D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84c96f6e6b2bd2a11e73f3c7d9a2b71024be14","datavalue":{"value":{"entity-type":"item","numeric-id":3963102,"id":"Q3963102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$201D1B80-226A-4C21-A2CA-FBB45F0D337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$C96EBEB2-B796-44B0-9037-5033A530C261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e3f915abf61a33091940b2e7199423f76f10b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144677,"id":"Q5144677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$A4B90D09-09E0-4773-9F37-D57430A9F12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$F69E264E-9361-4B88-B61B-C001EA0AF048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db6b159c12bbb8825880ae5956d8ff7f67f69b4","datavalue":{"value":{"entity-type":"item","numeric-id":3821285,"id":"Q3821285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$DA0BD97B-BE65-4984-9194-442C10C31584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$5011661A-79C3-492F-83EB-1A64FBE2AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f060e7b86d3c3cd04ae2952a4ef249b9adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4186519,"id":"Q4186519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$87E34559-8E14-4593-81EE-2ED07619C796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bd19b298dcf92422307e1de01c048d92f92e32","datavalue":{"value":{"entity-type":"item","numeric-id":772008,"id":"Q772008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$268E96D3-8EC9-4C8C-BE44-AE22E47D53E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93831337e63c593c90251156968265c5e65fb99","datavalue":{"value":{"entity-type":"item","numeric-id":3986540,"id":"Q3986540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$59B8B610-740F-492B-AEBA-9EBEEF327F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$085BD8E0-5851-405D-83BE-4898AA7C72A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$685CD577-ACC8-4F75-980B-BDCB7CD06F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$781A70E7-CADA-4028-8429-A4A935065FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$44FA202D-BAD7-4D42-ACFD-0111D0F7AF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$8E9C6ABE-7B5D-48BC-8A24-D7B6FB649892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$0697C73E-5F5B-4D75-989F-C15E9A1D97ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$6A3256E3-779D-45E9-8C76-C1AC5CBE0943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b166763a6fbe376540d0eb64b66ab1a857db6c","datavalue":{"value":{"entity-type":"item","numeric-id":5718564,"id":"Q5718564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$F83134B7-E24E-46B0-A76D-390A74FC760E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$29BF7B21-BF7F-408A-ADF6-80F9605ECC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111326$4224CE94-891A-42B3-BA98-BD12074E3EC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac69bd146fb8ff269df3cd9a50e01ff0902db41b","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2017.28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111326$F2E36CD8-20BA-4B25-A5CD-9CAA71BAC051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"016dfe9a2c04b80078a7b6e0c9f34a1caf0093bd","datavalue":{"value":"W3021153996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$ED033725-8353-44D5-976F-31D342F2AE65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"721b7d0979fa9e5f0894f25729690f1d63a3bc8c","datavalue":{"value":{"text":"Models of Type Theory Based on Moore Paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111326$87F91D30-0DB1-4507-89B1-F971DED51C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e41693a37230c8a17fe8927c3d08989f78161ce","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111326$268AA09E-1048-44CC-8C7B-F95FBD9B4F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865a6e5047d99a9101dabf405fbaaf64ad4b055f","datavalue":{"value":{"entity-type":"item","numeric-id":4611383,"id":"Q4611383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc52932713ab2d2fdb71933eefdbbaab70248ee","datavalue":{"value":{"amount":"+0.99966162443161","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":"Q5111326$6412C8E4-F122-428C-BDC2-A9D246FDB571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e455113bb2ddc73b3470791df41d309562a1a1","datavalue":{"value":{"amount":"+0.7921285033226013","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":"Q5111326$6EC0C098-0996-49BC-87B9-88253648E21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3e700c5305fe154d0b81d36c4a64bc6fe36cf8","datavalue":{"value":{"amount":"+0.7748295068740845","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":"Q5111326$7FE5932C-2C28-447F-A450-91F6A9BD402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5b3b024ca93e3b3a3b55aceb7f5b2ced9e3383","datavalue":{"value":{"amount":"+0.7730239033699036","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":"Q5111326$417F7AA0-634B-411F-AB43-921150550A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a008c292a4a0078eb7c59765195a1545af34378","datavalue":{"value":{"amount":"+0.7729041576385498","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":"Q5111326$8DF724CC-4837-4E46-848A-EEB7E0E5C439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111326"}}}}}