{"entities":{"Q688579":{"pageid":690428,"ns":120,"title":"Item:Q688579","lastrevid":63494508,"modified":"2026-04-11T13:33:04Z","type":"item","id":"Q688579","labels":{"en":{"language":"en","value":"A note on the parallel complexity of anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444949"}},"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":"Q688579$E20BBCFC-8DED-4215-BDDC-CC9EEAB27AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4bd04d902dfe8e9eccd938007d545cdb1989ce5","datavalue":{"value":{"text":"A note on the parallel complexity of anti-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688579$0EBEADAB-27BE-43D4-9B03-9A48BEB602D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b35384d2af4afbdb102f8669bee0297ca9f215b2","datavalue":{"value":"0784.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$AF6E0050-615E-4209-8D6A-7F27A2243490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dbc345c6c6db817f01b6a3b4c8bb6f1a63bcfca","datavalue":{"value":"10.1007/BF00245297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$A88E266C-5E7B-4F43-9BCE-B5B212165D13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f37b01c7ec37fab8558bc6378c21c9f29ef2704","datavalue":{"value":{"entity-type":"item","numeric-id":676652,"id":"Q676652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$5CD2C462-59D5-487F-966C-1B67062713C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa303ec75886dba15e294b6c0a159a95c2aff9f7","datavalue":{"value":{"entity-type":"item","numeric-id":688664,"id":"Q688664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$8D5F986F-9DA9-40DF-9C41-4EEB5575AC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637eb5bb74c9ad57cc9d39e5cb25b44dca57cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":581399,"id":"Q581399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$868DF6DC-6725-4810-8B78-D1D10BBC9168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76970e9f1cc2f0ba5160675d21ebe29badc462ba","datavalue":{"value":{"entity-type":"item","numeric-id":1310563,"id":"Q1310563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$AB4E67F4-D517-4F49-A9DB-E0627760C6DA","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":"Q688579$8A6B333F-9576-41D6-ACB5-5963D73C78CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688579$7A21CDCC-00AE-499D-BDEE-12DCCF1A9068","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$58E78B07-ABAC-48C1-B2C0-EC59DA00E68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$365A142E-9160-463F-A80A-6EA3B58630B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a330728ecb506b05f18fb39c153d808ca2367fa","datavalue":{"value":"444949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$3B745DD3-B2E0-45D8-B462-B5099684D360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q688579$C57DE23B-4E83-4637-8639-F2EA6EF1C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad5bc9a485aa46ea3c3246e380097d0d8214c78","datavalue":{"value":"NC","type":"string"},"datatype":"string"},"type":"statement","id":"Q688579$D66D526A-DBC2-4456-BFC6-F65E9EE678EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q688579$6A44F49D-F98D-4F04-B658-0279E019F013","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":"Q688579$55AF6CC6-A387-425F-B3D3-84332F23345A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01eaf0f5611037ed7793df2f99c8fa6a7e4360a","datavalue":{"value":{"entity-type":"item","numeric-id":3678673,"id":"Q3678673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$A98A114C-4FA1-4197-AD06-FE1BFA38E7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$43805739-E10E-44C8-9BC0-6A357C68259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156b827ac08590a45280d67b6908c8fca5d0899c","datavalue":{"value":{"entity-type":"item","numeric-id":3796803,"id":"Q3796803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$AE22C2E7-379F-47BC-93D2-5D4309788EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2628ffb9e59aa19553582ac944ed7dc8d827a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5402548,"id":"Q5402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$9167169D-E8D7-4610-AD52-BB91B32B38A5","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":"Q688579$03231C93-A6D4-4FD8-AB9E-34C4B93EEC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c543490a726fc37940ebd65e1478942f96856567","datavalue":{"value":{"entity-type":"item","numeric-id":1356224,"id":"Q1356224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$85FFF60F-36A6-4A58-BA2E-D58B1FDC6606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$FCD82097-80B7-46DC-BC60-72EBC15CC78D","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":"Q688579$A92BCC78-7C61-487E-BC63-21CDA4ACEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76733e5540aa94ca8fb719ca9368275c83d953e","datavalue":{"value":{"entity-type":"item","numeric-id":4203813,"id":"Q4203813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$0A6AF1A9-C870-48C8-8EF9-EEF61F9A260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc29fe093b058bdbb2423d4a67351cf972eb78d7","datavalue":{"value":{"entity-type":"item","numeric-id":3321444,"id":"Q3321444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688579$C98851B9-18D4-47DB-A128-15EFE664E502","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c9b311bbdbd2999303ea7b6964c81517ca7dcb0","datavalue":{"value":"https://doi.org/10.1007/bf00245297","type":"string"},"datatype":"url"},"type":"statement","id":"Q688579$EBE4A932-DE1C-40FF-AC4C-F1DC27A19DCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"224e9d11fd088e460e1190e509c2b7959507db9f","datavalue":{"value":"W2094748790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688579$8E3E0332-DA29-4BB3-8002-8915B4AA1E06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bcfbd5bf81407ea8020c4db7a5044b1d38544","datavalue":{"value":{"entity-type":"item","numeric-id":3184519,"id":"Q3184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a320313cc634a20367ae1c4de900f60168585e","datavalue":{"value":{"amount":"+0.8330209255218506","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":"Q688579$8D39202F-013A-4AEA-839C-0E249C13FBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d310ad792d544f2e529af4322855a5e16be29b6","datavalue":{"value":{"entity-type":"item","numeric-id":688582,"id":"Q688582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4aaed94b6003c91cefd1a5a9ee9a84217b1091d","datavalue":{"value":{"amount":"+0.789652407169342","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":"Q688579$C3B8442E-7D75-443B-B973-0F7AFE9238AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f643c3af58865dbf8275cc595893e134cc61192","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847da4e6dc600e1d5d58e1dcf2542605014ed276","datavalue":{"value":{"amount":"+0.7851962447166443","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":"Q688579$67506768-259E-4444-99FF-CA3AAF31C5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b21917550933060ce3b153ea5861cd8864d1577","datavalue":{"value":{"amount":"+0.7754658460617065","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":"Q688579$3392C505-B091-49A4-ACD3-36DE9FB0319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188523ab424567855a041230f5199e2deb8b8cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf36c3cde736780f3863657fae89760daad5e15","datavalue":{"value":{"amount":"+0.7499929666519165","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":"Q688579$CD141C62-B4D9-4439-A7EB-1013E3B0DF39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the parallel complexity of anti-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_parallel_complexity_of_anti-unification"}}}}}