{"entities":{"Q3673157":{"pageid":5703063,"ns":120,"title":"Item:Q3673157","lastrevid":49988431,"modified":"2026-01-12T12:12:50Z","type":"item","id":"Q3673157","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827253"}},"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":"Q3673157$777B8EC1-2C31-4858-895D-EF02E78591AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fe6bd7863cdad67247ce57655e19f06113f47cf","datavalue":{"value":"0522.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673157$531B86BF-9704-4A31-A6D8-24DF3C9EDDA2","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":"Q3673157$DB4391C6-C742-4ACE-8556-5EC13F27D87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3673157$B7D05931-18E6-4255-A3CB-91AEEE1E816E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673157$0E4CD266-E112-4513-811F-7F979E1C5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673157$88456067-65C2-4F7C-B8B5-BC01F56EDC88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfa8343f8a531f4f7dfc25907cb2cc382743c425","datavalue":{"value":"3827253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673157$2018F621-5EEC-49F9-8661-CFF4A4E62C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c487aea12a1bd2d9062badea19773c84fbcf4df5","datavalue":{"value":"Gentzen-style deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673157$70A351F2-FFE1-4AA0-832B-52E27D2F418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcd551022fcaf7f4d043970231f166218312ea7b","datavalue":{"value":"dependencies of attributes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673157$83FDC346-F630-4273-8269-85965B9D5234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673157$473A3C6E-431E-4FB8-8806-C8D7758821C4","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":"Q3673157$F79B2D7A-3391-4E06-9906-54D76983113D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673157","badges":[]}}}}}