{"entities":{"Q3196355":{"pageid":3207063,"ns":120,"title":"Item:Q3196355","lastrevid":58143345,"modified":"2026-04-03T23:52:38Z","type":"item","id":"Q3196355","labels":{"en":{"language":"en","value":"Exact unification and admissibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501870"}},"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":"Q3196355$14D9204F-E15E-4613-AF0F-F965D6300FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31652457b213af0cac9570f99d41372b9e2d6f2b","datavalue":{"value":{"text":"Exact Unification and Admissibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196355$6070B2A6-71F0-4BB0-9FF5-92BA3A7E998F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e89eefaeaeeda0b2a4da719c4970023e3ab7da4","datavalue":{"value":"1384.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$42037054-1D97-4BCE-9B06-BC625F5304C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3ff78b3ab14dd3f87cfb358a94f2fbcf64b079","datavalue":{"value":"10.2168/LMCS-11(3:23)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$9383D84F-928E-4E4C-B705-A3F3C95FF240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196355$B0FC6A49-8E57-4BA7-B4B2-565409C8DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196355$1AB3893E-722D-4D28-9C51-2ABC65665AAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196355$C7187C26-B029-49EE-BB8E-F8908ECB137B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196355$7D5C1175-B615-4215-865D-ADB38F41BC4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fa845c01ad644ee8c6504d8ca3d14f838629b8c","datavalue":{"value":"https://arxiv.org/abs/1410.5583","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196355$96355E61-8780-45F2-86A0-38BEA4D9BCAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$8E1C844A-0363-4DCE-ADE0-787647EAE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$61F0FB47-FD2C-4337-BFC6-018283BFDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$56669D10-7B60-4B26-92D9-29D198DEDA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$43429C46-5BD9-472C-8011-5856619A4A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$ECBA1893-F123-4CB6-BBE6-2986BF5B93CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9511e56555b7e20912009f674d5653c02c004924","datavalue":{"value":"6501870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196355$BCA5EC38-C5E1-47FF-92BA-59F330DD21BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196355$29598253-37E4-4908-877E-5BA2A1F7A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196355$F2EB3CCA-849B-4A50-9419-0B943FCBDD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196355$9059F725-DD44-4064-90FE-81DEC1A9EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196355$7D5E7FFE-588D-43D1-8EB3-EE57BC63AD79","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":"Q3196355$DAF17DE8-0DDB-4AF2-99B0-A542240E9B8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d8c10c35fcd95337849165310d56f6f1057a53","datavalue":{"value":{"entity-type":"item","numeric-id":1181721,"id":"Q1181721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b070e1e15a0d621bcd00cd3bedce225b9bed48","datavalue":{"value":{"amount":"+0.7643758058547974","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":"Q3196355$AAC16D2C-69E4-4C81-984A-731F7C5FB65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f92d4adfe10bfad229fbcff76efc664da12a18","datavalue":{"value":{"entity-type":"item","numeric-id":4723704,"id":"Q4723704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b070e1e15a0d621bcd00cd3bedce225b9bed48","datavalue":{"value":{"amount":"+0.7643758058547974","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":"Q3196355$E7FDBE9A-EDFF-4AF9-A020-72C2D4B42E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9351bfd8c2519f4764a82b570c8bc05d3889152","datavalue":{"value":{"amount":"+0.7514764666557312","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":"Q3196355$6BF3AF39-706A-44BB-AFFF-5B4588591C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62377eea4c7add607004408914d174f5374cf046","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5410cb694718c7ee83f42a6465f80172c427865","datavalue":{"value":{"amount":"+0.7493563294410706","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":"Q3196355$99592404-F191-4DAC-A6CF-5F137E9ED768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69890cb91e1dda937d7b3036b1317904388147","datavalue":{"value":{"entity-type":"item","numeric-id":2494722,"id":"Q2494722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2fa9aa099825312799770921e2dcaeda1ac116","datavalue":{"value":{"amount":"+0.7465758323669434","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":"Q3196355$93F1DFE2-437F-468A-8079-AEB33308F6B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196355"}}}}}