{"entities":{"Q2642468":{"pageid":2653211,"ns":120,"title":"Item:Q2642468","lastrevid":78997145,"modified":"2026-05-06T12:55:00Z","type":"item","id":"Q2642468","labels":{"en":{"language":"en","value":"General \\(E\\)-unification with eager variable elimination and a nice cycle rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179886"}},"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":"Q2642468$DD3EC3E8-6C4C-4B5A-872A-F2222BCB5F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c95adc8733c1543b1b0d8b6f65680d089028e630","datavalue":{"value":{"text":"General \\(E\\)-unification with eager variable elimination and a nice cycle rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642468$41876B18-BD48-417F-BF9D-8E2733DBD5DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"053cb2fc9f0cbfbd06f733418f9ab8e33b0b971f","datavalue":{"value":"1118.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642468$1C30F2E1-4D93-4D34-865E-7A050FF18FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0da10a71518197eaf1ae106c72317624a8a57f","datavalue":{"value":{"entity-type":"item","numeric-id":2374389,"id":"Q2374389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$ECABA0CE-00B8-4690-BC70-998F85D3079B","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":"Q2642468$467FB5F0-E467-4EBE-9AA3-01F0AF59DD1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-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":"Q2642468$EF524333-D90C-45B3-8301-3679440EB291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642468$B89FA156-01F1-4601-8A38-1E7BFDFE18F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"940b6cd6cafb77e49f28eb722621f46587124109","datavalue":{"value":"5179886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642468$98EB75B6-F1E8-4D52-A48D-1D00F784E8F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642468$1AD32A10-536A-4544-A909-389C855131CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b31148935874d772a8f8dd73d6dce08b125f9f","datavalue":{"value":"Variable elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642468$D06DBA61-340D-409B-833F-6F015F91CA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862f502bbbb4e69002e6bf79d29a9ac8550b92e5","datavalue":{"value":"Cycle rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642468$D112ED64-F828-436A-B6AB-6C451A6F7058","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":"Q2642468$C17ADC45-3D01-43E3-98E8-632D5EB70515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15f3684243736f6b9dcadf267ae14e10f3b45257","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9068-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642468$A94E38B6-8D1C-42F2-8EEE-08D71C286B35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0be48c3e652cb36a390523a55210fde2deb06871","datavalue":{"value":"W2019945092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642468$222FADD3-098E-4702-990F-808F68B49580","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$3023474F-3B4D-41CF-BF4E-8105D19BEA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4581ecf56db494f87c679379265efbdf03c91bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1201347,"id":"Q1201347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$DA55DED4-0142-4422-A280-5B5D3946319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$A1981322-C669-43BC-8425-BF1C1132877D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$2F9183E9-C9A4-48DF-8619-FE25B2662404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$C23FA0D2-7039-4114-A6DD-3FF7A07C2EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84327888c02f583338407867a0f255e94e6552c","datavalue":{"value":{"entity-type":"item","numeric-id":2778881,"id":"Q2778881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$E2480A0D-63C2-4607-B6D1-419CF83BCD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29241c7597854bb89399ece59ca8793dbd2cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":4619820,"id":"Q4619820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$E8472EBE-5B08-4CDE-8748-F0FFB1E9E7C8","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":"Q2642468$2A5B36A0-44F4-4E9C-B9D5-5B59CF7CD56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5c226050876a324cadfb172486b762401448be","datavalue":{"value":{"entity-type":"item","numeric-id":671677,"id":"Q671677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$91A0EA56-EEEF-46F2-AD74-83A997105C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96eb6d06287e13663a9f65c5169084cea95ad72","datavalue":{"value":{"entity-type":"item","numeric-id":3408139,"id":"Q3408139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$C8A4B7A0-D6EE-41DD-BBA2-8DA52D4D7F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b288dc303903dadd740b3e94a2919f1421980475","datavalue":{"value":{"entity-type":"item","numeric-id":5055788,"id":"Q5055788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642468$F53EF0A1-554D-4FFB-8B36-4EB70303FCC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8889136d36dc1e179b6e0f5dd83caae2920126c","datavalue":{"value":"10.1007/S10817-007-9068-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642468$5408B360-88AE-47EE-AD8D-D69587217D95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae88518a2060e38de2953517054ee261a04e9603","datavalue":{"value":{"entity-type":"item","numeric-id":3408139,"id":"Q3408139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d551ba5b85a2206ffeac360d0b9bb26c5152b9","datavalue":{"value":{"amount":"+0.9139486","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":"Q2642468$F786A9E1-1B50-4EC8-888C-706071E61CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873289e3bad60e3014ffd415e187d8be7623c88d","datavalue":{"value":{"entity-type":"item","numeric-id":5096745,"id":"Q5096745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49faeb7f904259d587b7e8df085425dbcfe813e0","datavalue":{"value":{"amount":"+0.84834707","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":"Q2642468$97BB3CB6-F662-4DCF-B906-F752EE4F137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051e4ab239eff76a9d7fe34abe8c000cb2dfe75","datavalue":{"value":{"entity-type":"item","numeric-id":671677,"id":"Q671677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb595d72bcfc8033122e91e8a64bee27d5dba95","datavalue":{"value":{"amount":"+0.8462709","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":"Q2642468$D2C2BBD2-7BF0-40D4-957D-94B897B98E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b5fc25fbadf6fe70dc718798799f157895146","datavalue":{"value":{"entity-type":"item","numeric-id":5210804,"id":"Q5210804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa96fa1ae264db662e3da17f18a834acd6807157","datavalue":{"value":{"amount":"+0.839997","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":"Q2642468$84A1E14D-BAAF-4449-B285-817755E2ED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae34b71e2c69128b73d5ff0030291ee1abaf28b7","datavalue":{"value":{"entity-type":"item","numeric-id":5881211,"id":"Q5881211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d13f47efabcce7fe407e678194b334f8ba333a","datavalue":{"value":{"amount":"+0.83936197","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":"Q2642468$39C81CCD-BA52-4199-869A-C5D9D0CF6175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a586132e2a9035250bc3aaf50e941864255c9d","datavalue":{"value":{"entity-type":"item","numeric-id":6488536,"id":"Q6488536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176720afb60fbe64265f666a73eebac52b33703d","datavalue":{"value":{"amount":"+0.8292365","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":"Q2642468$F5DC2AEF-9E40-49BA-BA01-E3ED1FB1FFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c647cd056b4851befaf3e3c2a0e327caf51f9bea","datavalue":{"value":{"entity-type":"item","numeric-id":1201347,"id":"Q1201347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176720afb60fbe64265f666a73eebac52b33703d","datavalue":{"value":{"amount":"+0.8292365","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":"Q2642468$CEC20834-E41F-4CB5-9CCE-2EA68DB8A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f08ed4ddbed54098ea19fc87a166a3969cc5199","datavalue":{"value":{"entity-type":"item","numeric-id":5055788,"id":"Q5055788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f5da19f416fbf4d380276bcba707424542d5e7","datavalue":{"value":{"amount":"+0.8279489","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":"Q2642468$501C2AAA-0EC7-400A-B308-BF7CD4AF3B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a995296ad29113f91b725caf0e048a53ed7331","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e0a4dc71726e13984234fafd81d4b8b2fe0f41","datavalue":{"value":{"amount":"+0.8275321","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":"Q2642468$791FF76B-B05C-4D55-B085-8F15332D7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d377109860b2b897950d761b686913ca7226cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474fd763850e30659250a69af9463b0eddd0a7a3","datavalue":{"value":{"amount":"+0.824579","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":"Q2642468$4EA936D0-36CB-42B4-A2C3-D8D26F9125F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General \\(E\\)-unification with eager variable elimination and a nice cycle rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_%5C(E%5C)-unification_with_eager_variable_elimination_and_a_nice_cycle_rule"}}}}}