{"entities":{"Q2134938":{"pageid":2145681,"ns":120,"title":"Item:Q2134938","lastrevid":82526030,"modified":"2026-05-06T21:06:38Z","type":"item","id":"Q2134938","labels":{"en":{"language":"en","value":"Order-sorted equational generalization algorithm revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7517439"}},"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":"Q2134938$74F76938-5EA5-4CC3-9C7F-5AAC7B2188D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0799c486dc3a96d4c9148bba41719d7b95006636","datavalue":{"value":{"text":"Order-sorted equational generalization algorithm revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2134938$A927E36F-9458-4426-9FB6-38FB75BA42EB","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":"Q2134938$0352EE87-C584-4821-B9EA-432276B0A1BB","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":"Q2134938$6989365C-BE19-4172-BFDA-88065C679318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$78397DC9-6A55-49A1-9955-45344774F250","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":"Q2134938$AE4A597B-0318-4754-BA89-E2BFF987A980","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$B44AEB56-0151-4627-9F6E-0E45506E826F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b05da66de1584255452f3ef5c73cf21a17f3f357","datavalue":{"value":{"time":"+2022-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2134938$FE7259BF-7413-4689-BF38-FB67AF89E8A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$89D54168-C29C-46D9-8D7B-C8E8977E6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$FCF14EAD-65C8-420B-9441-5376A7AFD96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$CADCBB43-0437-444B-8628-7C0E863F5298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$F8E1003A-CE09-4CB8-B39E-CBB971F94FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$492E2054-F9C6-4C8F-917B-F305625087B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$1FF6BA47-0A5E-4C89-8FA9-1BCBC4B07C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8716dadf6992800c4c36f3a3a89cadfc3959bd8c","datavalue":{"value":"7517439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$DE01FA86-E167-45A4-91F3-77C0CF6E117D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4603f82dc4dacd03fa9303f6f1300cd055586dd","datavalue":{"value":"least general generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$38E5F804-B0CD-418D-A64A-7B7938FBE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7695994f35ae3dc61e3ec9741ce51e4252352910","datavalue":{"value":"rule-based languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$544E1F40-EE09-4750-9781-5C8DCC74575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$D72961D0-624C-4B24-9B1E-706BC2E13E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a500292917accb46111fa0dc7d086627e1f9323f","datavalue":{"value":"order-sorted","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$0E7AA708-044C-4027-B5E8-D8910B904AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f9bfcb5f91c67f433476a8c3251348f5cb99ef","datavalue":{"value":"associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$A53443E2-2854-4564-AE77-8A24946F8E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$197B4736-214C-4E3B-95C7-A88163771F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134938$9FBB34F1-782C-4FF8-8E44-028ED3B00484","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dd651b697c26b472f2f3e355f250595be3417aa","datavalue":{"value":{"entity-type":"item","numeric-id":43695,"id":"Q43695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$78AE6BC2-8436-427E-9F3D-6323866F2AFA","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":"Q2134938$05BE62D9-D8D2-417D-914D-DB80982CE794","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":"Q2134938$B3AAE541-C006-4A00-9E36-6FD3B5AD9D3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"998d6858e93ea7469de6e27a3ea35fa24408adcd","datavalue":{"value":"https://doi.org/10.1007/s10472-021-09771-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2134938$89C0259C-4157-4BE7-845D-B74BCED3642D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c48a70ac0bce5ea41b8443cd085ba81f058640a1","datavalue":{"value":"W3204542949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$8DCAF103-BFD7-4DF6-A95B-5922A5194FDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2d0e624dea5ad9c24b428b27d652ea2649ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":3617428,"id":"Q3617428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$4F132623-3F56-4A91-B2C1-37C151846FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfc56d1a17c0b1f57145b3bf5bc7d1645d20086","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$B7118886-5C8D-4591-9D01-516E90616937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32dac2092c38f4cd798073861594e12ca94ee37","datavalue":{"value":{"entity-type":"item","numeric-id":2938523,"id":"Q2938523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$BC2374C1-72FB-4760-A3CD-5AAF9BDE744B","rank":"normal"},{"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":"Q2134938$2EA66C49-2277-4CD9-A155-6EA5CB524D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c759d19d6abb986a4e2ed849a1d98b82096a48","datavalue":{"value":{"entity-type":"item","numeric-id":2296704,"id":"Q2296704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$CCA38D71-21BE-47F9-922D-02843557998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ff442d7cab4f91169a2e3e61a9968690d0a3a","datavalue":{"value":{"entity-type":"item","numeric-id":2209262,"id":"Q2209262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$7B378C50-6044-407B-80C8-2BB569AB7424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba6295207031901ae7d6c0dd331cdac59a0c1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291823,"id":"Q2291823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$4E28237D-A5B6-4E7E-A450-3B25F1460265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623cd7d73b698876c6f22f312233b6574180cd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4993335,"id":"Q4993335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$0F33E461-B29A-4245-AD80-602CBDAD7C3A","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":"Q2134938$4B15DF7D-C549-4BC9-9FA0-43E98833736D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cd5062ef7190bb31eab0c47c266fd2bf8ffbf0","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134938$A28A5E97-A0D3-427C-BC10-87DA53BB59CD","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":"Q2134938$AD69A48E-F05B-40B9-9EF4-C4200976A758","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":"Q2134938$07A8BAB2-7763-4094-8668-34CFA3F018E0","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":"Q2134938$06A1784E-B32B-4C30-B8A5-C42619DC328A","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":"Q2134938$B6CED0CD-D9A9-461A-9036-CC6FFCF7EC14","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":"Q2134938$C122CB28-99C5-49CF-8280-3C377AE64537","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":"Q2134938$1205F01E-E096-44B7-A44C-718E516F9AA3","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":"Q2134938$9B3CD6B2-FBCF-40A1-9381-F68D1C1D2FED","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":"Q2134938$F0A7DFD0-FD20-445C-91FC-887B827DC1F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19e503c1cbe842b766a31c7a809eb2ce95d867f6","datavalue":{"value":"10.1007/S10472-021-09771-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134938$F6D0A23A-D80B-4200-9D49-C5FDCA5D737A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9635844830b27570c06edab1b7d7588f6f44349a","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afe9b0532b51db302cbb2a2a4e3572295007fda","datavalue":{"value":{"amount":"+0.9167079329490662","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":"Q2134938$6C6E3527-5C90-46C2-B659-A86C9E6712FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf442b32a9f8dd346b9c2ef9220fe62a42162a7","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a214d1fddbef6e54040a0106eb0e35c25ee008f","datavalue":{"value":{"amount":"+0.8597289323806763","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":"Q2134938$59879B8A-06AB-4E5D-B963-924E6F6FC923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2addd49affe47ba418d607e6c403ea28135c4f8","datavalue":{"value":{"amount":"+0.8076873421669006","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":"Q2134938$5D1BA584-42B2-4F26-8AF0-48244B62A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5ccb15c95e9929926008825198bb4316ba964","datavalue":{"value":{"entity-type":"item","numeric-id":3617428,"id":"Q3617428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e786f757062190159087008739df972f10c4bf38","datavalue":{"value":{"amount":"+0.7982445955276489","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":"Q2134938$3640CCC9-C5C5-460A-BBAE-1F971341C6F6","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":"5b89dac0ca6635b32748d8ce25508e5cc10bc3e5","datavalue":{"value":{"amount":"+0.7733136415481567","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":"Q2134938$2F6B62AE-A9A9-4D3F-8772-F474610C3D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-sorted equational generalization algorithm revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-sorted_equational_generalization_algorithm_revisited"}}}}}