{"entities":{"Q2286167":{"pageid":2296910,"ns":120,"title":"Item:Q2286167","lastrevid":43820223,"modified":"2025-11-14T18:55:02Z","type":"item","id":"Q2286167","labels":{"en":{"language":"en","value":"Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7149776"}},"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":"Q2286167$42316DAD-4D52-4DED-B4BF-98EA72787DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"264a2e8d90dc25eb50b5c526aef2242e0d65a01f","datavalue":{"value":{"text":"Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2286167$C6E3A1B1-F283-4AD4-8BE4-22EF64264319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bba52ae61c6824bb58de673487ed08d900637f9","datavalue":{"value":"1428.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$E541D0AB-07D7-420F-B858-22CCDC388150","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d092ca0ae60306b094350e53626c718dd3752410","datavalue":{"value":"10.1007/978-3-030-29436-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$56695FC5-90EE-4B8A-A74E-6DC2C2BF362E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286167$A49E7EA8-72FF-472C-B438-9E4784C7F066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466980687c2b2bca27f0466003ebdbe2d456ae3e","datavalue":{"value":{"time":"+2020-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2286167$05C546DF-AE9B-4B92-A080-1A75CB3C1C76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$2FE14939-A92F-47F8-AF9B-E32191B984A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$F7904A10-290C-42ED-B139-3BEE194F8068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$1A858482-2B2F-41A0-9947-2E11C8020A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$341BB183-302E-4624-A958-346A3E216C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$57C47D29-E0BD-4052-8A60-59F9DE56CFBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1746b0cc980304bed7f0ef6ad59945a3087c787","datavalue":{"value":"7149776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$0D4F715F-32EC-49A6-9BE9-8C08A48525AA","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":"Q2286167$67247DAC-068D-4A10-B1A0-18341D323D96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c1cca07436bfa5235b522cb67426af3c88f994e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29436-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286167$B142BF7A-ABA3-4B88-A484-DEB2B9CF827A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f422e4814b15abe46c46aa6eca1b6eeaadbdd85b","datavalue":{"value":"W3126578424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286167$236C56DF-CDE2-4DCC-B5A3-D483BE021699","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2286167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2286167"}}}}}