{"entities":{"Q877825":{"pageid":879673,"ns":120,"title":"Item:Q877825","lastrevid":65062599,"modified":"2026-04-12T00:03:56Z","type":"item","id":"Q877825","labels":{"en":{"language":"en","value":"Formal correctness of a quadratic unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149169"}},"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":"Q877825$4CB8E91C-DCDC-4E30-AB31-30A019113F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf7cc767828b3e209a01d9a9de6622cbbf8c1dcc","datavalue":{"value":{"text":"Formal correctness of a quadratic unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877825$54586CFF-CA99-46E5-A1EB-E3821AC1EAD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981d2305003dddfa3f1c773ff7776e3f38dc9085","datavalue":{"value":"1113.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$E756CADA-7F93-4C81-8192-0C8FBA9AD1A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$7F527F2E-EFC3-4505-BC77-CFFF889E59B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877825$5FAC463E-7D3B-4643-8A69-464070828AE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6e38663178195f9eb891a5dd681b59435eec028","datavalue":{"value":"https://idus.us.es/handle//11441/86262","type":"string"},"datatype":"url"},"type":"statement","id":"Q877825$D03BDD1F-30B8-4E2A-8885-5FB62C666D7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$94493918-30B4-4504-A06E-C7F85700E6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$9A609CD0-A81C-4FFD-A2C2-4DEF2AA71558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fcfe4d35fb00ca2f2744bdd8663bc70e783b4b6","datavalue":{"value":"5149169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$D13BB4EA-2C02-45C2-8F9E-BFFC44ABC524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$A482AC5F-A598-4FFC-B806-925DDF787A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$537ED880-F7B7-480D-9703-78142D0EDD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc442b6d258731aa6f56db3b1030762f889ec8e6","datavalue":{"value":{"entity-type":"item","numeric-id":417948,"id":"Q417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$F241DC47-C7EB-4821-96E7-670BC12F2618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab7d4636d237c78cfef4f47fdbac4805f8a7b82","datavalue":{"value":{"entity-type":"item","numeric-id":438549,"id":"Q438549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$37C8DA99-5023-4098-95F0-02F8831CD82E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$B9778405-F238-43B8-B491-911D41FE1216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$3800F14D-069A-413B-B990-38A8FC944F04","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":"Q877825$0A7F7051-29A3-408F-A0A1-48C7A386BC5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f26af9f46932765b93086b43808d03e8385dad3","datavalue":{"value":"W2079554395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$DBFE58C3-CA52-4AEE-A261-F1CB1490D3DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$C3584DFE-ECEE-400D-A25D-E8A7A8FA71FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$0A938A2F-2AE3-4D8C-82B6-00C5039C851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75d452b814e1d736378adf1fca3cecf6a8cbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3673105,"id":"Q3673105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$9477A987-EFED-462D-9322-18986D5CAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185924672466c333b2a4f60179da234e4df54e65","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$CA8DA4BB-82D3-4FAE-BACB-7F8837401EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877825$52419BFE-FBC5-452C-9062-54C070BF5F03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35298d7a2c3e833074e752e0bba1e114d9c400b8","datavalue":{"value":"10.1007/S10817-006-9030-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877825$6596FBE5-7B4E-4CFE-A65E-2735620A03BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5297348b318b2171e975cf85fa5bd9cfdf4280","datavalue":{"value":{"entity-type":"item","numeric-id":1349886,"id":"Q1349886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a8884bd3f4251db77952c03a79d82e140d10e7","datavalue":{"value":{"amount":"+0.8999568","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":"Q877825$075DDFDC-808A-49A6-8501-9CB89A25B07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c19b6dd000e3ffdb5e3f81a53d0d0ed3a8a0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4783302,"id":"Q4783302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ef674067e8cdbd9ee0932b02b30fc1d71fd0e9","datavalue":{"value":{"amount":"+0.87187","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":"Q877825$3379B32A-E259-4231-8498-0A15E26112DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0403bb62c03fab356633ae4e37032d0be35613ce","datavalue":{"value":{"entity-type":"item","numeric-id":3765752,"id":"Q3765752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bbfa859989e64988851f5ac6584720f94a1d46","datavalue":{"value":{"amount":"+0.8617766","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":"Q877825$0D02A0A3-E6BE-42CF-B54E-DA01EFAEF1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158f5dbceda60edaf127b1a6d8e93d2411f83997","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6349c68988e7c6be2724a1cdc0065a6d001cfa1c","datavalue":{"value":{"amount":"+0.86139286","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":"Q877825$08D87813-D0B4-41FD-AB30-C66B8F7540A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6f50e448f9d59543880222f04826077ababfca","datavalue":{"value":{"entity-type":"item","numeric-id":3806803,"id":"Q3806803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0295bb0d41f433cbd64e44034b3ed56559bc152","datavalue":{"value":{"amount":"+0.8597187","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":"Q877825$B76D195C-D9C7-40CE-A595-644239259A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33597f252df7aed0002e7f6ac4a726e890a2472","datavalue":{"value":{"amount":"+0.8579856","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":"Q877825$97496456-E668-4A3F-9105-0068953F0DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17119fa99707250f6e81b2b09116b9dfdd9d9f53","datavalue":{"value":{"entity-type":"item","numeric-id":3612445,"id":"Q3612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f93d0a7b269d7adaf1d14cdb0592c432dfed5ec","datavalue":{"value":{"amount":"+0.85699034","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":"Q877825$8FB12E1C-F265-4B6B-A704-67500ACDA7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d202e26a9ac54b6970327f5708038ff507cfbe02","datavalue":{"value":{"entity-type":"item","numeric-id":5014441,"id":"Q5014441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398d4ff3c95326c29d056ce50af1651b030e06fc","datavalue":{"value":{"amount":"+0.8539593","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":"Q877825$9C0060EA-0FC4-4B2F-AD9B-DCC9D623EDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca0e7e93dd7042cbc7e59c47a83bea11c5a6406","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef8ccd1a61a0a44d23e3a60f4e5984efa880949","datavalue":{"value":{"amount":"+0.85290474","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":"Q877825$EE284421-5EB8-49FE-B545-BDE3D707F203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eaf945a21b4d5816b4dc2ceff4d3180779f4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472456,"id":"Q4472456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a967796b4948e1a4fceb62002b84f07e9f958f55","datavalue":{"value":{"amount":"+0.85264593","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":"Q877825$D37EFC71-D8BC-4A39-A503-33E5CC8E74CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal correctness of a quadratic unification algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_correctness_of_a_quadratic_unification_algorithm"}}}}}