{"entities":{"Q6160760":{"pageid":13295641,"ns":120,"title":"Item:Q6160760","lastrevid":41230053,"modified":"2025-04-22T04:24:39Z","type":"item","id":"Q6160760","labels":{"en":{"language":"en","value":"Variant-based equational anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691340"}},"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":"Q6160760$9D676406-4DC9-4DA3-9729-8CE9C6BA8EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a05a625fb697c8fe8599d8983cb204c1ac8e66c","datavalue":{"value":{"text":"Variant-based equational anti-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160760$CF06FE9D-5030-457E-B203-206BD1F73C20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad8914b22971de8b9e365130637ab42b020b5151","datavalue":{"value":"1522.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160760$E6E36FBF-EDB2-4244-82EE-E7B39360A46D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c0029d9eb59c3bb2a43bc9d21cc5b063c8dc1c","datavalue":{"value":"10.1007/978-3-031-16767-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160760$68D2279B-0CB3-4CA7-B96D-4D3A03F29744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$3C958D48-2C4D-4005-8244-45BB3C233A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$F4E33D4E-3F0F-45BF-AC1A-FD360CE7D767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$67FD237C-22F6-4CEE-8217-1A20725D20EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$F1A22B28-F717-4AC2-B671-C3A681362603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$1B155C59-A5A2-46CA-B3F2-CCBD6A35EF6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160760$AEE699FB-4864-4FC0-AC1D-49F18B59D0BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160760$65345760-57E4-4DEF-9F5B-826291863953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47efc889f70f31e45bc0de2017390fe6bd35578b","datavalue":{"value":"7691340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160760$2046F25C-9618-47AC-8D91-23F4CC309408","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":"Q6160760$8785D236-5CCC-4225-9F42-D08A138E66E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$109B7CCE-77D9-4E16-80B7-0A66090A7EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa994d6f6cc8fb37a9cea73b1189bf0a4f553ae","datavalue":{"value":{"entity-type":"item","numeric-id":2134938,"id":"Q2134938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$812F6057-9C76-4F2E-A6C4-FFAED0A34A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdae2f9abfb6a0c290fa453ee717c5806580158","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$D17A3523-DE5A-4903-A174-2C4094C50748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234434bf4756046f3787f34a8aa2d75f36530888","datavalue":{"value":{"entity-type":"item","numeric-id":4972174,"id":"Q4972174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$D58534FE-87D1-4BE2-82FC-7E2A48364DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$844487D8-730C-4582-9CA4-81F52ACC37EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543ae1084c64153706c675a4c3c0dcbc014b7da9","datavalue":{"value":{"entity-type":"item","numeric-id":2817918,"id":"Q2817918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$665F3B8F-3A0B-4E5D-B08A-95A6CF49291A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$5607C0E9-0392-4855-B932-6747B06927F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$EBBB5E30-7376-428E-9064-5C9AD896C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f053ea7eef251c837b55df533caab74e83ddff","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$8A9CE4C7-30F6-4FB4-8F12-FAF0E8727732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$122D079E-883A-49A8-8220-F0D2226F4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$DFF53056-DF90-4EAE-B6D1-682C978B381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$4CC5BF1A-75BC-4D7A-81D0-2211CEDA8B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a795a995788bd3d07cb6961e4d4ef2f1b33754","datavalue":{"value":{"entity-type":"item","numeric-id":1978459,"id":"Q1978459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$1DB886F4-6248-4F8A-A397-14D0B97C3B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca8ed728f8ee6a6984b8026c3ab25247d187938","datavalue":{"value":{"entity-type":"item","numeric-id":420926,"id":"Q420926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$8ABA366E-E192-40E1-99C4-A3FE82513D45","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":"Q6160760$65AAFE68-AFDB-4C33-9C1B-F9F3551365E7","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":"Q6160760$3254CF32-147C-407F-AE42-83CAD28021E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160760$509CB9C1-7CA9-4F8B-AE85-F46D44052121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c92ae53005a5d61974c6566ef8b91007845e730","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca4a553423423e72eb45031bbcc94f1b0a1a94c","datavalue":{"value":{"amount":"+0.9186356","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":"Q6160760$A9A8034D-631F-46CE-95E0-F8513D5D7575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0fac0ffd0bd8e32230c64484bf342332b19f06","datavalue":{"value":{"entity-type":"item","numeric-id":5020960,"id":"Q5020960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d40365746c33f5a2f1c2625839ca42a7a79707","datavalue":{"value":{"amount":"+0.8924133","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":"Q6160760$534072BD-D992-4A26-A67C-DD5A480C2305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bffc270f8b4957d8bb81ed3acc9f2f50586bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4993338,"id":"Q4993338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f445412f552d7111db21617c358298df1e4111a","datavalue":{"value":{"amount":"+0.855278","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":"Q6160760$F447168B-A844-46B4-AC70-7A6EB6B981AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c1cac90160f9b288d5fc23727eae818a9aa46d","datavalue":{"value":{"entity-type":"item","numeric-id":2287900,"id":"Q2287900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e16982305b4a1859708e9035a5c35629149c44c","datavalue":{"value":{"amount":"+0.84964234","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":"Q6160760$9A76A9AF-8F8C-480B-982D-CCCCBE4209E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b9fa2f98b387062a406593a7ae6cf73ac60fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1367080,"id":"Q1367080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5739e17d262b100366f9e680c9049faa226a2b6","datavalue":{"value":{"amount":"+0.8435298","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":"Q6160760$0D14931E-D8FD-4391-8CB7-09AFD028EDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9921466d4576cca155a18a6299e40ba7ca0f8ac6","datavalue":{"value":{"entity-type":"item","numeric-id":2029000,"id":"Q2029000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51318738882b520fd287ee21580567b131bc0f90","datavalue":{"value":{"amount":"+0.8377805","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":"Q6160760$831AC0A5-6F64-4E98-91E7-27BA50777F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79df43a114291ed4d32034a5f054ed9c9bff9b83","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c6c80eb5f6a2eb6f88b9f081fde453b3b139f7","datavalue":{"value":{"amount":"+0.83515143","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":"Q6160760$087C7BCA-6ACE-4A48-8AD6-D5FB44C331E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a80ee3fb3be8bd9225caae8ce917c4e5d24f249","datavalue":{"value":{"entity-type":"item","numeric-id":4889844,"id":"Q4889844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5676fab9927239c79d9a884d44d500707efbeaef","datavalue":{"value":{"amount":"+0.8350608","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":"Q6160760$DC813711-09A6-49E1-95A3-39571154E95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb67eb28a0ce730c6dcf90fbf8553cc26a9d994","datavalue":{"value":{"entity-type":"item","numeric-id":1197097,"id":"Q1197097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6e01c1ea60e47eb3567d5b03a01fc5f2ec8aae","datavalue":{"value":{"amount":"+0.8344676","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":"Q6160760$D69A9973-824B-4CDC-BBEE-C9545176B36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e615eb6edee083ce5481080ffa3237893c7ceb6","datavalue":{"value":{"entity-type":"item","numeric-id":1280985,"id":"Q1280985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0fde33c1bdb2c20f5257a9550701aacfe4c024","datavalue":{"value":{"amount":"+0.83036774","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":"Q6160760$038E5818-82C7-42D4-9E56-BABCA2A823AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160760"}}}}}