{"entities":{"Q3028333":{"pageid":3039049,"ns":120,"title":"Item:Q3028333","lastrevid":49090825,"modified":"2026-01-06T14:14:32Z","type":"item","id":"Q3028333","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016180"}},"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":"Q3028333$2AE0191D-D872-4F25-9C56-55D1E7BCB842","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d4f204d6a6fa4dd869311f5fcb664c731a9d7a7","datavalue":{"value":"0625.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028333$E92B6D06-955C-4093-947A-4F928139DF06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028333$4AFBF35A-C17D-4AD7-886E-3DF264A906B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3028333$F10B5BD0-4049-4687-ABD2-DEB4FAD591CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028333$7D160F55-E087-4103-B3AF-A6EC124A6605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e4395a5ef2c58e296c9654e7b67c8e7938ef52a","datavalue":{"value":"4016180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028333$90C9394A-83DF-490C-8662-7455811D63B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60616e290b2291ed9d08f65134eff3e4384f1ba","datavalue":{"value":"algebraic abstract types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$5C4C8EDD-B018-46C9-85B3-E07E08AA6298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7a09ff5b97bc64d40bd2b88518dd16c80ecaee","datavalue":{"value":"conditional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$BB3A5937-F4B0-44E5-BA9B-1AEEFB70677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$74A94C2A-45E4-4920-9DA4-232EF9E326ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8ac2501df6468a2178968b7973c716bb9217e5","datavalue":{"value":"definedness predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$75297780-6399-403C-81E3-F3262AC709C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0809bc3a1f16d7b6e6dd2b1567c954bceacd5f","datavalue":{"value":"hierarchical types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$612DBFE4-5D32-4965-A7A4-E44787DEA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$F2E6E010-A80C-4C28-A966-1525E354AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576fb68dde8d6837cc6dc32abcfc841fd4e8abd2","datavalue":{"value":"partial interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$CFD3173B-1880-4A01-ADE9-94F0828F7E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c813a74274efdc57b01528cd39fd35c5dd1d81","datavalue":{"value":"Deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$E7B54039-15C0-4B42-91CA-81034FEB0071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"039310013fa8f9422561952ff2736b97e99c5c56","datavalue":{"value":"higher order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$2F8F36F9-76C5-47F5-949D-B83BB7C8ADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fac9be8a9a692cb98bb09e68c1fdfc455a8b96","datavalue":{"value":"specification of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$DC82B17D-6FCA-4540-8173-944063AB36CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b137e51676482699481966a64706e8f111502c90","datavalue":{"value":"implementations of algebraic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028333$0640B1D6-9EEF-4B7B-A2EC-E30B44EDB627","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":"Q3028333$72A88F56-C7C9-438B-BF2E-F6A4BC07F7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105ed4cc62d9941d898f9a1461df34b8c0f49b35","datavalue":{"value":{"entity-type":"item","numeric-id":1102736,"id":"Q1102736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e63bcad6783690486c7997b625313da51c76f5","datavalue":{"value":{"amount":"+0.9943206906318665","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":"Q3028333$32270156-358E-4116-BB22-339D5C4C37DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c98732784dbc0818d9328bdc4d52c6759bacd25","datavalue":{"value":{"entity-type":"item","numeric-id":3750112,"id":"Q3750112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da359b02080a10285de2f061b30fc1c2b0c9de6a","datavalue":{"value":{"amount":"+0.8994777202606201","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":"Q3028333$45C0C6B7-8BAA-408C-8154-9248BB96D2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a98fb6bbc79caeaea167f24c3ac96d6eaa12086","datavalue":{"value":{"entity-type":"item","numeric-id":4035228,"id":"Q4035228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09a5b20b8013f549839b07cb2b3c2677da71a81","datavalue":{"value":{"amount":"+0.8156124353408813","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":"Q3028333$74938E39-E09D-4A7D-8B54-8387517769B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c076049921ba69fdc841933c89532c018c305b6","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b9e1c597e421743f0808c0692c0c7aa062d2a9","datavalue":{"value":{"amount":"+0.8147521018981934","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":"Q3028333$CE542670-D0CC-416D-BA06-6CF869BB8EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb720330f278919ca46f0366f42e48d51f3cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1057642,"id":"Q1057642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a4d8dc07173776d2eecac1eb8785ac7bab5b4","datavalue":{"value":{"amount":"+0.8136267066001892","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":"Q3028333$9B6BA2E5-6044-4EE2-9628-67C85E28EE9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028333"}}}}}