{"entities":{"Q5136301":{"pageid":7165873,"ns":120,"title":"Item:Q5136301","lastrevid":58455516,"modified":"2026-04-05T07:24:05Z","type":"item","id":"Q5136301","labels":{"en":{"language":"en","value":"Modulo counting on words and trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278084"}},"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":"Q5136301$425B8005-E391-4BFA-8AD1-2943BB9BC20E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f41922e2c8c9fa29fdfba1f681a4904d9aa621c","datavalue":{"value":"1491.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$92B776E3-A60C-47CA-A869-C974A5A9EBB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$5BB971D0-E8F4-434B-B6C7-F25DEAE909B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$7334CECB-5BE6-4DF9-A17D-A4F54D17E29D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136301$0C70853D-5F56-4D84-8805-3910BE0BC305","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d233138e4c1251a3967c1a73794dad7a690e8ba3","datavalue":{"value":"https://arxiv.org/abs/1710.05582","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136301$B9200642-2B27-4406-9FC1-D588AC826589","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$EC2302D8-12AD-4A3E-8E8D-EF673585B9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$79AF1C16-DA10-4150-A011-B5A592FC46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$F8276817-AA25-4415-A7D3-19FBD52655D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$B6C55197-16C7-4BC6-9A8E-3C7862FB1140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"104c30488840bc136f6a9cea8414a7f417a49959","datavalue":{"value":"7278084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$A2939C95-14E6-4849-91CE-A44ABAD92CEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136301$C51B6C56-1440-4A51-A667-1DB0C6F69819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136301$D4394F6B-8C93-45BD-A69F-3AD039AD2BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136301$D55125D6-B7BE-4033-BDB7-0656EFC05EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136301$65C8D8C2-4EF7-42B2-8B21-07FD69C05A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7fddcfed634a3e00f22279ceddbbb594aad3aae","datavalue":{"value":"modulo quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136301$8842D881-C9C5-4675-9840-D558134DBD97","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":"Q5136301$2ED0A712-4FED-41AE-8DBE-455D0D9066F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c922c12838ff84785d9f11ce77760dfb81a02b8","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$49229B7F-B793-422D-A9B5-707AB51EBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f875d952ba614f855bfa7c40fafda2fecf04aee","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$011A045D-2779-406C-87BD-9702C1848D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f801ed1f34568236d83e942d8a0702b37dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2946590,"id":"Q2946590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$9556F099-F49E-4ED4-919F-44EABB5D409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c6fc0bcb9edb8ff69e27ba3390f1039616592","datavalue":{"value":{"entity-type":"item","numeric-id":3174897,"id":"Q3174897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$43187D81-8396-41A7-98AE-8CD4A3CAA677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d4c5e426beab398f9cd0291d00caf46c2abdac","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$94FE4367-873C-45D4-94F0-CF79C1A477E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$8FE37337-A828-463A-919F-F7175EE88316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$DD41576F-6F6A-4A9D-A3B5-18DDECD1A6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d237eb551ec9553269f6f5fd1c8ed1ca1ec2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2974792,"id":"Q2974792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$498BF890-CD33-4490-A73F-220E62AFC69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8bffd9994bb31aeb2bf21d96f3c6bbda4facb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635883,"id":"Q4635883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$BD8E9195-95F9-453C-BAE4-F1033DF3C026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ac1bd0803b6e4f2a276c862a21b92760aed18","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$AECA1E9A-8460-4198-BC69-41031EAA71FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9138c523123c67527f6663dab0416b51cb0ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2986821,"id":"Q2986821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$82B5D205-3658-4399-B03F-C291660E98E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be98d9d2d621eae25ce6b6288548d1915ea4036","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$F52123A9-BD38-4373-BE13-1316496530C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9512311ec5fec1368f160358782812523a0757b","datavalue":{"value":{"entity-type":"item","numeric-id":1854352,"id":"Q1854352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$959B75AE-2BD5-4C25-A8DC-A202824380EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3a90e306838b6e6d65d42e153ecd16b66df16d","datavalue":{"value":{"entity-type":"item","numeric-id":1325850,"id":"Q1325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$9B8A5929-3FFA-4632-8010-9BCA9137DBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4647127bfa927c82766ea798b4697455ed5e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$A5BD5557-47D1-420B-B47D-992393DA16A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a456d9b6cd8e4fbc7931821c6236bf2355ce61","datavalue":{"value":{"entity-type":"item","numeric-id":2825418,"id":"Q2825418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$EF9D06D6-8064-4728-A383-7F068BBAC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e201e96da5a1ceb6867497f44b760dcc4ff46e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3086935,"id":"Q3086935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$232FD8F0-A784-4DD6-BA33-4FDE56746950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136301$A3A6D706-C290-47E0-89B1-29DAB11DB55C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09a5fbf1ceb20ae0f3f92a748ab278f2579cddff","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136301$1868857C-6DE4-4C37-9E6A-1A9F34488F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfce55fe296be5b19f8fc5969fcfdbea73a1cc5","datavalue":{"value":{"amount":"+0.8603249788284302","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":"Q5136301$68D0AB13-EF96-4CF9-9F67-EE25B742C515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cb3c862bbc5733dc405243ce70156faad1af9","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9404c34758e6cbe238891c3e80af689db66d1c","datavalue":{"value":{"amount":"+0.8193115592002869","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":"Q5136301$48702455-7674-4044-8C4C-19802D3BFD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ae21262f194719a83afa48de3da02efd49d153","datavalue":{"value":{"entity-type":"item","numeric-id":1325850,"id":"Q1325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e4b7769fdfaeb41bcddbba8de4124a99bc2274","datavalue":{"value":{"amount":"+0.8121162056922913","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":"Q5136301$48E01A8D-0F01-4FAD-AC03-362396E585EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b52184ef4a6ef36d41e76f19916fc37cb6ec8d","datavalue":{"value":{"entity-type":"item","numeric-id":5278191,"id":"Q5278191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6645f6f61a7f2ef877f6ad7ad549c3db239f45","datavalue":{"value":{"amount":"+0.8026326298713684","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":"Q5136301$46DB2702-6A96-4139-AA71-9BE7CA364377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef4ee6b76eb8a36b807b527d2f86af3e40d628d","datavalue":{"value":{"entity-type":"item","numeric-id":5271042,"id":"Q5271042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58aa86e120616c2a2266a35217de031725a771dc","datavalue":{"value":{"amount":"+0.8000100255012512","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":"Q5136301$F0DEC37C-CB2F-4762-920D-9186F8344D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136301"}}}}}