{"entities":{"Q4194954":{"pageid":6224555,"ns":120,"title":"Item:Q4194954","lastrevid":39414609,"modified":"2024-12-29T09:30:31Z","type":"item","id":"Q4194954","labels":{"en":{"language":"en","value":"Assumption Classes in Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3634251"}},"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":"Q4194954$4C13D5FC-056D-4B5E-B1F8-C19FB5865AEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a699112769e11c78556037bf857850f0a78ab9e","datavalue":{"value":{"text":"Assumption Classes in Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4194954$DDFA5A97-FE74-46F5-88E8-1B5380B91B21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b68eb25b8d29f14cf48a868473305ba5ca24e0","datavalue":{"value":"0408.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194954$708D3404-EF7D-4F5A-807F-B56F97C20875","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194954$2F7E8CBB-A7C0-42A1-8229-81AA7AAA8A21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194954$EA7E5AB0-2705-4AEE-824B-9ADAAE0D2DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4194954$2B428141-852A-47E4-A932-A57EFF5F7895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194954$9FE50363-554B-484D-9627-00D9ACB0FCBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"563fe3c7dfde53b0e0867a3ce9c372cb432aaa28","datavalue":{"value":"3634251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194954$9CDF7982-FAD6-47D3-953A-0295A0F8B34E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1a2f67f4de846b7b9f057eaf5ebbfadf3454bb","datavalue":{"value":"Natural Deduction Proof System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194954$B7B4AFA0-D936-479F-95EA-9AD7E6241E52","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":"Q4194954$E6495947-B7E9-4F1B-B138-088185E3681F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4797ac6067435586da8b6d1ad3ae02145d2303e","datavalue":{"value":"https://doi.org/10.1002/malq.19790250102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4194954$A9D59B93-E5AF-4E92-BF98-7F2CB4BC63B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15fe7a92a2de03878d59df107268764af9c3da12","datavalue":{"value":"W2054162580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194954$11F8BBC6-CDF7-416E-824C-1E7B4E9C6834","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5d73231740451e67ec30dcd4715d2cceab16861","datavalue":{"value":"10.1002/MALQ.19790250102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194954$B31031F4-2CBE-4F4A-8F05-57944B4A3B9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4194954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4194954"}}}}}