{"entities":{"Q3735051":{"pageid":5764957,"ns":120,"title":"Item:Q3735051","lastrevid":50909582,"modified":"2026-01-15T17:18:55Z","type":"item","id":"Q3735051","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3967883"}},"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":"Q3735051$06C4B718-3842-454E-B7CA-ACF4E3F8590F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58626d6782f04450481acc1bd0d957c1972d474d","datavalue":{"value":"0599.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$3051ECC4-E06A-41C2-A3A3-7AEFF108120C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f116c104fd8501cd0b8f4b9f1940e06b14dad","datavalue":{"value":{"entity-type":"item","numeric-id":310163,"id":"Q310163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3735051$96DDE065-A531-400E-94D8-8E490BD45D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3735051$2618C607-D328-46E1-B0A2-5D2E6D370535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3735051$4BF001FC-2855-4AAE-B827-BA4D25867086","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$8828031F-13A4-4D3F-A69F-21FFFC93E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$B834798C-77B4-4840-82CA-87522E4D6ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$5C272F89-E6A9-48F9-A819-96DE5310C640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$906744A5-4B86-413C-ACDB-F8D82F0843F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"980fea653de989c45d39b1bb9d323171b7da0ed5","datavalue":{"value":"3967883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735051$7D327557-1C3E-4F54-8B2B-C7BA33D7F792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd598c8913ccdea87353916b74b7af83edd0f287","datavalue":{"value":"Assertion semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$A33B8B3A-6C12-4A25-8565-0E57DFB183D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9db8868b1fc14b46844832778d836062e97f588","datavalue":{"value":"Denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$F67CD9E8-344F-4A1C-B90A-03CE15F0D915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2038023a5506a7b4d1826a1316041157949cda3","datavalue":{"value":"Partially additive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$6FA82ACC-E7B4-4557-8975-61307477E118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$9C8B9133-D459-4904-8B0C-4F73290715AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d85073ff9ed86f319e94776696c7603d042c292d","datavalue":{"value":"Semantics of recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$D30AEC60-18A4-41E0-8C5E-B4D160499117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c1d90cb689b0b32e7c5e57edf0482ef843ff2","datavalue":{"value":"Fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$0D0B4614-1D47-4622-BE3A-DFAB41FD9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5361902cf62422e87f14898be2df07d1ca6b25c2","datavalue":{"value":"Data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$F3D9C87A-E104-4C5E-98DF-2BA18C3A92F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735051$B39BE548-BB01-4266-BF9A-B90524E9EECD","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":"Q3735051$C35337D7-97C9-43A1-964F-981D0EC2C078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9d005e9a3890927cfda946262dbae1c1460359","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03eba58c737afeb6a94b2e6f6265edf2eec56735","datavalue":{"value":{"amount":"+0.7878710627555847","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":"Q3735051$7B60BCA3-F4AA-4379-8A27-20572CFD5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea412605d5c6d8074df56c64607561cf0be092","datavalue":{"value":{"entity-type":"item","numeric-id":4353361,"id":"Q4353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece3994de23f16d2afe0e59df8c6488fe0102b40","datavalue":{"value":{"amount":"+0.7877232432365417","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":"Q3735051$FA8BF500-5EE2-444B-AE0C-845BB9ED07DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0bfb6e3321a91eb9e97e4f99c1a3c4dab633e5","datavalue":{"value":{"amount":"+0.7872177362442017","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":"Q3735051$6C918AE8-C06B-40B4-BB9D-5B7C5B804E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b2b54105026127cd5103768fc696f0c67219f5","datavalue":{"value":{"entity-type":"item","numeric-id":3707343,"id":"Q3707343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3be20de6fe3d19c180816feddf83335b5192ea","datavalue":{"value":{"amount":"+0.7824464440345764","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":"Q3735051$2E9283BD-081F-428C-968A-E6EDE0739E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0dc7500a5efc0a604dfe1470b5f1f00d5c45de","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97400c7e215de265586a7f81662f45e1bdfac5a","datavalue":{"value":{"amount":"+0.7808084487915039","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":"Q3735051$6CF1E5FD-A904-4DF6-A7DD-034E23080064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3735051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3735051"}}}}}