{"entities":{"Q1305166":{"pageid":1315916,"ns":120,"title":"Item:Q1305166","lastrevid":43015141,"modified":"2025-07-16T21:59:42Z","type":"item","id":"Q1305166","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1345959"}},"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":"Q1305166$6F5C8AC9-88EE-44D3-ADD0-298B67C92D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ea7300c6f953ed560a5e232d9d8c23d4ed74534","datavalue":{"value":{"text":"Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305166$85EDAE00-609A-4E45-B01F-81D1DD0D336E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3841237d80ce03857c25e5e980a6de7e96dfecca","datavalue":{"value":"0925.00071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$D519D8CF-A558-47CD-B6F9-40C4D8D3EBCA","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":"Q1305166$45088AB3-5A51-4FB9-AB06-8CF2DAA16018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cd551a6d332eac1488fffbdc2716ff15f0d6f26","datavalue":{"value":{"time":"+1999-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305166$29F134A1-CEF8-4157-BE5E-D69DD3B8A46A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$E51594CC-6A65-410C-A509-28E575B77A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$C72A56EE-45E8-4D3F-8895-BD0523C0E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$65AE7545-2C91-485F-BD04-DF47A3309874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$46F1E22F-C3A9-4609-942E-BCE40F32FE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$4307A15E-FF43-4C98-B19F-8E17E2E104B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9c4d907d8a60720206b931dedab14592418778c","datavalue":{"value":"1345959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305166$9DB333B2-D3D4-4FAB-90FF-00724F0BDD91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a524333d93df8ef0d2132e479163845165859b6","datavalue":{"value":"Saratoga Springs, NY (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305166$7D0E026D-C497-4CC8-878E-838DD389E750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305166$84B07E8A-3F73-4688-8F9D-C042ADD957DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305166$EB4BE914-C485-4443-A3B4-BD55DD64DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85b6910cfaf78c27314ff2e7ba271344e4e7ab95","datavalue":{"value":"CADE-11","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305166$69192212-3C9C-4DF0-85F0-0E5A2BAF4A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305166$39D68E45-1364-4BF4-88CB-BD3136554F58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305166$A47B42A6-B8BC-4648-853B-239245C26661","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":"Q1305166$0FE9E908-FCB8-4CA8-B9D2-E8A7DDC5CD73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1305166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1305166"}}}}}