{"entities":{"Q1103417":{"pageid":1114169,"ns":120,"title":"Item:Q1103417","lastrevid":69649026,"modified":"2026-04-13T08:27:05Z","type":"item","id":"Q1103417","labels":{"en":{"language":"en","value":"About the Paterson-Wegman linear unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053068"}},"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":"Q1103417$622DBD0D-8CD8-468D-B31C-88786C40AC99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d287ba8671b2db03246d08f17f964e560a7298","datavalue":{"value":{"text":"About the Paterson-Wegman linear unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103417$A3FC1761-7773-4304-967D-A7C02D12B6FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f8d8c4edff3c2dc27af454a1ad4bc3bbf99a66d","datavalue":{"value":"0645.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$DB4E7913-C3F0-42B2-8C38-2887207F5B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"907672bf49c8554e4318085191dc6eb9f1333e1e","datavalue":{"value":"10.1016/0022-0000(86)90003-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$36DFE3DE-071A-44F2-A3E9-81A0896F1BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7412dddecf2e121f75db696ef086e81734be8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1103416,"id":"Q1103416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$D841F515-1B89-49F2-B17C-AD3453CD46A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$2D21109C-9FC1-4F4D-81B2-8B9A41C0DBCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1103417$D389706C-EBE4-45ED-ACFE-E090B76AF90F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$AFC393DE-56A5-4C1C-8CB9-8C47F4397F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$F353DEA1-C25E-4B7F-BCA0-9667BC305DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$093EAD39-9CB2-4FD0-BB91-0438503A8EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$CC8255D5-3025-4A69-8FAE-27E9FC44D336","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"965337bfc5ee8cb64a06a5a76a894a507a6aca6f","datavalue":{"value":"4053068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$3471292C-EBAA-4E1B-A7FE-4D1ED6231D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bd5fc872c6f8264fbb14aa531a77e87c33bf0e","datavalue":{"value":"Paterson-Wegman unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103417$FBA05831-9760-4F51-8783-A62D90124E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529762c0379999f70a3a178951690ad2293b56d6","datavalue":{"value":"pre-processor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103417$08634D77-40D0-4B5F-8916-BECC1263D627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f3af2904aaf2767c2cb5055c0a8b126ee751f7","datavalue":{"value":"post-processor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103417$49B37B86-D301-4BBD-BD3D-5284920D65E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d1d1014f47e60e2184cf5dfdb297f964f0d6da","datavalue":{"value":"structure sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103417$14E1DCB9-941D-4DBD-B6D7-C00DF64AB9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e20cf05adc3c9e9173d5d9cb46fd4fbfc093ac0","datavalue":{"value":"core algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103417$92C42C25-F80D-4982-841B-B1A3C101D0DB","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":"Q1103417$BD3DADF9-9AE8-430B-8EF2-8047F5EE4975","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d1687c33c4c1d810a7a3f3feb55d19a2e975bb6","datavalue":{"value":"https://doi.org/10.1016/0022-0000(86)90003-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103417$5157F9B0-B274-4445-8766-F2D10596B7B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99ffee2e64e79ee22f2577476650b158638f41d3","datavalue":{"value":"W2008943547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103417$CE5511F3-D6AC-4D40-9741-200E018535DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$D2A9F415-F71E-4AEF-8B68-BFC668861E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$082EC2A9-AB1D-4B39-AA87-471CC985FC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$C2C2ECC7-A73D-425A-82C5-E1ECF62787B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d5f2306a357d7eb079458594eb1670d48c6076","datavalue":{"value":{"entity-type":"item","numeric-id":4140378,"id":"Q4140378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$0111DE34-3CA3-41D5-8A69-B01AABDABEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103417$F5CB53BB-BB98-45F4-A6A8-30EC020C5330","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":"Q1103417$EF621217-327F-4C38-AC21-B487A4358589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28507daa771250e00ef386765a6e4bbbcb7fe4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2102937,"id":"Q2102937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399cc3aa8c25e6e9136d6227ccbdbd9b2ec784b6","datavalue":{"value":{"amount":"+0.7876961827278137","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":"Q1103417$F06E281B-57EB-4086-8343-C97934E57233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1df4f3ad920318efcff54ef59c808fff0d6c062","datavalue":{"value":{"amount":"+0.7725566029548645","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":"Q1103417$9FAEE976-692D-4916-AEDD-E740A66B16F8","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":"b7f5c959d8d253e868c8de817e375b4e89b3c162","datavalue":{"value":{"amount":"+0.7707350850105286","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":"Q1103417$13CA8ADD-DD53-4470-B3AE-6BC41EF017E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c02da6aaded1ad3003e90c66040b578d2a8ede","datavalue":{"value":{"entity-type":"item","numeric-id":582141,"id":"Q582141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9575867d3858013b0e9d85b368dbf7d467f465d3","datavalue":{"value":{"amount":"+0.7700347900390625","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":"Q1103417$B076B270-094E-46BE-B080-E9E9724D60D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a2aeaa5467982d7477234be31176fd6be8495","datavalue":{"value":{"entity-type":"item","numeric-id":751312,"id":"Q751312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72f33a33b838ff9c8a061f572f47dda464bceb8","datavalue":{"value":{"amount":"+0.7632608413696289","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":"Q1103417$9DD8A7D6-7EBE-4BFC-81D5-CCFAB3B99C71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About the Paterson-Wegman linear unification algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_the_Paterson-Wegman_linear_unification_algorithm"}}}}}