{"entities":{"Q4600770":{"pageid":6630353,"ns":120,"title":"Item:Q4600770","lastrevid":58297941,"modified":"2026-04-04T15:11:31Z","type":"item","id":"Q4600770","labels":{"en":{"language":"en","value":"Matching logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825408"}},"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":"Q4600770$84BE31A9-A5E6-48F9-BD76-E6F54B2DDC02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1bc91846ca9cd4f4e8ac5aed78e876ca565a8f5","datavalue":{"value":"1448.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$EBA5FBF2-1834-40F4-A36A-C437D736F022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53542c29ee2248c63f19f6210fccd2b9a37fe675","datavalue":{"value":"10.23638/LMCS-13(4:28)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$CCDEB657-A8DF-4EF6-9AB9-23FF202204DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-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":"Q4600770$223F3384-EE10-4716-B72D-6B7D64B996BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e7ffdb85b8891fbb9873cff29d36479d42b91f7","datavalue":{"value":"https://arxiv.org/abs/1705.06312","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600770$DB864DDA-AF0C-466C-9728-B226CC757362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$440CD81C-7E89-4253-B696-C9CFE1DC396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$A29E8AA1-08C9-4E43-A53A-FB949A7C1C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$7F0B32A1-7C85-4B0F-8A70-30B2A95FC360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e50d280a9beeddb1a5a1567ce7673dd40818ae64","datavalue":{"value":"6825408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$6B089EA8-6642-4432-B092-A560056758C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600770$F1477C9D-9A44-4070-BA01-CF52B3B17FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600770$2952F3D4-01A9-4E8C-B892-115A088EF145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600770$D7FDA04E-B664-4A84-AC11-BE17039F70E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600770$49228F66-F8CC-4B11-B6E2-B29B9D6C5631","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$7718316B-E74F-4F4F-BB72-DCB9CC524F73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$D731BE64-1692-48F8-A53A-3377C8474E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$11D8F0F6-E979-469F-9EBC-9E6576E1B46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$ABA43FF8-0B26-4EE3-BF03-919EA3F6E489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$5B213B22-E84C-4112-979D-8FF539D0A1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$20CF3F74-00AF-4E59-8903-42683F3B23DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$97296CFB-E352-4328-AC30-4875C2FBC884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$71C9FF8C-807C-4492-A47D-668628C0E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$8D573389-0874-4309-8346-DCB6AF76F4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$1B644343-4C14-49D7-9124-D2E477C3B81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$3EB19BE1-FAC3-48CD-99BA-D1C0472D4C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$9A5E8E73-048F-426F-81E3-A312CF0882C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$C0158F90-C242-47F3-B24A-9898DD94A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600770$7039243A-DC4D-4369-A238-236C69C90332","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":"Q4600770$21F43B7F-394E-4BD2-8B94-D8E484716BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98a393d8cc56a0f7d67198f7b970d16cd82b43c6","datavalue":{"value":"W3037272170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600770$523DAED3-7ED4-4F97-831D-E8719AAD3E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fad1ad0e2fe78b0f346bc083ab66c844e3b9993","datavalue":{"value":{"text":"Matching Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4600770$47E43453-AD2E-46EF-A04F-DF203EE2BD9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95562d50198b3a44f584238817ac937c2d20377a","datavalue":{"value":{"entity-type":"item","numeric-id":5277868,"id":"Q5277868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cebd1230e35656af77edb4aae307d1e4e92b37","datavalue":{"value":{"amount":"+0.9736834764480592","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":"Q4600770$96D48789-54EC-4685-8FCC-877DDE2A9D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ec4cb470136f680da8d24bcdda511bbb07f048","datavalue":{"value":{"entity-type":"item","numeric-id":2035650,"id":"Q2035650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e2864a06d8a5888c377e00aa975a23d975db25","datavalue":{"value":{"amount":"+0.8834195137023926","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":"Q4600770$21C2523E-3996-4DA4-B1F3-AA663334CDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f4ff472e77d3c2ee5dfdfef8d78656a9b9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c88ecd9960d8815b5bd8884a95fdf64e1060e90","datavalue":{"value":{"amount":"+0.8498452305793762","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":"Q4600770$4F265EA3-20C7-4D05-956B-BDE2E50DD48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70383910b2fac956b1c2dcda857a4fad5a393ad7","datavalue":{"value":{"entity-type":"item","numeric-id":6486031,"id":"Q6486031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b556aafeb233980248e4f8b0cd23cb895b47c4","datavalue":{"value":{"amount":"+0.7588649988174438","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":"Q4600770$EB170587-ABF5-4627-A213-69CBEB51E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e8cd97f2a4f97e75ef444f2b9d8bef58b447b","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ac8c56760b3e2ffc8f05c09e86d902a9ec5a40","datavalue":{"value":{"amount":"+0.7379539012908936","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":"Q4600770$B3CFB5CC-FAB7-4DDC-B6E5-380606D9CE52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4600770"}}}}}