{"entities":{"Q6573929":{"pageid":14185084,"ns":120,"title":"Item:Q6573929","lastrevid":95881535,"modified":"2026-06-05T09:56:44Z","type":"item","id":"Q6573929","labels":{"en":{"language":"en","value":"Implementation of higher-order unification based on calculus of explicit substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7882466"}},"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":"Q6573929$FC376B87-B309-4EB0-A7A2-741D763ECB18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dedb919334a61bba4c96389ca6c80db7d3f3ede","datavalue":{"value":{"text":"Implementation of higher-order unification based on calculus of explicit substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6573929$535683BD-0EAB-42D9-A066-8527121A092A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27a05cdccbc436e372fd0d8f1e3bb0512a47a15a","datavalue":{"value":"1542.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573929$77D1D735-87F6-4F79-BECA-19008BCAD4B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0251e25665157c92b6e6ed91b9096b397a067067","datavalue":{"value":"10.1007/3-540-60609-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573929$55812502-3528-41FB-85CB-97A718C489B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83c8b04d24e40b9ea942c9f78125d52e35e7967c","datavalue":{"value":{"entity-type":"item","numeric-id":1601857,"id":"Q1601857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573929$DECE5545-96AE-4C92-8B7B-33C41CD8BD9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e83cdaa7774f8e95df4f03e50b440b804f20a3","datavalue":{"value":{"time":"+2024-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6573929$3DB75402-B5AB-43EA-AC4A-BD871AE432FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573929$B464623D-E5A1-4A55-BD15-5CB1C6C0FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573929$3CE5DE4B-FBAE-4B68-A669-2B1D3E455D1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"637ae2440cfdba5bd7ec0ff768797ba13a173328","datavalue":{"value":"7882466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573929$23717ED4-D0F4-4396-842C-A9EA29B23F71","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":"Q6573929$D561B3DD-7AAD-4208-9381-6F6B32CFA3B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d772742d768983239a97bbe6075ffb489a89f6c","datavalue":{"value":{"amount":"+0.8753067255020142","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":"Q6573929$35EFD34A-0057-418A-B7EB-CD76A47602A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7745f3b5328d9a000613f762dbec32a6a4f0aaf7","datavalue":{"value":{"amount":"+0.8494938611984253","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":"Q6573929$3DFCF775-6C18-459C-9FFA-C0D2790FF0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f728207bd0d1ddde091bd467e1110cbfe45883f2","datavalue":{"value":{"entity-type":"item","numeric-id":2480966,"id":"Q2480966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa00855dc4b85ab860ec72dce0b007b7c88b4a1","datavalue":{"value":{"amount":"+0.8395794034004211","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":"Q6573929$82231BBD-4EC4-4CF6-B78F-F5B09CD3D916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1e0fe675f024dc96585a021a20f5401cd41398","datavalue":{"value":{"amount":"+0.8314915299415588","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":"Q6573929$3FB5E37A-F962-4E7D-9FCB-CD508B80A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a682b6a13a45183fb7203290cd7826c50975f4cc","datavalue":{"value":{"amount":"+0.8269430994987488","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":"Q6573929$39B1321E-B376-4627-B832-27B98FE4E0CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation of higher-order unification based on calculus of explicit substitution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_of_higher-order_unification_based_on_calculus_of_explicit_substitution"}}}}}