{"entities":{"Q3345752":{"pageid":3356460,"ns":120,"title":"Item:Q3345752","lastrevid":48760183,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345752","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880082"}},"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":"Q3345752$CD39D8F7-5542-4FC5-8B58-2A4BD2AB7140","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b4f0f3040cf6bf78efeb527e8d89ea6aad21fc","datavalue":{"value":"0552.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345752$643746F1-A805-4A02-84FB-B7FE05A4F038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48acc9bc356d9816f068c98eeb4810b85e851886","datavalue":{"value":{"entity-type":"item","numeric-id":757076,"id":"Q757076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345752$00176A65-1145-41CF-B9CA-6D618CC7FFA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345752$8002852F-250C-46CF-BC11-EF2BA463FCC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345752$C03D620A-E16A-4CA5-BDCE-542D7AA544D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"622f1606de35da6e76771b42cb4e963192e37aa8","datavalue":{"value":"3880082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345752$93A77772-2DB3-48D2-AF16-D57250500DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345752$F59C3856-10A4-4A54-B724-34EE9D7F2CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345752$7CFD32DA-720D-41F0-A4E4-BBF3164B0C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e99e3c9822a1f77cf95fbfaf72e171a6db26e94","datavalue":{"value":"parameterized data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345752$F189899E-6F53-4B93-B3B3-428F736FAE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345752$B696EC94-62F7-49E1-80B5-2EA0E6143ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345752$A324E8DB-B193-41BF-88FA-E4AE687BF7EC","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":"Q3345752$F5D1B442-E647-4B89-9E7C-535ACC99FB5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c9e401f82b7e9075856b22a2d8cf7cad2d16ea","datavalue":{"value":{"entity-type":"item","numeric-id":3341873,"id":"Q3341873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cd56cbe2c0ba9914e44fd456cd3540df271e3d","datavalue":{"value":{"amount":"+0.8614626526832581","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":"Q3345752$0C7ABE82-DEFB-4145-A886-D808878DF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f393988d2f3e5cae05c8f269254361f3f38bbc1","datavalue":{"value":{"amount":"+0.8327517509460449","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":"Q3345752$7370E442-A84B-4F02-81F3-5D6C3B8A8018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6886e20fbff884b13bbc4f7c960ff6a1dcc514","datavalue":{"value":{"entity-type":"item","numeric-id":1111364,"id":"Q1111364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a656268d338aae05e2aefa98e9ccdaaaf206fcaa","datavalue":{"value":{"amount":"+0.8298221826553345","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":"Q3345752$27051B5B-DAE1-4299-8AC8-BAD991E293CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5b622ad60151b6f7a6056b88c169a2d1b5b848","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ce8ad650def791315bd698f8853984051172da","datavalue":{"value":{"amount":"+0.797781765460968","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":"Q3345752$E2E23439-740B-414F-9FA7-4129745CE4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0629abc93a55b58aa569134018ad6319a4c11715","datavalue":{"value":{"entity-type":"item","numeric-id":4207566,"id":"Q4207566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb64513c9f90c3d92d630c319c0fbcad514f3a9","datavalue":{"value":{"amount":"+0.7941838502883911","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":"Q3345752$71EB9945-944E-4443-B0B3-6EC9933ECBD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345752"}}}}}