{"entities":{"Q688582":{"pageid":690431,"ns":120,"title":"Item:Q688582","lastrevid":63494535,"modified":"2026-04-11T13:33:05Z","type":"item","id":"Q688582","labels":{"en":{"language":"en","value":"Efficient parallel term matching and anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444950"}},"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":"Q688582$9C44CFE1-F0BC-4DC7-9DAD-16F9417D0126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1155021acaf1a8b97141ae0e0aa3a4ac503a8355","datavalue":{"value":{"text":"Efficient parallel term matching and anti-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688582$22E196B8-C3F2-48C1-858E-F745E37E2653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ff90332ef8a5e9f2d594a7c71bba54cc0af0d6","datavalue":{"value":"0784.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$942B59EA-EDF7-4EF7-A223-5BC0A2A7CC5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"495407666d5f2a41eae55a120a5aa05cceaf7f7f","datavalue":{"value":"10.1007/BF00245298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$7D91E49D-9343-418A-BB56-4D0614E1235D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"913af7f6bcb8c47a1935c490b30e10eed6f3a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":688580,"id":"Q688580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$8871EF76-A828-46F3-BDBD-D9E9B7E96119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5e9000692cd81ede42b133422e51184c0b887e0","datavalue":{"value":{"entity-type":"item","numeric-id":688581,"id":"Q688581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$C33466AE-2B61-470D-94D7-6998CF1F6996","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":"Q688582$08292A94-3371-4A9D-A747-C4AE697D54D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98b516b3b9176710c62782f44acda15286afefe","datavalue":{"value":{"time":"+1994-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688582$9BBC40C5-B535-42F1-96B5-9C63463BE06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$6A1CB972-C43D-46C2-A700-965D2CD0C11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$C6A949F6-BC06-4492-8095-50A8D4D86704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcbc05ef299185dc4a27c6267dbe63a84d445475","datavalue":{"value":"444950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$3F31450F-838A-4C04-A606-E2D721244AE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0de1c9f116b71d20e00b93e07300eed544fdd8","datavalue":{"value":"EREW PRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$7FE36412-2D7A-4B86-A373-47EC40BA277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0460a0356485c287af14e0288dac62f7c6b389e4","datavalue":{"value":"CRCW PRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$AF6AE33E-4EBB-4988-A653-E083D7CDF084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6dd60ce94b5af47a4910e24a24fda323b8f545","datavalue":{"value":"term matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$2B1DD363-320E-4F82-B3BD-9DDF56F27BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$D552B827-3B79-4CCF-8F29-39F41CF2E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$55D9CF2E-E30A-4999-B9C4-DDE46920C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779125ff214ec3bb1d91277c75ef4d4e63a9a383","datavalue":{"value":"symbolic pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$D9DA880A-3866-4C13-8016-A061670516E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$FA715481-5758-4D67-A46D-827693D5DF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q688582$982333EA-B785-45D5-82B9-55B0E5C69A83","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":"Q688582$0F4CF5C0-3903-463A-BED2-896D0C6F6488","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$F3F3CD2D-ED70-4F85-AB93-E9C83EB262B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba9e98d83fb097641689563c120aebf958873f5","datavalue":{"value":{"entity-type":"item","numeric-id":3796769,"id":"Q3796769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$6949D6F1-7D49-41B6-90B1-C540617C1343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb1ec0d7ce822fb5941419bafd4a3f4e7cd71cd","datavalue":{"value":{"entity-type":"item","numeric-id":3753489,"id":"Q3753489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$C96AEB3B-3BA1-4936-8D5E-C31A07EEB229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d325e1edaf22e6839eef793a2754c72dc7e5803","datavalue":{"value":{"entity-type":"item","numeric-id":3777447,"id":"Q3777447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$60310B6A-95A6-42B5-A380-21D23CE3D61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef73d8a7beb4c5188e4a158375f61e726f8be447","datavalue":{"value":{"entity-type":"item","numeric-id":4734752,"id":"Q4734752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$C73CC26A-6291-4AA1-8656-0D5DEA6F6DFF","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":"Q688582$F66BF430-5960-44D0-9F76-045423DC2129","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":"Q688582$9CF7E793-68DF-44EF-877D-9D8A829AE1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00708b4078648865d18948bef9499b484690d96c","datavalue":{"value":{"entity-type":"item","numeric-id":3867197,"id":"Q3867197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$D2713FE8-7A93-414C-9E36-63B673134507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bbca1bd52a8b705768d2a03b4b5b5c1b7c0d27","datavalue":{"value":{"entity-type":"item","numeric-id":4385522,"id":"Q4385522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$97B43AED-7CAA-4A34-B597-6856923114E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f09e98e05f239185ab72d86575a426bdfd810e","datavalue":{"value":{"entity-type":"item","numeric-id":1186605,"id":"Q1186605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$68ADFA8F-2D67-4B9C-9AD1-4651C5DDF7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff7479ddc260e53aff0e6942aa10f316d45a986","datavalue":{"value":{"entity-type":"item","numeric-id":688579,"id":"Q688579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$484F6D4D-0CF7-4705-A632-38322443E525","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":"Q688582$FB2ACD93-3521-47E9-816B-CDB4B1913D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90822171efa1c7d26300416328cb969809d66a24","datavalue":{"value":{"entity-type":"item","numeric-id":1162158,"id":"Q1162158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$3DDF632C-0C83-4F3E-A186-DBA14D8FEA86","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":"Q688582$4E072385-FB09-4B05-AF36-F53E7EBDFCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3dda75970a4bd0a41ac690f289b5e07ae9c635","datavalue":{"value":{"entity-type":"item","numeric-id":5677085,"id":"Q5677085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$9607F8EE-1930-4ACA-88D8-93D85E06011A","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":"Q688582$55B6A31A-D16A-4E1F-813C-520C46FA20AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$AC26890D-3281-4FFB-9739-1B9FBE24B3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5477e08259683f4f1214eab272881c214067b5","datavalue":{"value":{"entity-type":"item","numeric-id":3694710,"id":"Q3694710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$F142F36E-A56B-4D5C-99BD-F4CDD0109CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bc93cbca953e308ba80d56d252ce03b581ad05","datavalue":{"value":{"entity-type":"item","numeric-id":4720785,"id":"Q4720785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688582$FCF05DA7-BE25-4587-8BB2-141AD0FEEDCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d8a9c6d8394d58d0668879857ce0361bacc94f","datavalue":{"value":"https://doi.org/10.1007/bf00245298","type":"string"},"datatype":"url"},"type":"statement","id":"Q688582$8F55B105-1F74-40F6-BB47-4F742510D2E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"383efc26606b62b3c99d80453cd8ed31bb0421c6","datavalue":{"value":"W1492604685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688582$AD6C8EB1-F8C6-41A2-83EE-62645A240D97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd83906638f66054aa8e3b32643b305383037863","datavalue":{"value":{"entity-type":"item","numeric-id":4203813,"id":"Q4203813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7146469ee7dec725b375c98fefe2f27b49ea042f","datavalue":{"value":{"amount":"+0.8840349912643433","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":"Q688582$B14409FC-1D9B-45ED-A9DA-BA9059647993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69414932e2bae1edd8422b7c0e718c0f1d1b5b64","datavalue":{"value":{"entity-type":"item","numeric-id":3783558,"id":"Q3783558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd3c35072ca58be9a5e8f900e7d179fe84ffcbb","datavalue":{"value":{"amount":"+0.8773202896118164","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":"Q688582$2E8A2D46-3233-46FB-B2D2-4B9B7EB13689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e33c6ed1117df8d5daa6126c858ad55ea3a1c79","datavalue":{"value":{"entity-type":"item","numeric-id":3786016,"id":"Q3786016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20bc6e73c6fedc4bf91608cd59f08482b5ace4d5","datavalue":{"value":{"amount":"+0.8591282367706299","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":"Q688582$C5062FC7-6AA9-4267-8123-BE8988C4100C","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":"bf3907116131848f932c3b93c63712d22c26cf5c","datavalue":{"value":{"amount":"+0.8524713516235352","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":"Q688582$BD7BE2F4-310F-4752-83BB-EFFA0BBC389B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5abd0ed32663ec1f8f50a5ea83f981e703924f3","datavalue":{"value":{"entity-type":"item","numeric-id":3817659,"id":"Q3817659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b325c9f3eac9ab029f3e2b149d4dad1390d5b638","datavalue":{"value":{"amount":"+0.8432549238204956","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":"Q688582$4ABBB4F9-E03E-47C4-8FD4-3CE6204494AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient parallel term matching and anti-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_parallel_term_matching_and_anti-unification"}}}}}