{"entities":{"Q2165526":{"pageid":2176269,"ns":120,"title":"Item:Q2165526","lastrevid":57015336,"modified":"2026-03-25T16:09:17Z","type":"item","id":"Q2165526","labels":{"en":{"language":"en","value":"Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573779"}},"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":"Q2165526$9A252879-94CD-4155-9B40-54BFAA883027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a24ce370c153b590e53f9e7a67730e07bf429037","datavalue":{"value":{"text":"Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165526$07FDF64C-2BBC-4C18-B58A-AC654AB79C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e16ee13f44617dc766d410e72d1f5582e8170a5","datavalue":{"value":"1499.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$C529D47C-E9AF-4132-8730-5EC62869FCEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e450d32ee1055a57120aaa1cff6850faa7c1b8a2","datavalue":{"value":"10.1007/978-3-031-10769-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$C886174C-A455-4CF5-9402-8B29C809A5DC","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":"Q2165526$9A8E5CD5-566B-4064-9B4C-1830156C3BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165526$5890BF12-8661-4592-8C1D-EA9FD32D2C65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$79DF30C2-D142-46D9-A8C4-B11AF1219FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$12EDB88C-7DB6-4D62-AC6B-00CEEFC58FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$F119E28A-C295-4E18-A7D8-F946B9DB896D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c347e6e6b8fdc4981b4c3b4bf593098cf2a29c09","datavalue":{"value":"7573779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$4C525D4C-16C6-4C7A-9745-8D40CFDE62C8","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":"Q2165526$FE334B3A-8736-4C36-9110-570C95B19614","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c6e6566feaa1735085f0d13b5fe7bb5869ff299","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165526$018D5D31-433B-47D0-B3F4-088893C6601A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"440c39d7cc4824c1b47fd7f1b0aa45c2bee1b075","datavalue":{"value":"W4289103994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165526$7F488132-9670-4ABD-ADB2-BC4B9DB144A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987accb6be5209e2edb088a97abd82f7f628abef","datavalue":{"value":{"entity-type":"item","numeric-id":2043594,"id":"Q2043594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce816a46e8075fe3822d8b79f96ebb31bbce7cc","datavalue":{"value":{"amount":"+0.9150008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$40C8C3AA-1D40-40DB-A2C7-5D7ADA729715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6599e24d5deeb9bcffb4db16d585678a4f95e6","datavalue":{"value":{"entity-type":"item","numeric-id":2043593,"id":"Q2043593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7086b52f7c6bfb51a0f1434f72e52d76788bf681","datavalue":{"value":{"amount":"+0.9117089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$1167611C-1C18-469B-B0EF-BD1DC092CB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ca6fb08c09d3ccc96ae0c27b94c0fb0c56dc84","datavalue":{"value":{"entity-type":"item","numeric-id":295834,"id":"Q295834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d5cecd05a9d06a84d9642abe65af43906d3984","datavalue":{"value":{"amount":"+0.9059542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$A4755EE2-9269-460B-8E41-591FC1564658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55021137ed8eadbca19190adeaa1541e25b70d69","datavalue":{"value":{"entity-type":"item","numeric-id":1651606,"id":"Q1651606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3f7ef11aaecd8d7efe39e6ce319929edf8d727","datavalue":{"value":{"amount":"+0.90015554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$B1E54DAB-E52B-4BC5-BF15-63EB90295798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2053815d52c231c3902fa94d10c7fb8bba4d69","datavalue":{"value":{"entity-type":"item","numeric-id":428512,"id":"Q428512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f179f9e167422a26373eb988f1e758bc04b8e5","datavalue":{"value":{"amount":"+0.89701647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$9AE335B0-F0B2-47BE-A7F2-908C82EC2D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d566b6f0528126461aa547350892cd6698dfecc0","datavalue":{"value":{"entity-type":"item","numeric-id":5941850,"id":"Q5941850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7776f767eaf46f3b3e9f4252ec1ad188c2b962b2","datavalue":{"value":{"amount":"+0.89412093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$495FD4F2-6773-4521-BE94-4085B2816261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1a28aab2a108ad4d32a079434efaec54000051","datavalue":{"value":{"entity-type":"item","numeric-id":951681,"id":"Q951681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed906788db6242aa8eb5bdfb1951008554971f4b","datavalue":{"value":{"amount":"+0.88948655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$705F5D0E-411C-49CB-BF0A-3755591FDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f4173f5383eb786bf720383c9a52c6b0e21aa7","datavalue":{"value":{"entity-type":"item","numeric-id":983523,"id":"Q983523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72e3b05116c8d648c2142b0c22f64d826c153e7","datavalue":{"value":{"amount":"+0.8891317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$689C4792-F968-46AB-B225-CA5815940956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c90d3628e8c456dbef52d53f37cdc15d5b67148","datavalue":{"value":{"entity-type":"item","numeric-id":2382312,"id":"Q2382312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a981be62ac2e5c79d02748025ee074dbdf991e87","datavalue":{"value":{"amount":"+0.8868444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$0C561D7C-2F77-4AEA-B1B1-80E9678C3F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28090c4f4deb68e5e3b2a0751e8d6cee50026d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2492155,"id":"Q2492155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246657a280d229d0a99015dd9f9ee6e11e52e127","datavalue":{"value":{"amount":"+0.8849519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165526$A67CE6B2-B7E0-422F-9C29-8A399653790E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165526$7F5E18F3-9226-4235-929F-1A0ACBF4764E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165526","badges":[]}}}}}