{"entities":{"Q3702502":{"pageid":5732408,"ns":120,"title":"Item:Q3702502","lastrevid":50469287,"modified":"2026-01-14T03:24:01Z","type":"item","id":"Q3702502","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928338"}},"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":"Q3702502$8D0F4F5F-AA64-4536-8CC2-00C46A89E3D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e3c35fa69940a571327cc00ea486cc211fdeab9","datavalue":{"value":"0579.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702502$ACFC3CA5-DA30-43F7-A81C-D0D7C0A537D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbac4d6f1bc2eaa5fa96e72d560d8dc56d2bf3e","datavalue":{"value":{"entity-type":"item","numeric-id":2639841,"id":"Q2639841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3702502$CE28933A-D807-4BC3-9518-2036013366DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3702502$0E629C13-5A6C-4386-A264-24B425D1AACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3702502$49A29588-ED4F-4079-9AF5-185C910855AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702502$7F4FD98B-1E09-4763-A880-E0380670C8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702502$90191663-7462-495E-A3BA-9871EA07CE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702502$33CB4EF0-EB62-4853-9428-1CAE50442D50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3aec06701880f1b3e23c9f849b88c129229249b","datavalue":{"value":"3928338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702502$106C427D-ADD3-4A93-9434-5D8F74622ABF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$189FD496-3495-47CD-B54A-35C53D6FC616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$2B80EC46-3175-4BE8-B57A-416582B3494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bfca68abdfead5c843a1d52e0d48e316de92b2","datavalue":{"value":"domain predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$22BB5314-F389-45B6-AFCB-1643B93BF6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fce3805c160d1a94b863ef882fab9936b37cab3","datavalue":{"value":"total function-space constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$430787C0-4E15-4878-8575-846C401AFA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01393c2903990fa1429461ef0f576a0ffd17c4a8","datavalue":{"value":"partial function-space constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$61D27E0F-F874-442F-A16C-468280D902A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2bd350d1e6ac3395e287e32906c4b67253ece1","datavalue":{"value":"reflexive types of Scott's domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$061DCAC6-E02A-468B-BFFC-41326E251213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702502$881C25D0-8066-48A0-A788-236748EDFF91","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":"Q3702502$68A17B0B-FD3F-4A89-8FAE-F727B19F325A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdb9c26432b4c50f1769e1349b5611bc8643e65","datavalue":{"value":{"entity-type":"item","numeric-id":3543653,"id":"Q3543653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525f18b63ed307f91606d7f08e3a29fc184ae7e1","datavalue":{"value":{"amount":"+0.8457463979721069","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":"Q3702502$D87ECAB3-53E8-4AF8-B1CB-62F83842F01F","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":"66ff0ca9451d2a98262f83d81c4ac67e7e8c8b45","datavalue":{"value":{"amount":"+0.8021550178527832","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":"Q3702502$D4C90F35-77A6-4A22-9D1C-9E5A957F00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60fcf19447e420a5e704897404d2c6dbf3929097","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77576716c63c4345ba834f6aad0d6510e884f123","datavalue":{"value":{"amount":"+0.8019387722015381","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":"Q3702502$77AE062B-910E-4BF3-804F-DCFD7F3309CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed05abdbc12c71e1d11144d7a8c255e64568679","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4afde75b7b0437a05b1dab3cf1ab7d01b863f7","datavalue":{"value":{"amount":"+0.7918110489845276","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":"Q3702502$198317CC-6D90-45E7-A8F8-296DEFC9BDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3788954786bb5224a00826baf10f48dd927c1ab","datavalue":{"value":{"entity-type":"item","numeric-id":5898846,"id":"Q5898846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea591e9acad4bb95ccc770c5c9053ac5ac2b95f","datavalue":{"value":{"amount":"+0.7896677851676941","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":"Q3702502$938A7B26-CC50-4584-8A27-8B6C6636C737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3702502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3702502"}}}}}