{"entities":{"Q3507459":{"pageid":5537363,"ns":120,"title":"Item:Q3507459","lastrevid":50389295,"modified":"2026-01-13T23:01:35Z","type":"item","id":"Q3507459","labels":{"en":{"language":"en","value":"Recursion on Nested Datatypes in Dependent Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291061"}},"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":"Q3507459$36C05687-E606-4DF5-8B5A-B66954458C32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e645cc6e69733855bf5d5f2f4d689afe2e05b54c","datavalue":{"value":{"text":"Recursion on Nested Datatypes in Dependent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507459$42B7B6DF-3E20-4D4C-B997-723856DF8952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf45d429e8b95ec89c02a026e8bb72c04792b3b9","datavalue":{"value":"1142.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$58474236-9F29-4918-A755-DC10B6913FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee9695cb3a2595306ffd3aeb761d337987a5204f","datavalue":{"value":"10.1007/978-3-540-69407-6_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$17188227-D614-4037-B080-551F62C6FF35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507459$5A18F073-8D55-4133-A22C-464916685268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507459$E1236E65-CB0D-43CF-A670-CE27791F16FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507459$E13ED321-039D-4899-B139-6C1F371B0310","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$01F80D90-DE00-4180-A11C-23B437DCA7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$14C641C1-13C5-4DA0-A1BC-CA42D5F62374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$2851A164-4D9B-4F22-BD46-8C07868FF40D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bc66dc48cbe80e0b02622e684a40048d6060ee","datavalue":{"value":"5291061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$5D58CF73-4085-4AE7-A300-A91E76041521","rank":"normal"}],"P1463":[{"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":"Q3507459$8367D988-0F63-40DD-A2FA-41953008A110","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":"Q3507459$CAB48181-A601-49D7-A2CA-90D85B3CB07F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94541a3d67689178a043a3b85ee16c248505581e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69407-6_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507459$C8B7265F-5B28-4AB1-8353-B9A763A07511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ceb83c08519beb3a3b4ad377125ebdde51195e2","datavalue":{"value":"W1876613152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507459$14063D5E-945C-4BA6-BC79-42EB5C9D44BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96e5ab9adf8e1f1051043588a3b7b879c09e039","datavalue":{"value":{"entity-type":"item","numeric-id":3638923,"id":"Q3638923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4a85cc4a96d045c9e51df40ee69f0a0d5db733","datavalue":{"value":{"amount":"+0.8676188588142395","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":"Q3507459$2DD41827-02C2-4E26-92C8-97B480B043F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b78ba281286c1cc0ddf52fabe91d14b7284261","datavalue":{"value":{"entity-type":"item","numeric-id":3521990,"id":"Q3521990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410bbf5effdb3fbfe98ab1b4b9e16370db47f3ca","datavalue":{"value":{"amount":"+0.7866817712783813","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":"Q3507459$C0F5C67D-5483-484C-994F-483EDE8990E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e96a75c638ea07d906709b6f3d72e0361a09eb","datavalue":{"value":{"entity-type":"item","numeric-id":627204,"id":"Q627204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78686173198aa4a51a194d82daec982b34102018","datavalue":{"value":{"amount":"+0.7742354869842529","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":"Q3507459$9448B043-F39C-4F4A-8076-6C0718950265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8481af880417872a6aa16122fd2b04cd7ce47b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06de3aea6e1ecd5f06abb7218ba743ebf3b1062","datavalue":{"value":{"amount":"+0.7527920603752136","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":"Q3507459$F3D942AA-D2EF-43B5-8BFE-2C85A7C65244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2ba6ee72104615b7ad4b032571ed355feaa4ed","datavalue":{"value":{"amount":"+0.7456498146057129","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":"Q3507459$B4AFF1A9-DA4F-4F0D-B459-D50960FA7E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507459"}}}}}