{"entities":{"Q4032538":{"pageid":6062273,"ns":120,"title":"Item:Q4032538","lastrevid":55236610,"modified":"2026-02-05T04:21:08Z","type":"item","id":"Q4032538","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149873"}},"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":"Q4032538$5382C938-EA36-44E6-9257-A1D07223849E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b4df850d159d74041982f6c2a05fca804c1d214","datavalue":{"value":"0787.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$5FC350A4-FEFF-4CBE-B1F7-C0834204E19F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032538$D7FAC93C-371A-4867-80AA-4D789A9157FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032538$BE2D09B3-2943-46D2-9A26-E0DC8B25DABB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032538$C76D040F-80C7-4EA5-84B7-E8E640B2FBD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$FBA4E86B-539B-49A0-AAFE-CE3177D21137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$5E779B40-96B9-4230-9A1C-FC0CB80AB381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$BD144F24-D86F-475C-BB36-D365D461D114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$0FB77C55-6AF2-48E3-B9C7-70E4AECA769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$3DEDE39A-7D31-4536-B8C1-CC7DE45B4257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52c48f35bf7df23b08370b2cb2e720e6b7767094","datavalue":{"value":"149873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032538$B1D85ED9-2FA9-4397-9EEC-E38E00620FDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db524ba5c05b265f6b56c138e47fd049cad015f0","datavalue":{"value":"Gentzen-type sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032538$B8F08DCE-D884-4303-9216-8C6DDC243E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032538$7AF52CE5-6F26-4B47-8B26-E280E8EC8F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98b35de6a3c9ffef499d4cdd9d76a8ac82e0417","datavalue":{"value":"free BCI-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032538$CED73019-B4E0-4CF6-AA52-603611C554A9","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":"Q4032538$C38D0EB1-EDE3-47C9-BC86-220F994C77A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032538","badges":[]}}}}}