{"entities":{"Q5200017":{"pageid":7229588,"ns":120,"title":"Item:Q5200017","lastrevid":41706233,"modified":"2025-05-07T10:12:22Z","type":"item","id":"Q5200017","labels":{"en":{"language":"en","value":"Model Evolution with Equality Modulo Built-in Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934344"}},"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":"Q5200017$E9D07E7D-29A1-493C-8C2E-B2F548424637","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab154be80629621ad747c333812e02ebffc2c0c9","datavalue":{"value":{"text":"Model Evolution with Equality Modulo Built-in Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200017$7C2351A6-EDBA-4D48-AA67-5DAB35FC3F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716fc8beac694dc16f273cbe788632cc77d36c0f","datavalue":{"value":"1341.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$8050299A-84FC-4BF4-98F0-4CB71690B170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a318088a2344d2a632db9dfd9db9787ed41d27a0","datavalue":{"value":"10.1007/978-3-642-22438-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$56DA9C2C-AF84-4EAF-B022-1CD7DA147E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$E2232C01-3F73-4F91-A807-693B71AD6FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$F039878B-6D79-4D24-AB13-9FA19F6F8E47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$9F69CC6F-C88E-40D7-820D-027914D5C713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200017$30027C2B-1813-42A9-80AA-AD68F5296FD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$F0628AE1-AF9B-49A8-9CA2-F0FC6FA7401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$CBADFEA7-F6C2-496F-844B-4017A678F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$B6E9F8D9-48CF-45EB-AD9D-D1C5757E64F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65e316954b3877d1e084a4b52585dbcd8e390d8c","datavalue":{"value":"5934344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$2D360B43-9C07-42EB-9828-11968BD8B54F","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":"Q5200017$F60E91B9-83BE-413B-A817-64BF1E2DDC7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba864ac77dc5d938b6a402b5c6d057de8f67e42","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200017$88EC900A-9F43-4EF1-9DB8-045E9C4CA7A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60e0436b4d97cf36c95553b647dba181e7050d18","datavalue":{"value":"W29327042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200017$A9DA9FB9-CB5D-4091-A4D2-3646441F1423","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49cdde0e4e93beb3ec22ebb07bdb6ff64fe9a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$0A917BF8-D5C8-448A-897C-A9FFBC475188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$E02A1F82-C92E-4AED-8E98-61C98E8981AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8a150262d931e1d6f90a6e6be5a252d5844b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505559,"id":"Q5505559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$93CCB561-0C03-4E4E-871C-62D374CFBB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$B7B424C2-A4F4-4E7B-A2C6-56D495B30205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e929c89a961a1c2fc3e1cb37a7fa174924bf185b","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$185F71BC-B763-421C-A8DD-2A9E1E9B2B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8764d8364aa0df8893b959d7d0bc7a5f95624fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5387915,"id":"Q5387915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$60AE27E6-4357-4F97-A01B-978321ACEC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$22C5F859-41A8-47C3-B19D-AE09F1E0E1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$7DC41411-893E-4386-BA7D-ED767C58BF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$8E691065-6E9B-4953-9CE7-9DE8A905B454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200017$B62B0A48-2868-4969-9C96-B855DE10B42D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2552b0abed1d99e9628732a5ea40988e1006f66","datavalue":{"value":{"entity-type":"item","numeric-id":429586,"id":"Q429586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14ff9aa71bafa51a571376b3e2c181784586d26","datavalue":{"value":{"amount":"+0.93068355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$41931EFF-D9B5-4BC2-BA6E-726FA639B045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3095e6f99c1ed9ba385376092c408fc254cedf90","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5180c2cd6ca6a288a194c3f9f02481882abda9","datavalue":{"value":{"amount":"+0.9220573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$0C170206-114B-4059-9DC8-1CB087C36D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be933f553c32d8ad9e10a9b4b09884bcaa84b47","datavalue":{"value":{"entity-type":"item","numeric-id":4411047,"id":"Q4411047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5185130b4a315f0c7477c5b8527c828ad4d64f24","datavalue":{"value":{"amount":"+0.8440673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$2A263A2F-A018-4A70-B17C-5874B9E8E34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc97af2ab6a029a846899ccf182efc937b1090d","datavalue":{"value":{"entity-type":"item","numeric-id":438531,"id":"Q438531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3183da281b3df9d0a70957f2401cc668f892f185","datavalue":{"value":{"amount":"+0.8428298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$122EAE52-8AE4-4F60-8414-A1EF5A34ECA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0643386d376c8949987643b09500d167d01ada","datavalue":{"value":{"entity-type":"item","numeric-id":436356,"id":"Q436356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7ab8e1d51f4a1092c7ee0ec7bc1d85fcaa16d","datavalue":{"value":{"amount":"+0.8395721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$F696335D-BD11-4946-A9BD-74D96DC0752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1270845c32b98df4f02721467d7761ff78b248e","datavalue":{"value":{"entity-type":"item","numeric-id":4013731,"id":"Q4013731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7558836d3dd5e76b96a8b231fa98c727032a1810","datavalue":{"value":{"amount":"+0.8360843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$752E7909-B010-4447-BD98-B890E5320EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f236b2ee507874e13d95500bd71865f470cd201","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018aec2329f37bd10f90cd6de4b5db15d245ab65","datavalue":{"value":{"amount":"+0.8268791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$BA15DBFB-7E77-45F2-B89D-D31133393383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49dc9675b983adff3dec32facdc59e1cc708c768","datavalue":{"value":{"entity-type":"item","numeric-id":3460570,"id":"Q3460570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679b5a556e68cd938b4f0c6ee1509e0c96e19f59","datavalue":{"value":{"amount":"+0.82450867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$DDDD0E80-DFFC-4E65-87C1-45F9C9002894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f986ec0cbe86d1b57ee3714c8843e3131806eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852a61d8a1fe467971d5c0477b368b844545705b","datavalue":{"value":{"amount":"+0.8234509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200017$EBDD8E7E-416C-4BEB-93AC-BAD1225E085C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200017"}}}}}