{"entities":{"Q4345363":{"pageid":6374962,"ns":120,"title":"Item:Q4345363","lastrevid":46559604,"modified":"2025-12-25T00:59:30Z","type":"item","id":"Q4345363","labels":{"en":{"language":"en","value":"Coloring rules for finite trees, and probabilities of monadic second order sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038406"}},"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":"Q4345363$380C40E2-2F68-4697-AEB5-8013D7576575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e845adafef6e02496b6448033a0f6b4313f7bce","datavalue":{"value":"0872.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$081D1B5D-8940-4FFC-9B6E-782C55395047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d585795e88d2823ecbad6678edab4b820cb00f","datavalue":{"value":{"entity-type":"item","numeric-id":696977,"id":"Q696977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345363$3446CD91-6A35-4637-9986-7994BED26397","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53ca32303030cbcdd57a20141335cf713f9048cc","datavalue":{"value":{"time":"+1997-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4345363$586E5396-C979-413B-AB22-89ACABB1FB58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$2722E578-035A-46D6-B007-0EAA5D951F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$17476DD6-46F0-482E-AB16-911B1C03FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$210525C9-6A7B-4B82-89F2-AF98B3309F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$E6F2EC29-8A5B-4FB4-A7CE-4ECBB4A79419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$03CFD8D1-223F-4095-AC35-35AECC352D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$68A672EC-832F-4A6B-A776-1F4BD7F86FEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9e2f354314cd1cbbde1b95dc8f6d7dc5938682","datavalue":{"value":"1038406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$1EF657E9-8173-44AA-869E-4A961643418E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$59499700-D56D-4CFD-B90F-16835B5EB023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca269107fa45c35fc8db22606c310011644cf005","datavalue":{"value":"coloring rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$4F1BB96C-DE2D-4BA8-A40D-71D46D34EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673f83093b4e5f6a0905c51a2e5f4e5dff3fba01","datavalue":{"value":"finite rooted tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$FE7D0D89-B5BF-4B65-B7C1-C87C64A58FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e652ab67fdea3d00719e6c37a98b321d70e5a27","datavalue":{"value":"asymptotic behavior of the fraction of \\(n\\) vertex trees with a given root color","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$DF1A185F-A49D-4A22-98E4-AB43CAAF0742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5312f573dae98de9a69c6f800efc3d8646ccc4e2","datavalue":{"value":"monadic second-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$8B20FB81-5A5E-4598-9296-EE64119A9353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6d8f971c846e68f1205df6a28ac43bc1695150","datavalue":{"value":"limiting probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$35DE6A75-D409-4C07-932B-7E2F360A5FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345363$8705B432-E3DD-429D-890F-B291F62FD856","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":"Q4345363$704341C6-C4BA-4CD7-A4F7-E1F3D9CE8C8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e9a9e951698224c63c1ed0f907fdc7ce25678cf","datavalue":{"value":"W2081349727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$0B436544-CF07-47FB-A4E3-DEAF00AC54BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2f1a541b939abc8e63d5494c02ddbc0e8d96e1","datavalue":{"value":{"text":"Coloring rules for finite trees, and probabilities of monadic second order sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4345363$A92D3C8A-F0DF-44BD-ACEF-1E2C91DE7DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bbc06b9eda04637c7078661e843895a99445dc8","datavalue":{"value":"10.1002/(SICI)1098-2418(199707)10:4%3C453::AID-RSA3%3E3.0.CO;2-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345363$5AFC4595-E5D4-428C-9F39-F6FD4B6CF500","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79ce35a18608998d2ddf19f9608c9c07231fdcfc","datavalue":{"value":"https://doi.org/10.1002/(sici)1098-2418(199707)10:4%3C453::aid-rsa3%3E3.0.co;2-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q4345363$13E63EAE-5AFA-42DC-8135-2BAFBDE8EA81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe16d410fee2decef5e3e9c2fde5e9e08087949","datavalue":{"value":{"entity-type":"item","numeric-id":1613549,"id":"Q1613549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411afff40e47e8befcbbe6dfb2d94f0edcc58a21","datavalue":{"value":{"amount":"+0.8160303235054016","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":"Q4345363$4C02F879-4B8D-4388-8755-BECEDAFE5364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f305f4ff18c83844141b6b7c6c17d817a3770925","datavalue":{"value":{"entity-type":"item","numeric-id":4372920,"id":"Q4372920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacc88d78cdb7b3cc2945bc0c0d2732d238dff56","datavalue":{"value":{"amount":"+0.7656508088111877","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":"Q4345363$E0B7BA2C-6CCC-48A1-8A53-0C02299390E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192ba6793afeaace0f58a19b2136d26cfc3af42a","datavalue":{"value":{"entity-type":"item","numeric-id":1426116,"id":"Q1426116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6114d5c0aaa36acc2cf329fc9ba8487cf27d22b2","datavalue":{"value":{"amount":"+0.7640491724014282","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":"Q4345363$262C0AE3-9860-4D86-96D3-D3CB1755AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05dc9b9f38a32c3d45fbd103bfbb180c25538b7f","datavalue":{"value":{"entity-type":"item","numeric-id":2638642,"id":"Q2638642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7837f9115a50c329ba7c905a2c7163de89499be","datavalue":{"value":{"amount":"+0.7585523724555969","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":"Q4345363$64694A4B-4FB7-4AC4-9080-7E82B8D0BBA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4345363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4345363"}}}}}