{"entities":{"Q5234686":{"pageid":7264254,"ns":120,"title":"Item:Q5234686","lastrevid":100663391,"modified":"2026-06-05T22:42:50Z","type":"item","id":"Q5234686","labels":{"en":{"language":"en","value":"Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111158"}},"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":"Q5234686$77B9622E-7C0F-495C-9C92-134267A8F99A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34778f74191fbcf7f158e3f85b9e6e3b6146dcbe","datavalue":{"value":{"text":"Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234686$BB4FF859-BE93-4A31-8DAE-DB06B7F7C069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55aa8c764e7de37718b34478cfa08bc8d0db9f31","datavalue":{"value":"1430.68419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$B0460890-CF83-4E03-8E8C-DDF0537EA999","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0df5edff7c59ec4e696696b03ae5d6287ee3430f","datavalue":{"value":"10.1007/3-540-63104-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$21451CDC-9A36-4B19-8AE6-7AE8E281BCF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$F0062C8A-FA69-47A2-8AB8-2BE433F35CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c471037303487eb7dfadb77a8766eae3710c4ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1400709,"id":"Q1400709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$44BDE3E2-FF62-4AE5-BBE3-CADD3BAB957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc1321098bf0db083fc9f56043a43df08d0ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":239727,"id":"Q239727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$0C405C4F-59C1-4504-A897-AED48E205657","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$0CC7B638-7202-4A0C-BC9C-7453ABBEC99F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234686$4DC039FA-AF70-4EF6-8F68-3876ED8F2B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$2DC2AD18-0010-467D-A441-AC6BE0D66DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$774C1711-808F-4DCA-8FC9-BADFCF452D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2c0de546200cc9cccd304c02ea59a0aa7316832","datavalue":{"value":"7111158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$F604AEB8-658C-413B-A726-01800AB68A0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234686$F5DB268D-E68D-4063-83D5-9604289091C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b85fda4f65a08aad1e7c7fc608e4fcc3b449d46f","datavalue":{"value":"substitution tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234686$2FB4023A-034A-4E83-A823-2E00B99A5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234686$14E57627-D2AE-4347-96CD-5296B82C773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6038b55e68b2d386b2878a209a3c4f26bbbe2ccf","datavalue":{"value":"path indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234686$E4FFF217-BBFC-4C06-8BBF-2A62AA351005","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":"Q5234686$389BA4C2-37ED-4E3F-9B55-6CA1C13A0F00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3505531f49cdd3eba2c0d1f63177370ef02574ad","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234686$3D6B0053-32FF-4215-9E88-D1B358387D96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c71d6a70605f77b57c08266f95c032fe858c35a","datavalue":{"value":"W1489845773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234686$42D24E12-893E-4F2F-A66A-D0FEC4FDFDE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6aabd216f47d0fff51bc16b7b02c09de222664f","datavalue":{"value":{"entity-type":"item","numeric-id":5055823,"id":"Q5055823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$25A22DBD-EC68-494F-BD92-975A75C3B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234686$097BC9F5-FDCE-4D1F-925C-16234E1476DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses","badges":[]}}}}}