{"entities":{"Q3673095":{"pageid":5703001,"ns":120,"title":"Item:Q3673095","lastrevid":49982065,"modified":"2026-01-12T11:18:50Z","type":"item","id":"Q3673095","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827194"}},"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":"Q3673095$4C3637B6-2425-497D-A74E-630DE49B3269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3af12eceb01e9bc2376de177f5e72cdc31584b14","datavalue":{"value":"0522.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$7BE4FC52-65BA-4278-90C8-ADF4DC806D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673095$7948CCA1-1929-40C5-B974-993597C49092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3673095$EA391C4E-57DA-4E96-9F41-42350F723ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$54F259D8-A942-448B-A00C-3C725621BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$55A4369D-743E-40F3-B12A-1CE20405B668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$6987CAAE-AC62-4848-996E-306339FEA741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$AFC8072A-8AB7-4CC5-A751-991CD592326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$4ACF6A39-D2D4-4B5B-91A7-B0021F336983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$04BFCAEE-B74C-4FC2-8AEA-A5CC8EE11374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$703A251E-FDE9-4727-B864-704CCC50795C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"328f071579ed9c25119450d935aa0e840b0b2def","datavalue":{"value":"3827194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673095$1746F1F5-1DCD-4AAA-928D-7B314768F7A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$A71326C8-3532-4D99-ADE6-FB63AD2805C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0a6293485b27fc5e87a03cda15f9aa823acf6a","datavalue":{"value":"higher-order function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$5564147E-1C1C-4585-AD3C-5CF9F81EBAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f86f4cdbadfdabd40bc54221228438247c8358","datavalue":{"value":"course-of-values recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$7142A4B0-9DDD-4C91-8C14-31ECD61C171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbea74bea78fb379c705a66bfbc4d6cf8cdd3408","datavalue":{"value":"quicksort","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$E14C0504-F60A-4E64-B20B-45B76CAF82C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$08BC63A2-0295-4F1E-87F1-E3CE4AC9B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673095$03828557-DB25-4F81-84A9-F3C409E891DA","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":"Q3673095$97DE254D-7CB0-4D5D-BA98-1966F7A53167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673095"}}}}}