{"entities":{"Q5464719":{"pageid":7494278,"ns":120,"title":"Item:Q5464719","lastrevid":101022122,"modified":"2026-06-05T23:42:43Z","type":"item","id":"Q5464719","labels":{"en":{"language":"en","value":"Artificial Intelligence and Symbolic Computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195791"}},"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":"Q5464719$D844C67B-65FD-486B-85FA-2495113F54F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6a23bc3e6694be9a914237e0b3c1bcf1887ecf","datavalue":{"value":{"text":"Artificial Intelligence and Symbolic Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464719$C92C233F-AFAC-4E16-BD1A-D8A50F64BB78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f7401b4d892cca11e3140683e53746359636ffd","datavalue":{"value":"1109.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$DE0C6852-9B98-4C9C-B403-3C4F3257C1EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c7302084d6061bb6f189473ae8492ed0c79a92","datavalue":{"value":{"entity-type":"item","numeric-id":823763,"id":"Q823763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464719$A423AD22-A677-4E3F-BC71-392F8363DBC7","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":"Q5464719$BE21D172-03E7-452F-A1C4-FFE4739A7063","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60b2eb62fdf7b3b7b2bc9b0ca91bf4f9c9d26f4c","datavalue":{"value":{"time":"+2005-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":"Q5464719$F0CCC649-04B6-4058-96B3-E008FE0787DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$E8B3D81A-4785-4A7E-AB51-C1D526F371B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$9B0864A1-5141-4AC8-92EF-0028794F6A07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b902c8bbd1bc20c63503f29a2f4c2e73d8ef0404","datavalue":{"value":"2195791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$7AA3D146-6242-45B8-AD8E-34063DA94AA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f389c0dd616f49d69260199262c6e872bb9a41","datavalue":{"value":"equality logic with uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464719$3CC6D9C8-A870-448F-AB90-2566652FB53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464719$95167063-6F1B-41CC-81DB-29A0A54FDBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5464719$7F152E5D-5E96-480B-AACA-17E5E7E37065","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464719$0801CE69-950B-4578-A28D-F481BBECB8DE","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":"Q5464719$57C60761-3025-4A37-8DDE-4130E17230EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a75a9fb744fcae7cec77dd4ca0fcfee57729d60","datavalue":{"value":"https://doi.org/10.1007/b100361","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464719$CAA30A89-15F5-4596-A71E-623DAABB4780","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa8951c7340e57da04d2a40d2888f76675fb6d09","datavalue":{"value":"W4205793925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$2216CD40-0AA1-41C9-8C61-2C3DAE1FA4CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c278e9ad2e4634a834119b5e3f3e3565b3958127","datavalue":{"value":"10.1007/B100361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464719$1B5E1385-2527-40FB-93D3-2D4DB656CCB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ad0396aa5e6ec89ad19d46609fd067da0ae3cd","datavalue":{"value":{"amount":"+0.8832433819770813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464719$CB60AC1B-BB8D-4070-81A5-8178AFDD0D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9b3d7b89b32fb2fb30747b57210770bc0a77cb","datavalue":{"value":{"entity-type":"item","numeric-id":4982077,"id":"Q4982077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdb9bcb5dbb35e8886593668096fc3b51e494b1","datavalue":{"value":{"amount":"+0.8790200352668762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464719$EE6EA836-600D-4545-82D5-4A621C35C279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f42e1e6814427281a6456b4cf35094d80750f","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a3f8791c07bc8e3a40d1016056a477924fee8d","datavalue":{"value":{"amount":"+0.8596033453941345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464719$2518D1EF-B6CD-4D63-9844-6B884A9F3914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a81d847c43a3acb573cb83b0d90f05438be3db","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054c8c644c0e37e946581022309f985556dfbee2","datavalue":{"value":{"amount":"+0.8483502268791199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464719$6754B6E7-DCA3-4529-BDAB-6E48CE54DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47227c3ededf306d0bae5b081c3c2eaf0e20bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0b0e3f2edfbea637c023b71ee00e3c104e0509","datavalue":{"value":{"amount":"+0.8370113372802734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464719$DC30D7E4-F50C-4446-94AB-6ABC04DEEFB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artificial Intelligence and Symbolic Computation (scientific article; zbMATH DE number 2195791)","badges":[]}}}}}