{"entities":{"Q2743705":{"pageid":2754444,"ns":120,"title":"Item:Q2743705","lastrevid":47676625,"modified":"2026-01-02T09:58:54Z","type":"item","id":"Q2743705","labels":{"en":{"language":"en","value":"Simple general recursion in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652522"}},"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":"Q2743705$1784538C-1BE3-4FCA-B1F7-8F626382A164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a15e47d2ff729146081e3bda98e410436f713711","datavalue":{"value":"0978.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743705$82FAD66C-D81D-48A2-ABB7-11FC54646707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fa8ed1a432c4af2ca647b623e8e3f5c6fe6565","datavalue":{"value":{"entity-type":"item","numeric-id":1744409,"id":"Q1744409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743705$0443717F-0639-4FBB-A900-95CC6F0159DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def0cffebab58f04bd345066e6bd772a76144df6","datavalue":{"value":{"time":"+2002-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743705$9DCCEFAF-71C7-484C-94D3-A16D9BEA2B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743705$FEFB8A02-B587-4B5D-ACE4-9FD05F714FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f21fad292a7103976f630012ddd5e9a9d085a15","datavalue":{"value":"1652522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743705$31DA920C-5225-4555-B775-5EA311B39139","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743705$5CBF64AB-47BF-4B5F-B655-B172A82318A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d407bd64710dfb966fa716b52cc10e934ef2f8de","datavalue":{"value":"general recursive algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743705$E6A59BAF-0186-45EE-822D-A196CCBF63EC","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":"Q2743705$F3336688-4F2A-42B5-B14D-EA18693EE8F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d3bc942ed847e3442563cfb1fbb8b3e1a230c34","datavalue":{"value":{"text":"Simple general recursion in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743705$57C880BD-80FB-4569-B657-079049A99CF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a561326982c2f0bf83bfa2bbf02aa2915ef1e187","datavalue":{"value":{"entity-type":"item","numeric-id":6768200,"id":"Q6768200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743705$532DFD66-15D8-4621-B6B4-43B9FB32B347","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b5a1842975a4d188a8c6221e0c6b1e5ae1eda8","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbcf9d82e11fead9a7b519e25ec92f484c44966","datavalue":{"value":{"amount":"+0.9182853698730468","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":"Q2743705$1C278F6E-FB24-48D1-A8F1-7F96371F3641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c748104eb3995d0a85c8412ff5ccc1c41eacbb3","datavalue":{"value":{"entity-type":"item","numeric-id":2805150,"id":"Q2805150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda9f255852f6e3ed111b1ea57484683e76ee02c","datavalue":{"value":{"amount":"+0.9158802032470704","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":"Q2743705$E7C451A6-E0B5-45FD-8A59-58B890D3A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25126908f0f288917263d4e3a85ff29d23562da","datavalue":{"value":{"entity-type":"item","numeric-id":5697711,"id":"Q5697711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ae36feba7fc4d92bff2c05e35c8ebf9daffff2","datavalue":{"value":{"amount":"+0.887883186340332","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":"Q2743705$1BC3DD5A-39FE-4D99-904D-22DF73F4771F","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":"61a4f4bffa28298aad2b968f01b33ede4457b2ec","datavalue":{"value":{"amount":"+0.8681413531303406","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":"Q2743705$B3F5C842-AE5B-4D2A-B778-1A5AB8480783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4073bb66133270012c54d19f440349e79b5f83e","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921c0897ee04691fe7ad04d107e023edf488fde8","datavalue":{"value":{"amount":"+0.8213923573493958","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":"Q2743705$BBB65705-1970-4F34-9C58-E5192C184EA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743705"}}}}}