{"entities":{"Q3305561":{"pageid":3316269,"ns":120,"title":"Item:Q3305561","lastrevid":80251550,"modified":"2026-05-06T15:46:08Z","type":"item","id":"Q3305561","labels":{"en":{"language":"en","value":"Higman's lemma and its computational content"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229516"}},"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":"Q3305561$8A87C032-E1A9-4282-A113-6B0F6FD3FC32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ddd5cf5b8760ed84814213081247fc8e810589","datavalue":{"value":{"text":"Higman\u2019s Lemma and Its Computational Content","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305561$C00F3FE1-C0AA-4170-BF49-24E3625A9805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82308ed5355c6565a7c42e06d6b7d6060967c39a","datavalue":{"value":"1439.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$E9EB317F-9950-42A6-8667-4DB56073FB33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb487ed0b5b96d195391ffcd8b96bf95a1c8113","datavalue":{"value":"10.1007/978-3-319-29198-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$FDD59526-426A-4A31-9BE4-B8D9DD25EE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$F96D86EC-D086-46CC-BD2F-5DC5F5AF77D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c1321f49508cea4a158e2ae71d33c1ecda72d","datavalue":{"value":{"entity-type":"item","numeric-id":693062,"id":"Q693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$04D4EFAA-2ECA-4FF1-A181-963A557C2EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757580f4af603b194f494f14abfd0db26bebb99","datavalue":{"value":{"entity-type":"item","numeric-id":2117811,"id":"Q2117811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$EBE1F960-765E-4E12-A5F8-932E82245AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e498f87878cc10d1e14c067484ebfeb4fbbf3580","datavalue":{"value":{"entity-type":"item","numeric-id":3305549,"id":"Q3305549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$5858EB5A-0EAB-4E6F-B5D2-A80C0881E439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305561$E49954E0-C704-44C3-906D-322DEC4CFB8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$84C04372-5D17-45B7-B711-CBB70658D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$C1BF4564-C784-44B5-B5EE-317405DA652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$41074C4E-8243-4079-B348-1045E0A35685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f8c3e769e6f3a28dac37ce942ff563a950aa538","datavalue":{"value":"7229516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$90066BF9-D34E-4DA8-86AF-5C6DADD696E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305561$EF359DA8-67A1-470E-BCC4-41F584401FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305561$5C6F49FA-D595-41F4-97E1-54824A27022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912491d00d89156e113fd2785b0eb616d60e7afd","datavalue":{"value":"minimal bad sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305561$B465261A-677A-4F6E-AA94-D2BC2DC86014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305561$1AFCE9C8-5667-4109-A5E0-A5A688E06AEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$0885EE9B-0F64-4D03-9B62-164A6ACEC152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$52F10F71-ABF5-4A19-824A-22EBEF9C5421","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":"Q3305561$6F69C72A-1DBF-48F1-AC60-FF8245A9EEA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a4d3377d681935323c31d7420acb55a31461f44","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29198-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305561$02CB4BE0-E21D-429D-A85F-17FDDD1470B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42494cb07f751468792e39767741a473a8e1c325","datavalue":{"value":"W2461293012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305561$81F9AEA1-3D14-456B-BC9D-677AA0CEB801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$26BB9E8A-257D-4E06-B9ED-A7558CD06B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af89c59f1f5f834f23b332093d0e5bf56a577458","datavalue":{"value":{"entity-type":"item","numeric-id":3090883,"id":"Q3090883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$80BB5526-EBF0-4B2D-A511-0503F9C97426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeddfec2d6761bcca5b706cfa4f21836083ab429","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$D222D4FC-1719-4A19-A5EF-5D306B0E661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48f619e2e9aae0c428d8521137e2561a8f3c25e","datavalue":{"value":{"entity-type":"item","numeric-id":1129003,"id":"Q1129003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$162398A0-2E32-4334-AD7F-76940D71C255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb1c53dbd3af349891a0e5e82b13b1ecf008b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3874266,"id":"Q3874266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$EFCF585C-CFBA-478E-9FE8-A94CE4202E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b977cc0abbb9233e203718261068766885e4fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4246946,"id":"Q4246946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$7862CC33-5950-4609-B34C-8BEB3AD7B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e536c2e036a8a917ff323395f95e0681780f584","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$AB0A1C74-2C76-41CA-9291-D5DB04F5D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$B56A6035-626D-4C3A-A51D-1437E719BCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0a6b10a633b15b482dfacc8bb9cee4eab0041f","datavalue":{"value":{"entity-type":"item","numeric-id":1320416,"id":"Q1320416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$724F9592-56E2-494D-9D4B-35BF62293CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$0004BF53-6350-4CF7-A5E8-AD5EFA237778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23036e1113327d56a4faad6ce26d642a28bb5ed4","datavalue":{"value":{"entity-type":"item","numeric-id":438550,"id":"Q438550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$5AA069B2-F7E9-4607-B004-AD244711B9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$1CA0449A-A889-4730-8D6D-FE39A5CD0C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da2c43a64364d02ebf094c8275dbd9f42f55465","datavalue":{"value":{"entity-type":"item","numeric-id":5714445,"id":"Q5714445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$EF19EFAA-2CA4-47E0-9E09-C47E18E5C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19424dcab1b0758ca560086e569b9dd82877f98","datavalue":{"value":{"entity-type":"item","numeric-id":4986736,"id":"Q4986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$F6302E35-023B-48FC-A6F8-A861875C5584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$87EE9D3B-D618-4B83-91C3-E5B62F016133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d8ad24cb4bd25b66b08a8a88a01461662f8272","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$4DF01BAD-4A8C-4C4E-AC56-BBBBC646E13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$8C4246EF-490E-4E9E-A600-DA1F4BDEAB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$56459CFF-6B47-438B-8BA8-75EAE98E7A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6428c4cdf39c49636a72e8d219cd294de7df3a27","datavalue":{"value":{"entity-type":"item","numeric-id":4552751,"id":"Q4552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$55E05610-B4D8-48B3-8257-15A164067DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94056ab270f784a776b098fd21c488af8c94e39","datavalue":{"value":{"entity-type":"item","numeric-id":4736401,"id":"Q4736401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$69F915CD-8955-4224-836C-8010387DCFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f8ba04e25c8e53833bb5d22263f9a05336ea6c","datavalue":{"value":{"entity-type":"item","numeric-id":5195254,"id":"Q5195254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$24310040-A4AF-494B-B545-D08DE43852AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f204446f2bbc2f432afaab1f10254083bd2c54cf","datavalue":{"value":{"entity-type":"item","numeric-id":1400716,"id":"Q1400716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$6E14B315-6CD2-4290-9FD6-AB11D09E920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac1ee249c73c16d45e6922836fb575790a28b14","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$A43AF50A-112D-4DF8-811D-3B2D8EE8269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3970a8bb63aa33027515329082f5a7037e0f8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305561$1DE01CAE-BE03-43C8-8BF0-8A9F08633BCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce93b36fbb93578ad5ecba2c0a0680a8f43e366","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce28d0cf7371ebb503a5045dfbb31414baf78ee","datavalue":{"value":{"amount":"+0.8573916554450989","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":"Q3305561$BCDEA2A0-A057-48A7-BD6E-8A4FB59CFDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5646a8e54fc64977dc8dbf952c8c59395c9dc7fd","datavalue":{"value":{"entity-type":"item","numeric-id":4246946,"id":"Q4246946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0387d2df1985156f8e9e42dbece8183e23643763","datavalue":{"value":{"amount":"+0.854796826839447","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":"Q3305561$7CE3E268-302A-47CD-99FC-CEC70F9CA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bdac2a0e62336004c23566aca5dee3507efa6e","datavalue":{"value":{"entity-type":"item","numeric-id":3408130,"id":"Q3408130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0387d2df1985156f8e9e42dbece8183e23643763","datavalue":{"value":{"amount":"+0.854796826839447","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":"Q3305561$C94DF098-13F5-4410-802B-77A88613132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f27065c7611ec1a3b474989cc0983f124878d9e","datavalue":{"value":{"entity-type":"item","numeric-id":438550,"id":"Q438550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6713dd6c35feafec512e042734249261fc98c42","datavalue":{"value":{"amount":"+0.8531651496887207","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":"Q3305561$AAD22082-B0F9-4CE5-A450-FE39F1860B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b2fc97ba370de2d5a2b94665da59dda50e8153","datavalue":{"value":{"entity-type":"item","numeric-id":4736401,"id":"Q4736401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9b44ae1dd522d23c0ec9d6a9e91e68cbca91ae","datavalue":{"value":{"amount":"+0.8158458471298218","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":"Q3305561$10413B78-816F-4A6B-A5D6-215EC41F576D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higman's lemma and its computational content","badges":[]}}}}}