{"entities":{"Q1367080":{"pageid":1377820,"ns":120,"title":"Item:Q1367080","lastrevid":68746191,"modified":"2026-04-13T01:47:51Z","type":"item","id":"Q1367080","labels":{"en":{"language":"en","value":"Single versus simultaneous equational unification and equational unification for variable-permuting theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062582"}},"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":"Q1367080$1B385EFA-6A9B-4A16-B285-0EE0BBF6A27A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3511f53f993d94d348c39e6b460e61ffeffe9d2c","datavalue":{"value":{"text":"Single versus simultaneous equational unification and equational unification for variable-permuting theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367080$D44089EB-45F2-47D2-9341-DD3BBEB15D67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d4f8034d2224e9281805f4ef974184c26f812be","datavalue":{"value":"0882.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367080$79EF01EA-3782-447B-B98E-136D408757A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4142a24e949c83cb8a112c780f518cf47cc90d74","datavalue":{"value":"10.1023/A:1005764526878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367080$2F9E2E70-E1D1-4ED1-BDA3-87342B0A0225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367080$334D8B43-F465-4CF0-AA4D-854EC44A342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367080$35FC09E1-7F64-4386-B33A-BAF0E6D9D25B","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":"Q1367080$B82D0098-247A-49E5-B277-9831EDE9D35D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367080$3B1F54AB-CF08-4357-BAB1-3F33ACE1F945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367080$82150AA6-943F-43C9-A4EC-82DA6406BBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367080$512308CC-0F41-4292-A924-CD9F8818716F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48798510cc3ea1504075a85a845caf30aa8eb6e8","datavalue":{"value":"1062582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367080$77C57062-B187-4C70-A48E-999F711D1738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367080$DB5D1164-9335-4AA6-8720-2AE4AC3FA5E7","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":"Q1367080$BB4CF2B1-395D-445D-8264-1B700B5DA3A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1070e9eea2b21e37fa53e0f6442de7b766932d87","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd79e62a528a712e8aa6210b0f29419f4b21717c","datavalue":{"value":{"amount":"+0.900158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$34A239D3-245A-47C1-995D-3AB6C278FD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42011ab62695471a9d2250f0fa3696f9c73b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd79e62a528a712e8aa6210b0f29419f4b21717c","datavalue":{"value":{"amount":"+0.900158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$40169A9E-2308-49F7-9E19-558575843C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9f300e1e0844fc816c96a53b269dfca5d53731","datavalue":{"value":{"amount":"+0.8961355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$E07D3E2E-FE56-4DB1-94C7-907A5D0B4DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cd7235ee6b695131f4bd2d3d0cff573863b293","datavalue":{"value":{"amount":"+0.8943667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$CA06F380-64C0-4DAD-B5AE-F1BA679AC34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346448d2f4103f43757321b3f90949bb7e41f9f0","datavalue":{"value":{"amount":"+0.8882132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$44F503B9-AA0D-409D-BBE8-ED7535746200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec185b5ed529308477c652637743703e873c53c9","datavalue":{"value":{"amount":"+0.8842332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$7D25FD4F-C24C-4187-9E27-4434FDC49EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba898bea6155fcee2418be216d03006af9eab268","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963b011f914131629737898408805dc794273017","datavalue":{"value":{"amount":"+0.8781823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$CF9F077F-163B-486E-92DF-25DDB8954C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79df43a114291ed4d32034a5f054ed9c9bff9b83","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7129a22599b8d6d14418221c2c0fff83dd4bf48","datavalue":{"value":{"amount":"+0.87804836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$CF3E707F-28C1-423E-BAFC-537E0E886C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac33aa4a8756a5d3ba6baddc6003fd470d3606c5","datavalue":{"value":{"entity-type":"item","numeric-id":5703878,"id":"Q5703878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86e202973a5100bbbcb6a35ebde0e03015b0d25","datavalue":{"value":{"amount":"+0.87461233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$32CF87EF-29AB-454A-9DF6-11F3948F10A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887051a3102a521c0780e36bcf58ba5cb673882f","datavalue":{"value":{"entity-type":"item","numeric-id":3678694,"id":"Q3678694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33a3d966257722c11ba8c28d8cc08431774f925","datavalue":{"value":{"amount":"+0.8743153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367080$D98FE55C-B814-42B4-AAF7-1A79A41BBFAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Single versus simultaneous equational unification and equational unification for variable-permuting theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Single_versus_simultaneous_equational_unification_and_equational_unification_for_variable-permuting_theories"}}}}}