{"entities":{"Q5139277":{"pageid":7168848,"ns":120,"title":"Item:Q5139277","lastrevid":57188781,"modified":"2026-03-27T10:25:57Z","type":"item","id":"Q5139277","labels":{"en":{"language":"en","value":"Higher-order pattern generalization modulo equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7283031"}},"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":"Q5139277$837CAFA2-6711-4C30-8EB0-2F7F73F54B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7b2fdc5b67528f242e20213522c905ffc77beba","datavalue":{"value":{"text":"Higher-order pattern generalization modulo equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5139277$371B8AE4-A3B4-4AD6-B464-5352B9E6633E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3929226f0385ed4a6390a8ec88d41e89f8d7ee28","datavalue":{"value":"1495.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$49888354-551F-4AE4-8A48-4D5A5654B766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d868d1f3183a50e0fa1dd7394c79aa8dc351cd5b","datavalue":{"value":"10.1017/S0960129520000110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$B033533E-90DC-4E58-984B-529736B4BFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$7928F2A4-9980-477C-87E7-5ADA516B6693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$4BB16FAC-B719-4579-AC4D-2DC127A2DD2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$57D37FAB-F32E-4FEF-B710-E9EC1723B12A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a78190d4c8adc255c405de184aa517737c3fe83","datavalue":{"value":{"time":"+2020-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5139277$494CFCD0-270D-470F-89F6-091ABF0035CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$DA2A4F24-6D4B-4E45-B221-E92B8E27104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$30C9486D-B4D2-4CD5-8A53-BD3D446F1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$5822D7F5-6B06-4384-906F-588787CB0B80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce06bd5088962d0176af402838f1584fa3ec28f1","datavalue":{"value":"7283031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$7C1C2D13-958F-4A34-A63B-8B6E2A1B443C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139277$4C892C9D-239F-40C5-8B7E-5663ACA45D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139277$BB449A9F-2DDF-441E-9FC7-53799CF6AEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139277$EC013D58-67DE-48DC-A3E3-2318C3BE5AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad642d2813eee2a994e43b3b9490128acbb130e","datavalue":{"value":"higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139277$D7F21EF2-9504-4F86-BD1E-C4E172384EA5","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":"Q5139277$B8BEABEA-CAE9-4D84-A2FC-8418C6E1939A","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":"Q5139277$01840E68-095D-4DB7-BCB8-84C1D0A8A06E","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":"Q5139277$9BE29E84-F253-4D2D-A9F8-9F850DAA1237","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":"Q5139277$989125A1-042D-465B-9AD2-36E7122B0349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$47010C89-F425-45F9-BEF4-768C316C5DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6786ad04bafd38b20c9bfd5eaf4435fcbd807a41","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$7B86D639-CF77-4FC7-A409-DBA2AD3A4C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37594abd7e16a8852dc3ba4359b18fdb5fbfa74c","datavalue":{"value":{"entity-type":"item","numeric-id":2401634,"id":"Q2401634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$D7368959-587F-4EF8-A7D8-6F9384996C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb3137ec136249d77e62c3d4b9c959a9485fb47","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$13BC89E6-0046-41CF-BC8B-EBF469EC7677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0dfce9058ec9e7df125de82f01de860173b64","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$5D674110-1102-472A-8F4B-3C83F8CC3147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50060b20a35127a4dfa36286d297bca6510358d4","datavalue":{"value":{"entity-type":"item","numeric-id":4993338,"id":"Q4993338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$E4EEC596-D1FA-4857-A234-8CB4D0C77E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8a67a88b73ba76387f7f61989f14ff1e966f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5089010,"id":"Q5089010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$F4B89BA4-60FE-4D37-BBC8-1D2010C62028","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":"Q5139277$D182AE26-9CCB-4E80-A56E-7570399E044E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d892b085b4b332377a14108514583ee394897a","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$67F73DDF-2FDE-45A8-957B-981ADACE9AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$A8549437-5F75-4086-A723-63E9EF71AFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eed01591d6303bf42a7de70ea185dc89a3400f7","datavalue":{"value":{"entity-type":"item","numeric-id":4608715,"id":"Q4608715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$1FB7EA3B-AFEF-40A5-8703-7DEBF5D59C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653a0c9840396c893e824a46573ef52e90d0ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2417949,"id":"Q2417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$6135C740-1F67-46D7-81BE-502EB45B433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd59f3b5cc711e02e1b8b90021028e3c7e8cbb4","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$9B616E44-9A39-4DC4-B5A1-C5E993E31D0F","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":"Q5139277$FC7CEA48-4528-4759-96F5-279A56F28011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$759E831C-DBCB-4F2D-A4B5-4FBDC92481D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355ba040b4f683319f6d50009f8f2e01c234b1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$10EB3411-1B0F-4C33-889D-59DF00267AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40675f47bcaa35bf66f72f66b07d94668d806cca","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$1351B115-CEAB-4A13-A92A-E6C6B06116B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a3566baee927d0306df53e4c9874669d54176","datavalue":{"value":{"entity-type":"item","numeric-id":5739525,"id":"Q5739525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$B8271DB0-6FA5-4ACE-9720-880609AA4858","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a4886f8c006af7c1fa6e3c136d1c02bb43794b0","datavalue":{"value":"https://doi.org/10.1017/s0960129520000110","type":"string"},"datatype":"url"},"type":"statement","id":"Q5139277$C73D504F-FAEF-41B3-BCD8-13CE384BAA1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab692d0e01e0619a20d4bff58f3510f441097b41","datavalue":{"value":"W3026831509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139277$83007193-3C13-46D8-8637-F5647106193B","rank":"normal"}],"P1643":[{"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":"e079c5f72780546691eadb70a1c8eb9d39a430bc","datavalue":{"value":{"amount":"+0.97545325756073","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":"Q5139277$973E7C2D-4007-4B67-A355-DEA022B25ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f643c3af58865dbf8275cc595893e134cc61192","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cb4788dc22fc069c85e168624c8a2c1e0d278c","datavalue":{"value":{"amount":"+0.9006794691085815","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":"Q5139277$A609B18C-3044-4F03-A4A2-08B2F1A31393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78db81a52e13cc5f15f37e7929f323e66993e62","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3552fb5c04a06667ec9a294d491e1e3e4c2c44","datavalue":{"value":{"amount":"+0.89231938123703","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":"Q5139277$4AB6653E-63BE-4E61-BFFA-B83E19AC38AA","rank":"normal"},{"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":"7bc7d1c8312a9612de09f58fbb5935f3bb0c2480","datavalue":{"value":{"amount":"+0.8257717490196228","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":"Q5139277$F8D93ADE-8C10-4722-BC3F-A39AAC635C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498790f2df7b119f899fc3700ff814f93ff095fe","datavalue":{"value":{"entity-type":"item","numeric-id":5277871,"id":"Q5277871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f51dd09e65a184a55fe0e5e5ae23e2e0400d47","datavalue":{"value":{"amount":"+0.8090856075286865","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":"Q5139277$137A1638-6BA1-437E-AA79-F68211F29E98","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139277$B3EE5DCE-93AC-4EEA-89A3-0790215ED967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5139277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5139277"}}}}}