{"entities":{"Q4611383":{"pageid":6640966,"ns":120,"title":"Item:Q4611383","lastrevid":53323745,"modified":"2026-01-24T17:53:39Z","type":"item","id":"Q4611383","labels":{"en":{"language":"en","value":"Models of type theory based on Moore paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003197"}},"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":"Q4611383$C2ED010F-0112-40B3-A4C7-5CAEBC12DD25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd0ac8c568f968864bb84e842006f0d257c39e01","datavalue":{"value":"10.23638/LMCS-15(1:2)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$232B1A64-F225-4CD6-928F-F00112D6A1A5","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":"Q4611383$E6585214-A6FB-478B-BDE8-DCE8DC886235","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":"Q4611383$F3FF0149-FE9B-4DB0-AE76-65900F8BDE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-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":"Q4611383$F89B03E9-93E4-4283-A40F-494DDD191A62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a05785db37e262cf9a6d26c33adc90ad96180b12","datavalue":{"value":"https://arxiv.org/abs/1802.05629","type":"string"},"datatype":"url"},"type":"statement","id":"Q4611383$F71453CE-51FF-4E88-A073-0AD91CFCA26B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$9AB371BC-AE32-4534-9E66-56A608063EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$E5794EFB-4C03-44A0-82EF-FA31D45148E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$F2A5F99E-E6DD-4D2A-BBF5-0083344EC35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$313BADC6-A7AE-477A-AE67-51994F4E70FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2043a15a7ecbcd04ee7ba14eeb70ee709625510","datavalue":{"value":"7003197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611383$B8A07A1B-7D12-4692-8C37-073C3011314E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611383$427F05FD-6928-4599-951D-125DA5EC798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611383$AC09A820-40BF-42A1-83AD-2AC9924B9E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02595d5a1a1ca7ae5ca9b256bb786c92cfc41ed","datavalue":{"value":"Moore path","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611383$0EDA88E5-5869-4E93-93D0-638ED5039931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611383$B48E9728-6E61-4702-9F24-424A513AEF30","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":"Q4611383$1E9D1DB9-31E8-49A3-9F51-D1F2A0D88ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70ecc88dbe8ae0b3981f98a8d0dfe72c1cf716a8","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$36389CE8-7829-4BDE-A50B-A6329F476AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$B1F26AD1-4D3E-4F01-B7DA-382AE14570AD","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":"Q4611383$61BD7699-FBE6-470A-B3BB-77EE112B4080","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$40EA7054-00C5-44E3-9E3E-C0A46F64F223","rank":"normal"},{"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":"Q4611383$E9445286-D5FF-4243-BDB9-8D1F7AA4DFBB","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":"Q4611383$90AE3894-D48D-4B4B-8E6A-B7B882FC992A","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":"Q4611383$73ED0EC2-AB03-4D63-B0CB-53CE3EDD8284","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":"Q4611383$F26DA5A6-D4CC-4FCF-A777-D533E6D82CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$573B70AF-0BC4-4972-8F8E-7BA4BDC94884","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":"Q4611383$CD4FC7FD-668F-41C7-802A-E6DCF195214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$0F6A84E5-5160-4F50-8AE7-BE89B477335D","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":"Q4611383$ABE2A835-D2CF-4D97-B848-43711AFE3D8C","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":"Q4611383$5CA19917-69C6-45E7-8237-4A7EA878A624","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":"Q4611383$E19D8413-BDD9-4534-AEA2-6ECD9B53B4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441f18107b2a62e3594a6223410af9d2680a52b","datavalue":{"value":{"entity-type":"item","numeric-id":4993352,"id":"Q4993352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$7E323191-F492-4A0E-90AB-F5D783D40907","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":"Q4611383$E7B57474-39A5-4D8C-AD45-D93FE688D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$115CD054-BFB0-46AE-927C-34270EA8205D","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":"Q4611383$A6F6345C-00D8-4DC3-B786-84C4651B09B9","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":"Q4611383$3944FE37-98F2-439E-BCC6-82C6734D667D","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":"Q4611383$C93A8B10-0EDE-4600-BCED-354771D8A630","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":"Q4611383$CF50326C-2865-4685-B0E3-CC00AF78ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d71d26e466e0e250d946a4995d441465f07c4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$A45F4F87-18A7-40A6-A814-699788FB784B","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":"Q4611383$E705A75B-B444-4E35-9DE3-ECC1F30E85DF","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":"Q4611383$82BE74E6-7475-4EC3-B687-E5D7A4987C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f109e9ff99438a83185c90c88765685d87d734e","datavalue":{"value":{"entity-type":"item","numeric-id":4581462,"id":"Q4581462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611383$915F4AA6-AD73-43DB-9335-267076CE8D65","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":"Q4611383$E4078E0D-7923-4B09-8162-0C512E5C3934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971e0371525fb13151927a3ba296e75a5d483e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5111326,"id":"Q5111326"},"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":"Q4611383$B37EC69D-4EB6-46A9-83C8-DD9DF258C351","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":"a269c031f8ffc26ca21152895c67f9632f4c29c4","datavalue":{"value":{"amount":"+0.7891783714294434","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":"Q4611383$C120FD5C-44AE-4A4C-984E-68A7625D446A","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":"4fcbe8c31eac0d5b94f084a3f83d5487559f7b2c","datavalue":{"value":{"amount":"+0.773288905620575","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":"Q4611383$F8F64456-6B91-4773-AD9C-576BDAE33B6F","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":"a1ac54d5403677b613dbfe73d7d7098f527ad072","datavalue":{"value":{"amount":"+0.7701733112335205","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":"Q4611383$F42D22F6-4434-40BE-8E67-453D79178689","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":"0fb7846dfc20358e1d19a4fa388ea556d9dddc14","datavalue":{"value":{"amount":"+0.769197404384613","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":"Q4611383$5D7E6D7D-0DC0-4C14-AEA9-6563F7980B0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4611383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4611383"}}}}}