{"entities":{"Q1322163":{"pageid":1332913,"ns":120,"title":"Item:Q1322163","lastrevid":70706871,"modified":"2026-04-13T16:16:12Z","type":"item","id":"Q1322163","labels":{"en":{"language":"en","value":"Unification in free distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 562576"}},"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":"Q1322163$FF41AEA8-9E7E-4C9A-8B36-B8C34ED305B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95463deb7aeb97c34cd81d8a0b9e484827d197e","datavalue":{"value":{"text":"Unification in free distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322163$099A1A03-A4E4-4FC7-98F3-1465717824D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baa59799a7a96f3e25fac64490209d295b085fcc","datavalue":{"value":"0798.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$E1DBDD66-48C2-4930-8FED-FD3A7674712B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b9b52526177de8f63b2b7dad1d76f9c7ae1a1a4","datavalue":{"value":"10.1016/0304-3975(94)90011-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$033B17B2-A650-4A46-B4C0-A741FD16D3B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7be95c72caffa36848650748f597eeb46fff4fa","datavalue":{"value":{"entity-type":"item","numeric-id":643500,"id":"Q643500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$7AE9EC15-BE53-47C8-ACC9-BBCBAFFD2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3499929e709c30e42a987c2adaf411edb0069ba5","datavalue":{"value":{"entity-type":"item","numeric-id":223870,"id":"Q223870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$FB1BF273-DB6E-41BA-A130-0A06BA84F120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$7F7A1C77-C9BA-4344-A5A2-065E21CA2BDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322163$4BF3BF40-55AC-47EE-9B2C-EB4B34FDAF9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$0F58B943-5B71-4851-92D2-52961E7C8963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$70255C35-E1C3-4AAD-8468-CC510C70321A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaaae81335762114bd34996e2d942ade3ba52f0a","datavalue":{"value":"562576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$6DC43091-C8FA-4906-A920-2F5ED53B739D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322163$31F96DC9-BC86-4548-BDC2-B2705EC3A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272b610d8dccb5c16b6285431f40eafd59a261d8","datavalue":{"value":"free distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322163$E994A48A-0FE2-48CD-ACDA-1124FA6C9D71","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":"Q1322163$FE9CA6BD-15F7-428D-B6D2-D6C6E7A0ED80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50705520117e0af2116dca8b3690d2d8d637e1d6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90011-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1322163$F9FE0903-3AFF-4A1F-AB68-75B219CD6FC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46481bb0b145944f9616123af681345db0d14d3a","datavalue":{"value":"W2067471518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322163$4474CC83-BE58-4AA6-899A-94B8F5C8460E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f15aec2253c6d8e4742c7e3c60b7a3917a6","datavalue":{"value":{"entity-type":"item","numeric-id":1111775,"id":"Q1111775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$7F71D898-14CE-4426-812B-04076FA3D098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$0C491C11-8CD9-4C39-884A-0E57F60089CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$8F52E6A7-59E6-4B9F-8441-868C03F6CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf52ff9535def97a60a78e4a20f91c32385652c","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$044E864D-FF0C-442B-8B65-CB8757C65FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322163$5EBFB33C-C226-4D6B-ACAE-44772026C9F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090899a226981d08b6edac7e07feeaaa87e59dac","datavalue":{"value":{"entity-type":"item","numeric-id":2723445,"id":"Q2723445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334ffd585eba4222f10cc8f9f1881f3f8f8e8c97","datavalue":{"value":{"amount":"+0.8496531844139099","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":"Q1322163$BDA0779E-B983-4E5E-9656-0E9C2C7EB57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6fe432c2892cd36e71d33bafbe945474a843c","datavalue":{"value":{"entity-type":"item","numeric-id":5277777,"id":"Q5277777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0b6c6788d33ab755639a0f43899e1aef05e5cd","datavalue":{"value":{"amount":"+0.8494023680686951","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":"Q1322163$3041CDF6-6FD2-4D89-81E7-EF0D70AFC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c65aeeeb6eb26482209648106fef51916d919e","datavalue":{"value":{"entity-type":"item","numeric-id":2374391,"id":"Q2374391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720eae8ffff8e9554bd514b6c7100a84509b104c","datavalue":{"value":{"amount":"+0.7572070956230164","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":"Q1322163$0DD171EC-31F4-4C97-AF0A-3A2740486302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce7f3ac921c8d836253d8bb64c9a6e7ec23075d","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c857d7f6b56b6849044f486996048ea995af5096","datavalue":{"value":{"amount":"+0.7530867457389832","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":"Q1322163$F93CF4BE-EAB0-487A-952D-ACFE6512396E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50424faeb60622a18fc7d79e18a701036a97b99e","datavalue":{"value":{"entity-type":"item","numeric-id":5055867,"id":"Q5055867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0a93c3211d13fc5d8555e0b18dd4bc066ff0f3","datavalue":{"value":{"amount":"+0.7506681680679321","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":"Q1322163$B494C62E-74B3-4D26-A112-303A1F354173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in free distributive lattices","badges":[]}}}}}