{"entities":{"Q6544100":{"pageid":14155244,"ns":120,"title":"Item:Q6544100","lastrevid":42338647,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544100","labels":{"en":{"language":"en","value":"A certified algorithm for AC-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853714"}},"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":"Q6544100$B413ACE9-9453-44BA-B3EF-ED5A1411B8F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151ee59ddb4f77c1f4ba2a262370300d913ddd55","datavalue":{"value":{"text":"A certified algorithm for AC-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544100$DC14FA45-DE09-40A6-BC75-2E02B2E51D6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544100$D6C237F5-A327-4318-9290-721CC300CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544100$99DFB697-C9BF-47C2-B1CF-C28B25B69CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8864d713270d3cb091c2f1ef2f7846d0d47fa57c","datavalue":{"value":{"entity-type":"item","numeric-id":5022929,"id":"Q5022929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544100$A9D7BD9E-D643-4A5A-BD89-5378A132D2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544100$79580641-B0B8-498B-8B77-04C9ED495935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544100$47CE5196-C67D-43AB-8716-70427770F317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544100$286523E9-D082-4126-83B5-760F6D369990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d48b70382e0c32c9dba340de0a0ddb1aaf3e6db6","datavalue":{"value":"7853714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544100$E1CE0EC8-36AE-4E31-8C30-A6076C54ECC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f8ad86efdaf8997a501e2aaad7c7a4ba85cdc7","datavalue":{"value":"AC-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544100$38118345-8A32-42D7-A76E-A85DA828AC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544100$3ED94997-85CD-45FD-AACE-F29347A3572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eedb7896534a85540b0afa0d8982e6653023fca0","datavalue":{"value":"certified algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544100$FF34C371-0181-4ABB-BD34-1CC346A667C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544100$CBF4AA4D-6581-4347-B2C3-8E83C8552C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544100$DD9DEB5B-DFE4-458F-B640-8DAB6248DD72","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":"Q6544100$2CA749DC-4712-4202-8C92-F1DB26886623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7072207b91ab0ed5b701a04b45e6bc3bc221d3ef","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544100$6190A947-4C34-4430-8700-BFCA87340235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544100"}}}}}