{"entities":{"Q1823683":{"pageid":1834425,"ns":120,"title":"Item:Q1823683","lastrevid":49310179,"modified":"2026-01-06T22:51:51Z","type":"item","id":"Q1823683","labels":{"en":{"language":"en","value":"Average-case analysis of Robinson's unification algorithm with two different variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115963"}},"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":"Q1823683$F92E0A88-1A01-4351-9E20-4B327FBD66EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6f88d1f4bbfa6100c6711b742846d29cd8c0907","datavalue":{"value":{"text":"Average-case analysis of Robinson's unification algorithm with two different variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823683$EC8A8C70-3EE9-46B6-A48C-7C2C243A3C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0993d0fd5979db85c8e91572fe6ca73ed51efa1","datavalue":{"value":"0681.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$211C9916-5186-4BB0-B1EC-AD5A0F6CC801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"173f9849afb046a957c7e9590ade609783385b1e","datavalue":{"value":"10.1016/0020-0190(89)90078-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$EB3B4F43-B5CD-4982-8FF9-D39EFCAE563E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$E300F384-FF66-4262-AFB2-AEA36C0A76E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$7DD016E7-7E93-4617-94F1-B3F54B4B3377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823683$A7F986BF-BFCD-41F6-8DB0-43A1BE4D72CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"886300530a6d757d4ee1b3bf63454ad358b34560","datavalue":{"value":"http://hdl.handle.net/2117/188711","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823683$0381ED86-8DD9-4C10-B2A1-2E986EC9022E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$21AB6BBB-D8AC-4318-BCB1-746CA1A77552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$BD263D0C-7E5C-4698-A898-9C07A3AA51E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$B20BA2CE-E19F-426D-B6C2-96AF9D56C253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$3D9266BD-EC1D-4D27-81BA-D7A0984281FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bbb17b716600d59e9b338d45dc9b5d45ad617cb","datavalue":{"value":"4115963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$5C7BBA43-1501-45B2-8394-F387C621FE48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5be192625e7ec06f60848bf5fa4300b42d88bc","datavalue":{"value":"average complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823683$29CDF789-FE0E-4960-8212-32141E2DE548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518edf2c8fa34b3a0c7bccadd81dafe1a1613f76","datavalue":{"value":"Robinson's unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823683$2FC0D24C-BD40-45DC-B3C7-79E48A7C6DDF","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":"Q1823683$BD302298-10AB-4771-B0E2-8A3B809CD721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20d2858b6b1f2e9c6d6a1bd638f2e180bc59d097","datavalue":{"value":"W2013823532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823683$15CBC8D4-45E8-4E96-8C92-8FA66799DA50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b027a27d3cedca6225accd31cd288997a4a4f66f","datavalue":{"value":{"entity-type":"item","numeric-id":4385514,"id":"Q4385514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$4DD72679-61A3-405D-87BF-9EF0ACC38F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c6d80a82219366ad87fbe22a361ba3fb8da61d","datavalue":{"value":{"entity-type":"item","numeric-id":4156973,"id":"Q4156973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$CA6C00A6-93F7-461F-B0F0-972A40A36B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$078457A6-04BF-420A-A7A7-D1C75ED4B798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$36E91254-3532-4AFB-9CE6-40A6874EDED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc54c232baa550b24e50dce218f9784a6eebf54a","datavalue":{"value":{"entity-type":"item","numeric-id":4482959,"id":"Q4482959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823683$B21F6EDD-3327-4C90-A81E-FC06055EB711","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2d66c03e171b543eb04a0d0c037b24ef5df60f","datavalue":{"value":{"entity-type":"item","numeric-id":4035669,"id":"Q4035669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b38d2c4d813876a2dd49d3ef53b27e3921ba60","datavalue":{"value":{"amount":"+0.8762683868408203","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":"Q1823683$DCAEF701-18BC-4EED-B35C-3EC70DEE2A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc38cf96173d1fd56a6081c50dbff622604b848","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b38d2c4d813876a2dd49d3ef53b27e3921ba60","datavalue":{"value":{"amount":"+0.8762683868408203","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":"Q1823683$420D8072-934D-4F22-B145-D75CC60739B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756d3e11c613ca9cc7e4da5708fd5a26e478a869","datavalue":{"value":{"entity-type":"item","numeric-id":685442,"id":"Q685442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032212e79d13419062ec30d21d6dc3d40296ed79","datavalue":{"value":{"amount":"+0.8655868768692017","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":"Q1823683$44094DE1-EB97-4125-8336-347759265563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9fd94376499700666932e40ae6995713412fed","datavalue":{"value":{"entity-type":"item","numeric-id":4721668,"id":"Q4721668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae8a8ee95bf8302afa96257c81c4fd1cdda0266","datavalue":{"value":{"amount":"+0.864990234375","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":"Q1823683$3EBE70D8-E777-4DC3-9E5C-607A3187EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c04766fc74e7b761fc6fbd66093f207054377f","datavalue":{"value":{"entity-type":"item","numeric-id":3795215,"id":"Q3795215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d8a97b4b456d9acdccd8a1fcb81b3f3559bd7e","datavalue":{"value":{"amount":"+0.8251044154167175","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":"Q1823683$D2FE41D9-F7D9-4B63-AEEC-409042BF6D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823683"}}}}}