{"entities":{"Q967312":{"pageid":969160,"ns":120,"title":"Item:Q967312","lastrevid":65714883,"modified":"2026-04-12T04:48:59Z","type":"item","id":"Q967312","labels":{"en":{"language":"en","value":"Linear delay enumeration and monadic second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702585"}},"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":"Q967312$1AB74909-AAA3-44B4-9513-BC0C648C66BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aced576f403ad36f72fd8ad8ce6c79a2e086a264","datavalue":{"value":{"text":"Linear delay enumeration and monadic second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q967312$5DE80F3F-1ED6-4EB9-BE71-A3046DB949BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c044cc45d2d4594e59e939ee3a0e7323afeae379","datavalue":{"value":"1217.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$310ECFCC-A2BD-431E-B844-6ED5B2EF833C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$7ABDA55E-F3A2-407F-9478-DE8AFF845DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"052e617fbfde92e398660eb3f3e82520a715a376","datavalue":{"value":{"time":"+2010-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q967312$AAC3F448-55F1-4E82-BB4F-436099A3D0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$F58FA25B-6E64-4C10-9D6A-5D047C2DA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$FAA60CD4-3820-49D0-AEF7-B908324F45C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$DF7F40FF-9928-4847-BC36-AE7825B4B041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$ECAFE8DC-A26B-44B9-B5CD-7E34DD7DB003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$0155C482-4E4A-4486-B788-3B43E6C2CA62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ddd52f1abbc8d43df68e86f1792cd8ef9e309b","datavalue":{"value":"5702585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$DD1984FF-F477-44C2-9844-F936BDA9D54B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$25121B40-B9FD-46B3-A185-BAF70B98F107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$8A7AB994-E011-43B2-96B8-5ECA8129B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$2C5AF7AD-10D4-405A-A11D-BEA7E3485F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a647e8b63540a3d995620928a5df1b86e8563587","datavalue":{"value":"query","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$B37B428E-78A8-4077-9E4A-F2176F360C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b45434bc02cd14aeccde65fd78ced6ab186e8bf","datavalue":{"value":"DAG","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$A08F5E33-3A5B-4712-A8FF-2B93E541C121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d2ac962edd57197a94f9ffcdb8380173ee5701","datavalue":{"value":"monadic second-order transduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$97A984FE-6360-4BBF-8418-18C42059C16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db583f8447ea0be075ce3931637cd8e6bd7d1337","datavalue":{"value":"recognizable set of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$C3EFDD5E-A76E-4608-92A0-0C44B9B3851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$D41AD56F-C8E3-4434-A91D-8AFB87267750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$FBBF05B7-A319-476E-896A-EFB1F0A01232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q967312$1A8CD618-5312-4136-813A-D6607920EAD9","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":"Q967312$CF954E4B-9F84-4658-9020-BFECD1273855","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7a897c8cbbf7eb264ab98d7f6b23ef9e8097199","datavalue":{"value":"https://doi.org/10.1016/j.dam.2008.08.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q967312$4CA01C8E-1D0E-4715-9E1E-58239C5DED9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c1874008e46ba8a0dcc3cf4893c93c39a88884d","datavalue":{"value":"W2041198634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$78BA48DF-A549-4C31-A54D-415126D042CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"486328bcb835b0d729b04b9e1d795e5e5932317a","datavalue":{"value":{"entity-type":"item","numeric-id":3613336,"id":"Q3613336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$0A07E2B6-8360-464C-A9B0-12D2DA103E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac6ca125e43cab30f6a162dead9fc704d1f4d42","datavalue":{"value":{"entity-type":"item","numeric-id":3147017,"id":"Q3147017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$58D8C8EF-7D5E-4784-9EDB-833448CB06AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$E1DE3EAC-F38E-4B66-9811-0E929911E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b083b00d770314a50e24443b3365d2c14ad8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1408820,"id":"Q1408820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$B8DAC0E3-5ADC-4166-BE05-C150B9C65C01","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":"Q967312$6ABE6716-1E25-4068-B6E6-7CF4E66FD962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$83E6805D-CA8C-4845-A202-C121241D40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe45d83731e3d384f322fef389c28ac6f4419b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277786,"id":"Q5277786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$48A6B568-ABC3-49CA-8AC3-E368F7D81397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$9860DEDC-5E05-4E0A-924F-D0B51D467B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5245443e3b174fb0ea67ac8c17bd37dfc3b7233d","datavalue":{"value":{"entity-type":"item","numeric-id":673672,"id":"Q673672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$676EB01F-5FE4-4527-B664-D5FDF6A0BDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d3408a91dafe39318f675c342b06c78f7b1640","datavalue":{"value":{"entity-type":"item","numeric-id":3036723,"id":"Q3036723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$1116A9B9-2A34-4B4E-8E4D-84CB00B62234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06438e270472c0c482ab38475275e682844b05b9","datavalue":{"value":{"entity-type":"item","numeric-id":5900367,"id":"Q5900367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$7C259CE3-7EC9-4A9C-9196-5CE8E18AFDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d62f70da14cbe4ce0008b55e635218e16f12862","datavalue":{"value":{"entity-type":"item","numeric-id":1318776,"id":"Q1318776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$723A4F84-AE77-4C02-927A-8948B5AC88F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331cb045abbeeb34a95ffa4d37a8905c84c6bbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5493343,"id":"Q5493343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$3445FF05-4427-4D85-8037-BCA12FA76E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295927bf2e5aa67e372bd1d56d8365ab655589ff","datavalue":{"value":{"entity-type":"item","numeric-id":5897543,"id":"Q5897543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$5BD8B000-D577-4B83-A90D-C31D8A58046F","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":"Q967312$7652A712-108F-4BAC-AE82-BD741BE49F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d245f54223d4a896cc8776f2e4469c6bb588570","datavalue":{"value":{"entity-type":"item","numeric-id":4001837,"id":"Q4001837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$FE71FF73-2F26-4555-8E3A-2B2DA031C1BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985d231a45c24e32e7f3f75f21c1ea33db767559","datavalue":{"value":"10.1016/J.DAM.2008.08.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q967312$28B8D7C3-0C90-4C08-AFC1-F96E50784589","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q967312$76E5B33B-38C4-4067-9483-3C992C0D2997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aa9ca79b25d12e18a873c735d78eed1f3f3892","datavalue":{"value":{"entity-type":"item","numeric-id":3613336,"id":"Q3613336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9d83ac542bc31fdfb7057bbb9d4a3f70d670cb","datavalue":{"value":{"amount":"+0.8758725523948669","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":"Q967312$3E1052FB-6EF6-437A-9BDB-4F7EB5716C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24686cfc9efdedb5a8bb37abe1e88c46df3f9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2946714,"id":"Q2946714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a4330d697c36181118c535da4ca0b0d4f29ea2","datavalue":{"value":{"amount":"+0.8724607229232788","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":"Q967312$4999D953-F681-4A8C-AB96-0BE268080533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e5b04f86a9617315f7e2e6185747e01e74249a","datavalue":{"value":{"entity-type":"item","numeric-id":2915682,"id":"Q2915682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0954f95e5c8fcd76649cd2a7bc3784d7da8b722","datavalue":{"value":{"amount":"+0.7864536643028259","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":"Q967312$BAD967AD-E83C-45E4-96EB-CFA04EEB7983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f571567a50de92239bf6d078f9af9fe43692e83f","datavalue":{"value":{"entity-type":"item","numeric-id":3305348,"id":"Q3305348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d757b0ea777ab51c9e019ba3ee21681b9186644","datavalue":{"value":{"amount":"+0.7771769165992737","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":"Q967312$414AB622-D268-4E04-8506-E52DD09192F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e42182686d8a273c75977d2b506f4198b6fb256","datavalue":{"value":{"entity-type":"item","numeric-id":2965468,"id":"Q2965468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c7c0e31c4ff6c94a13a0bc49e8b471cb5bb0bd","datavalue":{"value":{"amount":"+0.7661164999008179","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":"Q967312$7A39DAFD-B034-4E36-8DF4-DAB3BCB4F3C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear delay enumeration and monadic second-order logic","badges":[]}}}}}