{"entities":{"Q3962973":{"pageid":5992878,"ns":120,"title":"Item:Q3962973","lastrevid":55116130,"modified":"2026-02-03T20:04:50Z","type":"item","id":"Q3962973","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784848"}},"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":"Q3962973$13AFF7D7-B0B1-49A3-9E00-69FD806BFE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9434bc85249fe9a111d9e30f87c75b4348d7c55","datavalue":{"value":"0498.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$EDE2972A-E812-4410-9FA3-C474E98AD534","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962973$06AEC616-4F1C-4CC0-A34F-6A03027A2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962973$CBE321CE-FC13-4E66-B691-EA76ED03E9AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3962973$C0863B15-ECE6-480E-A89C-C4EBD9B528B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$559782DE-FA8A-4E81-989A-18C18675F884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$8ABC53C7-61BA-4E88-918C-A2D8F1438BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$02757DF6-302E-433F-8F09-1A2452CBF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$894EDB61-9D74-49BA-B4C6-E445373BD4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$A8C2A992-4A1F-4669-8488-4A3D1B7CCC8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d792097b3146700c92853fbb75fbdcab29bc9774","datavalue":{"value":"3784848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962973$CA076B5B-CD98-4FD1-8B1D-42B376144DCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962973$39C666FB-3FBA-48DC-AC2C-4376286A765D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962973$F16C1663-0B45-4BFF-A3DB-DD4AB5FD53BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962973$2618AFB1-8900-4934-9BD2-4C4D69B96B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac1e37451788fe65955fa81ab7e8a7e6b1a6c28","datavalue":{"value":"rules of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962973$7C1D9172-FF95-4BAD-96BB-A9EDCCACED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962973$AF082A74-69E1-4ED3-94AF-BF5F6F353F0A","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":"Q3962973$1AF2D465-4FEF-4CFF-9AC7-3460A487F81E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3962973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3962973"}}}}}