{"entities":{"Q1325850":{"pageid":1336600,"ns":120,"title":"Item:Q1325850","lastrevid":68466840,"modified":"2026-04-12T23:53:52Z","type":"item","id":"Q1325850","labels":{"en":{"language":"en","value":"Modulo-counting quantifiers over finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567728"}},"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":"Q1325850$172C14ED-19CD-4AD1-A0AE-8DE149C3A3BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ff6e804e17aba46ebcafac47bc6916a0fcbe191","datavalue":{"value":{"text":"Modulo-counting quantifiers over finite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325850$1C4E4AF9-7B98-402E-9382-B6F963344D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0acb1811b07df0ec508600eee13cc3ffbae9bf9c","datavalue":{"value":"0798.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$71CE5B55-125A-4542-86D6-FA5D2CAF413F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"583bac7617386e1559273193b6f529ab36909112","datavalue":{"value":"10.1016/0304-3975(94)90270-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$00D8FC6E-763E-4AC4-970D-205B304D568B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"958a59bc8a177f30f89f52bbe89a403a4a105056","datavalue":{"value":{"entity-type":"item","numeric-id":1325849,"id":"Q1325849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$FD0CEE08-FF26-4B02-A4AD-A1E2DC163CD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$301E6B99-40AF-4F17-95ED-2239978AD90F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325850$F557279C-CF7B-4B7C-801F-2646D277AB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$43E1F920-3E86-4439-87B0-EF4E89F8353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$310F5A04-7A2D-4A73-9DA9-22D08B2AADC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f73abfddada6a64b04c22acfa45f9995dc60e0b","datavalue":{"value":"567728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$6C2DB65B-7D68-414D-BBA5-B257C4961E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bed784055c5b88ce4e2bb25409e2209527b499","datavalue":{"value":"modulo-counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325850$2A228534-8EF6-4BDA-832E-4EEAE2C953FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e86f7d7088a294c90f60604cff8eb93dd7e31e","datavalue":{"value":"logical definability of tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325850$BDECAB71-C232-4416-9F57-4A46F1F382B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325850$0DBF49A6-88DF-473F-860D-93FDEE118953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325850$1DEB204B-DE48-49A0-AF8C-D12568C76471","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":"Q1325850$0C70FC6F-A838-43AD-8F0F-9B4B39A5EA19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58f428a824a22542b625d26c24b5d1629aaf407c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90270-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1325850$3D544856-EA75-4D59-8D3D-A80BA194C24E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06ae04c834a9784bdaf196a2f3dd3e9029c9ea6b","datavalue":{"value":"W4213287418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325850$D69F33D0-7D53-492A-97C6-6E61C62ECD6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$15D509F6-953F-474C-A60C-E9C6BBC88DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$F709064A-09A1-4766-90F2-7BE279A2DB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$0125EBAE-C460-45D9-B781-850E4F855FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$AF2CA5A3-8616-4325-BC54-6C52816E08CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$C921A391-D219-47F4-B49B-0C171B6E7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$93ED288F-5E2A-450F-88D5-05AC338D2D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5dfcc332b069898b91ff10fb51dac9cb40b39e","datavalue":{"value":{"entity-type":"item","numeric-id":3978766,"id":"Q3978766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$A611B310-4CB5-4005-9774-7B3268A65755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$4DB5CCD2-B818-42C1-B142-D4445BDEBBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac56484821fb9e3cfb27d78979d101fe32a191a1","datavalue":{"value":{"entity-type":"item","numeric-id":5631023,"id":"Q5631023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$79EAB254-62EB-4E86-BC5B-C86DD76BFEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$62298363-DC55-4A27-B38F-F81CCEF0EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab89ab21d998b3dcc7278eee56c80a86650c044","datavalue":{"value":{"entity-type":"item","numeric-id":4284261,"id":"Q4284261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$B072923A-607C-444F-B09C-2C204914E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$661191AD-33B4-4AC3-A2CD-749DACFA930B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$59005016-9147-41F2-A47F-40FE6AECE666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d47b258ad5b82e73d2d081c0bf93cb07ebf51bf","datavalue":{"value":{"entity-type":"item","numeric-id":4431391,"id":"Q4431391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$6F2BD341-3CB8-4364-8EF5-500D5B5EFDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3626f68b3e5ec0492e6a80f03a49c491f73d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3806849,"id":"Q3806849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$201E4434-50AE-4665-87EE-B6853DCA2584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$5878BF33-BD70-4540-B2B1-6254DAF398B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$56F73875-7AA7-47EF-91C5-CBBFBAA1091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34807fb037e0446337458c63b9238ba7e4d842ac","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325850$66377CA9-2360-48B1-A6D9-C71A79C50A6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a7ad69307a79047885e98bfd40cfd7ffcf8180","datavalue":{"value":{"entity-type":"item","numeric-id":2946590,"id":"Q2946590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3a9f1a867f258a920a9f7759fae6362c363691","datavalue":{"value":{"amount":"+0.8380956053733826","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":"Q1325850$D36BAA0B-5E62-437B-B356-45E9EDE28A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db84ace2e45176688dec886ecdbd223d9e798d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096727,"id":"Q5096727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edd323099c536a4e06e6a8979e1cb815f6f467f","datavalue":{"value":{"amount":"+0.8380955457687378","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":"Q1325850$04845060-04DB-4CB3-9D77-618238F5E455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f887d4ac63cc76a8a16d5aede2e33db05d88d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":5136301,"id":"Q5136301"},"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":"Q1325850$D055AD7B-32E9-4CCB-8918-CF7EA5F6B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f3fc16fd88364bb98c3de3107abd89246e3461","datavalue":{"value":{"entity-type":"item","numeric-id":5485973,"id":"Q5485973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8723c24a8d85715456ec206469a51f5cfeeb130","datavalue":{"value":{"amount":"+0.786841094493866","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":"Q1325850$6213D260-19E2-4E61-B913-7B1FD6305442","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":"c9cf1bb5d707bcc61d2dd929317d6d0a2e05806e","datavalue":{"value":{"amount":"+0.7836560010910034","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":"Q1325850$C2B125B6-BE1D-4F0A-8CB6-12D5C6E72212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modulo-counting quantifiers over finite trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modulo-counting_quantifiers_over_finite_trees"}}}}}