{"entities":{"Q5277868":{"pageid":7307443,"ns":120,"title":"Item:Q5277868","lastrevid":52850570,"modified":"2026-01-23T15:42:31Z","type":"item","id":"Q5277868","labels":{"en":{"language":"en","value":"Matching logic -- extended abstract (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744187"}},"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":"Q5277868$04898320-CF01-4D6C-833D-A27BE5CE0381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6864aa49bd019c59ebd82fab6d53d1a064881a3","datavalue":{"value":"1366.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$A7E226F1-B59C-497E-BFB8-154CD227DE71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277868$A9293D1A-FCA4-429F-AD1A-E00A8431BCCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$B815BA12-B709-43FC-8EEF-912913761DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$0B70761E-7B2F-49A4-BBDA-3590B104FC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$A5E82225-D025-4B98-B8A0-B12B6157430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$CA9B250D-D4C5-42D3-92CC-AA18DB61DE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$1C48536C-481A-4156-BC80-9EB86F486651","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f987d4ed43484439c863451a66f42b73ce42a42e","datavalue":{"value":"6744187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$D9554AC6-F9EE-4CD5-93F5-45A12AB006EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277868$EDCB5CD7-9313-4A98-8BEA-D80813FDA555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277868$9600749E-DE8B-4CA3-B5DA-D399E960BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277868$C37C7DAC-5640-4E0E-904D-E8DBAE0B55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277868$DFAE0108-E96A-42D6-9772-077573BCC5AF","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":"Q5277868$A890D730-0512-4659-9A0E-AA351EB83C47","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":"Q5277868$1F02B186-3478-488D-B558-EB712A29E3EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f6982fc39106fe16732942a4c22e3305deb2cbc","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.RTA.2015.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277868$F57955B9-EC2A-4EA7-ACED-304B98ACB23C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33474fd466d4bf7b85508805ddb8721927c820ce","datavalue":{"value":"W2292164009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$0C0224E8-E8FD-405F-9C79-96AF0A6E77A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df8e1ccbcd427d8cc68052dde4aed920fdb211d","datavalue":{"value":{"text":"Matching Logic - Extended Abstract (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277868$DDB3AF47-B780-43A9-A418-1C76BD7096D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beace9df3868ab83d84a61ada79bc13ef0df8da6","datavalue":{"value":"10.4230/LIPICS.RTA.2015.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277868$A138CD4B-63B7-4F9C-B997-13E928E21040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1822155691b95685a9519f9f48b18e2a29a302","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"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":"Q5277868$459E5A1D-16AB-4C5A-8E4A-C46E456E31A3","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":"47f4af7fa14b256ea8a6ffb419284e2091f11f29","datavalue":{"value":{"amount":"+0.8852656483650208","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":"Q5277868$74AFB0CD-4C2C-4605-84AA-FE92C79772C3","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":"506b248602fc65751eb4294461f51b0bb2f42f22","datavalue":{"value":{"amount":"+0.8571714758872986","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":"Q5277868$AECBA4A1-3E98-48EE-B2B7-DE749A54941F","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":"2a016a5f86732ac113c6228ff72c25be0abc8a90","datavalue":{"value":{"amount":"+0.7691254019737244","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":"Q5277868$A84A17AE-012B-4A48-A2FD-6AB885FF6FAC","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":"9c27cb43236ec82828e9edc4e7b5ce498665b1b1","datavalue":{"value":{"amount":"+0.7493461966514587","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":"Q5277868$373287D5-2C63-4F0D-8B25-AE3105B14B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277868"}}}}}