{"entities":{"Q805615":{"pageid":807463,"ns":120,"title":"Item:Q805615","lastrevid":42704199,"modified":"2025-07-08T16:22:28Z","type":"item","id":"Q805615","labels":{"en":{"language":"en","value":"Automated reasoning and nonclassical logics: Introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204347"}},"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":"Q805615$C29D8596-22CF-4D28-B4E6-BF410BC72E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cec478d752e236a6b55fdc906e7e1e6080d3a57","datavalue":{"value":{"text":"Automated reasoning and nonclassical logics: Introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805615$B25A4AD1-11FE-44D9-8D9C-E1AAE1D9B84E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"547fde105b83f2927c9752db7b0b692debce5430","datavalue":{"value":"0729.03505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$124E8564-DD60-44C6-B500-DAA4E76939A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3979c74367944bc1804a774bcb95c26576db610","datavalue":{"value":"10.1007/BF01880323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$7E14DF3D-5181-4D9F-B49E-4A775C059984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f452dd10475ed326d4c41dd987525617da8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":805614,"id":"Q805614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$1AF8855C-A1A7-4C72-A401-ABEB5FB81D55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$2407B726-502E-444D-97E4-C242F053A2B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q805615$65CC31E7-401C-4D98-8C8A-E4A11413CA96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$B7388DB9-B286-48DA-ADF1-48719350ADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$1823CA26-F925-4835-A7B0-CEFF070831E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$B54DAB4F-B6E9-479D-8EF3-EB921AF11325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019aae4aa74425766d3a6259cff074b7352e7830","datavalue":{"value":"4204347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805615$6813BE6E-97D0-413E-877D-C2D35ED9DB5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"777f85a0a040febfffc982e865f29a54b701da97","datavalue":{"value":{"entity-type":"item","numeric-id":24406,"id":"Q24406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$E5AF5C08-B983-4741-A825-379E87B1FF3B","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":"Q805615$D1269ECF-AA7E-4760-AC46-C822E8030BA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$DADA5A43-DA13-4430-A913-D1BDECB716C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$10FAF201-0AFC-47B3-B25B-212BD4A2B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41f7fc62160a4bb7ab64d6e9e384111c6c36bf","datavalue":{"value":{"entity-type":"item","numeric-id":3281052,"id":"Q3281052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$3DB5C4C8-AACB-4AF8-980F-5C4B832BBBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c7650d39ceb99c2475c368ddc9c8251cfa34bc","datavalue":{"value":{"entity-type":"item","numeric-id":3795648,"id":"Q3795648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$F3A1FFAA-23A9-49C4-8E34-DAE834B18BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b014d22707f25960e8bd454fb167f27730957d89","datavalue":{"value":{"entity-type":"item","numeric-id":5606566,"id":"Q5606566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$3619E826-4111-4353-AD4F-F44223A89ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0f5d8160663dcf3896a10288f16c979160b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4095908,"id":"Q4095908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$D74B8102-3831-42E7-B82C-2F7637C81974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$E6B5705B-D3FB-4B22-969F-C3DAA9F5C3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad02d802f98c584b905e9a5a5f372d341f4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$C5B82F6B-A353-4B9A-8422-278BC09CE064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$F6F47C98-519F-4F60-991C-D2F85FDCB9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819d4675109e6b217ccd74e1505076f45ab18a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3781679,"id":"Q3781679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805615$BAF06E36-685E-4D65-9971-F3C6647285A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805615"}}}}}