{"entities":{"Q3852154":{"pageid":5882059,"ns":120,"title":"Item:Q3852154","lastrevid":54526604,"modified":"2026-01-27T23:32:29Z","type":"item","id":"Q3852154","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3652303"}},"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":"Q3852154$DAF6BB63-D216-46D6-991D-6632595401C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c22056d94e593b84430629d7f500ea450499ac2c","datavalue":{"value":"0419.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852154$29DEFD93-F57A-4001-8FE4-326A10AD8F56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3852154$7709BA80-E482-4798-8BAD-715F7702AD0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3852154$707456C3-3965-47A9-9E48-DCA511D62FD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852154$CBD3871D-5AAF-4C51-B86E-D0DFBE0FA650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852154$D163686F-12FF-4AC6-A8EA-C136C56F2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852154$3D95A327-3A95-4C5E-911F-5AFDE3350D93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe6e1decb070de0206d54895829db063e3904395","datavalue":{"value":"3652303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852154$B3981815-85E7-4E70-A5FF-00BFB582526A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c1a060f9943c17c152b1f75602d4244601a8c2","datavalue":{"value":"many-valued Post logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852154$424B8DAB-13B8-47A8-986D-24607189B2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e42183867ccae4135fabffbcc4c4af79c213e45","datavalue":{"value":"theorem proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852154$DC5AE356-716A-4630-B3A4-760639C531F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e96c5c180aa2b4d4f17f62e154d69280e2616d","datavalue":{"value":"resolution system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852154$09E152B5-286C-4327-9C0D-4A20967647D2","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":"Q3852154$4E4FA1FC-87B1-4948-AE7F-03B6507284EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3852154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3852154"}}}}}