{"entities":{"Q2102937":{"pageid":2113680,"ns":120,"title":"Item:Q2102937","lastrevid":47787178,"modified":"2026-01-02T16:54:13Z","type":"item","id":"Q2102937","labels":{"en":{"language":"en","value":"Faster linear unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632093"}},"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":"Q2102937$2CA23D23-080E-4D3C-9CE9-03C7DAABB75A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962d0d32a12906a318efa3be30e6b33b1507a8f5","datavalue":{"value":{"text":"Faster linear unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102937$D6F96B6C-7E13-4A05-8C2D-B145642421E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6af0b171aabc993fa68421ec75cdb0597b768de3","datavalue":{"value":{"entity-type":"item","numeric-id":2102936,"id":"Q2102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$154086CB-2D60-4B4D-9369-B141E8F187E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$79A54E86-A2AE-4908-B393-617C2C358520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102937$D30A7949-3139-4E3E-9CEF-92DB55C18C79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102937$FCBB8130-07EA-40B7-9800-E0DCEB0A6BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c9af3d8ae1d4d26a13e668852d8d10108a8b4b","datavalue":{"value":"7632093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102937$4439D06B-2BCC-4C5F-931E-1E1AC632CAEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39dd98ad217bf9e647eb0d76afd53865e0cf5a42","datavalue":{"value":"linear unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102937$0F318168-187F-4A66-81F3-FDD174947E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102937$93C9DF60-3A44-4B58-BD83-F2F1FFF59F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94f8c0cc72d1948935f39fedfb52d3dddac88e4","datavalue":{"value":"planning action precondition checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102937$C2BFB680-845F-43B9-9081-6A38392533E9","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":"Q2102937$C9342F42-492D-4B5B-BC75-AD15DCCB1032","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a48178680cf032d4c589d4e5b0166611e604891","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09635-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102937$9B1B203F-B3A4-495B-9C5F-14AA5AE5AB8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4790256250c143d1dc56b5c74841db573161f8","datavalue":{"value":"W4290888552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102937$751E9E85-A4D1-42B0-A071-4B0C61C020BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$76EF17A9-36C3-47E3-B074-0669E31CFB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1289b519409d8f537f21fa2f699dca45e41a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1103417,"id":"Q1103417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$66830FA4-3C8E-47CD-B32D-1978CCADB779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$08D38692-2A22-4F11-857D-96D50241A9B7","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":"Q2102937$C2841578-D1D9-465E-8571-B23893BC030E","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":"Q2102937$48D259C4-0D05-41AB-BA78-5C72A901C2CB","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":"Q2102937$49C99F9B-0009-4159-81B5-9E240BF2D2DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b54a1dec257482677676542b981dc34386eeef","datavalue":{"value":"10.1007/S10817-022-09635-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102937$2797C021-88B0-4C36-97F7-FC8A1D023BA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102937$288BDFEC-08F3-47D0-932C-EB0BF990F266","rank":"normal"}],"P1643":[{"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":"620a9707f57c1488487233d4a39749f68005d18e","datavalue":{"value":{"amount":"+0.8808538913726807","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":"Q2102937$21CB79D2-47A9-4ECD-A1AF-0F1455A621F0","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":"0a5dc3f9c9f643b54449b8b97eac56a8ba53ab9a","datavalue":{"value":{"amount":"+0.8803324699401855","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":"Q2102937$63236825-B33E-4FBA-B7DB-09D596E3661F","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":"1c8c852d3b9d1d11cc611b4e05e9156423dbb33c","datavalue":{"value":{"amount":"+0.8591506481170654","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":"Q2102937$F398DED4-412A-413C-9E93-8BC619D49670","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":"341bbec296c857735f697aaf9eb3029ca3ce2b26","datavalue":{"value":{"amount":"+0.8105218410491943","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":"Q2102937$337D0A69-626A-48ED-B709-7C7C1880496C","rank":"normal"},{"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":"8f4612e35864f6cae228fece19e7f1051ae89d5a","datavalue":{"value":{"amount":"+0.7978532314300537","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":"Q2102937$7B8B186B-ED9B-48B0-A1C1-75D1CFC111F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102937"}}}}}