{"entities":{"Q3098174":{"pageid":3108889,"ns":120,"title":"Item:Q3098174","lastrevid":80065532,"modified":"2026-05-06T15:21:41Z","type":"item","id":"Q3098174","labels":{"en":{"language":"en","value":"Sufficiency Conditions for Bokut' Normal Forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5973393"}},"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":"Q3098174$02FD1AD0-82B2-450D-8B86-C1A8D20D3BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12c713d624e3d9403d300551e580b5007967a6c1","datavalue":{"value":{"text":"Sufficiency Conditions for Bokut' Normal Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3098174$CDB7C21F-E0D6-456E-9B4E-1FE79BB639CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9f201f37603e4d15fdb417e9f63ed30c555fadc","datavalue":{"value":"1230.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$FCB53085-9EE1-44CC-B8B2-A6E8A79AA82B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33ed3f7db28296b01b73578a33bc6540d559af32","datavalue":{"value":"10.1080/00927872.2010.489535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$3AA2807E-ACB6-46F5-AB49-4DBE6FDDB5C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"16d8b82490dec888c33b78fc39ab27b6597a4ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2707874,"id":"Q2707874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$93FF5D2D-057A-4AC9-B8A8-17D178DD7FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de4d5189d735af130e8614af261551c3cb44d44","datavalue":{"value":{"time":"+2011-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3098174$F4E1BD0A-AD2E-4FB5-A376-EFBD72CED7C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$2FA88DCB-5D8C-4933-96C8-C45A9FED9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$BCCD6EC6-2EFE-4B6F-AAA1-F2325E41E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$A3F095A6-434A-4119-AC7F-672699F2EA9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c389cd7bc921886ede9b8cd16febec7de0cec038","datavalue":{"value":"5973393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$A3379053-21AA-495B-B3BD-CB9DC67D3A29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$AFA0BAC5-932C-4D85-A169-FE4A3DD93792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcbb1be947f3ce593e6b9cf1d95dccf33c05ac06","datavalue":{"value":"sequences of HNN extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$33A1B504-7308-4077-89B0-F8D3D1E0DAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96fd7be9631edb45ac33ee482d312a36831c0760","datavalue":{"value":"normal form theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$886F3447-83A0-43C0-99AA-3CDDB2FF2824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661c4dff24c64863a7f35b892c3b1f6aa152dcc2","datavalue":{"value":"Gr\u00f6bner-Shirshov bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$D887BC7C-48D2-4C84-A294-015637C8135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4be0d70307352154fb5e34f9f7c4b02c682596a","datavalue":{"value":"Bokut' normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$2D854B19-1FCF-43C8-B42A-74ABF7026026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1735a133d49ec9a3b5c084ee424340f472bf4d74","datavalue":{"value":"automatic theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3098174$43952ED8-F17C-4A8D-8B9C-EAF1302639CB","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":"Q3098174$9C66B044-5177-4A22-B35A-54DF0B4EC14A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5d069c37de72371722626c062f2f746c317fe82","datavalue":{"value":"https://doi.org/10.1080/00927872.2010.489535","type":"string"},"datatype":"url"},"type":"statement","id":"Q3098174$0091CB51-1599-4B60-8752-8F501A18D619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a1891a6c56b255182c06bfd5e3f72faa26f7d4c","datavalue":{"value":"W1979150173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3098174$174ACAFB-B9EA-4EBC-AF08-53CB734FDA64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2639d6772def22d4272e7071568a0f39312a1","datavalue":{"value":{"entity-type":"item","numeric-id":4300256,"id":"Q4300256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$8AC1DE32-E37C-47C8-A5EE-7702512466AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3979818701d51e6c9946dd23317276ebdefcdaa","datavalue":{"value":{"entity-type":"item","numeric-id":5444889,"id":"Q5444889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$4243EA3E-9D92-441B-A854-297DD005969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e2e3ff8a4e616ad7d2c9c310b40b673b956307","datavalue":{"value":{"entity-type":"item","numeric-id":3944762,"id":"Q3944762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$229D24BB-8518-4D46-8610-3E34DB7424FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0f4232a9684c10c017d8801485718311dcf123","datavalue":{"value":{"entity-type":"item","numeric-id":5189963,"id":"Q5189963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$D6AD8C7A-C2DF-4B65-A9C9-237047A33C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c75f838f15b1f593413041496a0692daa4dd1f5","datavalue":{"value":{"entity-type":"item","numeric-id":952893,"id":"Q952893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3098174$150925C7-6A54-4977-8A30-3CB997230E90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d5b1023696070dcb2abc8929ddcd6a8238a7e6","datavalue":{"value":{"entity-type":"item","numeric-id":3766120,"id":"Q3766120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8eca815acf90d59d1b2deb924d999b7d0a5edbd","datavalue":{"value":{"amount":"+0.84588987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$7900A482-E665-433C-ADE9-DE505D3DB6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78293c48b9f5a5ef83f2ff1fd801c25b89b13ca","datavalue":{"value":{"entity-type":"item","numeric-id":3678357,"id":"Q3678357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bede40c7331c2dd2cc984a40f7f47e6109f2f72","datavalue":{"value":{"amount":"+0.8442093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$84972059-0B36-42D0-B785-3163AA4F61A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae6bdd07da4f9c5e2adcb968836e7a933be185","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089ec95da7dd51f973a7602cb1af9a82cb888d50","datavalue":{"value":{"amount":"+0.83632785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$F152C549-C559-438F-9BC8-BE5A15DA56C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bac59506c064ec950567cc63d76618201dadf5","datavalue":{"value":{"entity-type":"item","numeric-id":3523680,"id":"Q3523680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ad829da35401e42881b6d858ed305ad282b7ec","datavalue":{"value":{"amount":"+0.8352761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$3E76FDF0-E2BE-4DE5-BF8F-EB8C96737BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ff016b47319c07594770c6c1cc646e65a2408","datavalue":{"value":{"entity-type":"item","numeric-id":2365320,"id":"Q2365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f603129867ecfd2cd8bb991b6186fe76643bcc","datavalue":{"value":{"amount":"+0.82983834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$61B930D6-DD48-473A-8265-C1E2996CA71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d5f554575433d175ffa62fd669a95e9ec3c61","datavalue":{"value":{"entity-type":"item","numeric-id":3240231,"id":"Q3240231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0d42ba3db20a9735504383c304b208507874cb","datavalue":{"value":{"amount":"+0.828076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$C25B3CEC-5AC2-4CA1-9AED-EE1692EB0E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1319aac51364cd34c93615982dadf9940cb24fb3","datavalue":{"value":{"entity-type":"item","numeric-id":2723894,"id":"Q2723894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a758801aab8855854a2df69a7c37e2fa34a256bc","datavalue":{"value":{"amount":"+0.82716316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$50B7D40A-6744-4014-A2FC-45B41E7FC0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a31ea5c236d527aebf40c48ddc6c83cc554fa98","datavalue":{"value":{"entity-type":"item","numeric-id":1126144,"id":"Q1126144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9bc2b05c935c8775e4df59d097036b250269e2","datavalue":{"value":{"amount":"+0.8221644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$39480DD6-0B89-4171-A417-9DBD2267CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bd88242aba21a2d72c710023031ed0c4268ef7","datavalue":{"value":{"entity-type":"item","numeric-id":392241,"id":"Q392241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b5759125d48641f4b28d4e0ff43852ebd46c84","datavalue":{"value":{"amount":"+0.82206625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3098174$03C09394-6F3A-4FD8-A274-BA65FE1E57DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sufficiency Conditions for Bokut' Normal Forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sufficiency_Conditions_for_Bokut%27_Normal_Forms"}}}}}