{"entities":{"Q1702888":{"pageid":1713629,"ns":120,"title":"Item:Q1702888","lastrevid":73808256,"modified":"2026-04-14T17:19:36Z","type":"item","id":"Q1702888","labels":{"en":{"language":"en","value":"Deciding local theory extensions via E-matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845627"}},"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":"Q1702888$FFD90AF3-D879-4EBC-B88A-078F5A0257D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2215426e82a316ee9588920166db22356836564e","datavalue":{"value":{"text":"Deciding local theory extensions via E-matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702888$D4FA5462-E585-4F09-AEFD-A751B55801F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"591003602261c03c7a83f16b6f65481cd6862d6a","datavalue":{"value":"1381.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$21787579-CF83-498D-8AF0-61C89F5B4D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c0dce28567b3622a2e00e21f43637442a5d971","datavalue":{"value":"10.1007/978-3-319-21668-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$6510CB98-00BF-4400-A4E3-EABA7D3F3EE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62294fb13e708c6a17a9b331a0fc305e71cac6e","datavalue":{"value":{"entity-type":"item","numeric-id":1702887,"id":"Q1702887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$7AAB7A33-7E8C-43E6-88B1-8B5F2B95718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$CDFB4122-D318-4EDF-94BA-0A22814A4003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d6d2df57140b8738e420c9f16da523f55af6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1688536,"id":"Q1688536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$71222613-918E-4FCC-98AF-B4669942971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$51D02C6C-19E6-4FE5-B199-81B513A8DD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$354EF3FF-C798-4080-98ED-81857C2F894D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702888$7D623844-6362-44CD-8021-61F8CB058AA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d73b6deb2413f533c2dca8482c50d1d17c39ee7","datavalue":{"value":"https://arxiv.org/abs/1508.06827","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702888$CEE8E57D-9DAC-4B6A-9EE7-C003FAAB2F10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$BAB76763-4AF5-4178-B952-D3B1E5D91D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$B6EDE596-864D-4C7F-9876-EBAE50177D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ce72229e9db30bd04d01cf9d7871e3ed5042ec","datavalue":{"value":"6845627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$2E470139-AC6A-48B1-9F52-269F2953E9D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$BBF00369-6BE0-4C32-949B-9ED04086D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7fa65e262825f4fea3653dcc59f09ef0e691738","datavalue":{"value":{"entity-type":"item","numeric-id":35078,"id":"Q35078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$3FCC4A2D-A04A-4D5C-95AA-3D183CA97F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c38d7d9c9f3af17c25a5c6cf3800ef2ed92e522a","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$8B82929A-F833-4743-8D3B-D906E44D9686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$414B6546-7886-4CBA-977C-F93A79958014","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":"Q1702888$AE823207-E49B-4CD9-8688-ECFBEC4DAFAA","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":"Q1702888$F2AA8F43-9EE4-4743-9FEA-BB6A8F5007FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702888$349F8256-D9C7-4EDF-A115-69889324FD17","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":"Q1702888$15A1E2E8-88C7-4690-9A6F-480C51077410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d0df1f2f552acbb30b72ae4c383bdddbdac50ec","datavalue":{"value":"W1895616280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702888$C90CDD10-0B7B-4455-B8B7-355470E5CC11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417c295aa8850bc0aad5c9c16c2a88ff497b9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97065f5dfc4e62d41c11e7fe7c958b3141c6279","datavalue":{"value":{"amount":"+0.8258548974990845","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":"Q1702888$176F510A-8130-458C-AF5D-5AA70705CB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e0ef6c5f27f789cf9025606043607c514eec1d","datavalue":{"value":{"amount":"+0.7872547507286072","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":"Q1702888$08B63FB9-0E38-4E53-B912-289B20C7D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d58c522eb3ae8e464ae76bc74118cda7d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":1687536,"id":"Q1687536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174862344df455412d1e551d212989fc8aecea15","datavalue":{"value":{"amount":"+0.7822885513305664","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":"Q1702888$6C40A90C-8F47-478F-AD97-EE0B8A2DB642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4931e24adad0f5beb633e683446d681dacbacf","datavalue":{"value":{"amount":"+0.7786626219749451","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":"Q1702888$C879BDC6-E398-4BF0-9FC2-D844FD3100EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e49232818fdd4e7b6010499f3094b9def14ff3","datavalue":{"value":{"amount":"+0.7689372897148132","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":"Q1702888$F1D7AC56-D973-4C81-92D0-A8EA24C8B815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding local theory extensions via E-matching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_local_theory_extensions_via_E-matching"}}}}}