{"entities":{"Q5625141":{"pageid":7654701,"ns":120,"title":"Item:Q5625141","lastrevid":31637926,"modified":"2024-03-19T18:54:47Z","type":"item","id":"Q5625141","labels":{"en":{"language":"en","value":"Decidability of Second-Order Theories and Automata on Infinite Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3349793"}},"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":"Q5625141$29B7E90F-9B82-4BA9-B9FF-5EF134E016CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc9c9c26c47fd65b7278289f0850331d195ad205","datavalue":{"value":{"text":"Decidability of Second-Order Theories and Automata on Infinite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5625141$98A2BF50-EDA2-49B2-998C-5FE5A3387811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e4724624afb7422aebc83e49b4755d826a5f839","datavalue":{"value":"0221.02031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$8304D7CF-D76A-4F6F-88F2-D5BEBDA9B1CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc9b0f1ed63bc23330226d55c4806d9ffd49332","datavalue":{"value":"10.2307/1995086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$4103B91B-F5B4-4D84-B347-76D939A64E49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a6ceea60edeae77a252d717ec1705b5a0654a2","datavalue":{"value":{"entity-type":"item","numeric-id":208759,"id":"Q208759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5625141$3E5DBB3E-7099-49C3-B5C1-AB74F94D0688","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5625141$65362D91-878C-40F6-878E-693F782E45D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5625141$970831A8-F57E-436E-9C9A-01F1AD3B8048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be3b109434115f2bfdd46acdaf6a10815039190","datavalue":{"value":"https://projecteuclid.org/euclid.bams/1183529958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5625141$521356A0-5B2B-4B08-BC1A-075BF64F699F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$F50528DF-0D34-480D-9248-DCCC60D3877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$F1CAC856-70AC-4121-B3F4-922A0CAAA0B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b140b4666bad4316880f6ff868a4b6551132be19","datavalue":{"value":"3349793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$CA88FC81-21AB-4F61-909B-2764CDE02488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91feee01662301816b405e120120cf47211c1091","datavalue":{"value":"231.02056","type":"string"},"datatype":"string"},"type":"statement","id":"Q5625141$47478A69-B591-4387-A1C8-5D6E8D8A0E19","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0ccfc5ee8df33379f1b3551f634ecab2f001f77f","datavalue":{"value":"Q30052266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$565D432B-1EEC-455D-83C4-09BFF7721B22","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":"Q5625141$F1A05E10-CAE9-4DDB-AE26-5B9CE97E8805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38ceb6b6d41cd8f0227dcab18296e28830a66cfa","datavalue":{"value":"W4240244556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5625141$344B2D78-D744-4C3A-8C94-0D0F27F789CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5625141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5625141"}}}}}