{"entities":{"Q3011122":{"pageid":3021846,"ns":120,"title":"Item:Q3011122","lastrevid":51279299,"modified":"2026-01-17T14:05:01Z","type":"item","id":"Q3011122","labels":{"en":{"language":"en","value":"Expressing cardinality quantifiers in monadic second-order logic over chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5913853"}},"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":"Q3011122$A8CC01FD-9E6E-4927-A0B6-116F532CE821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fef637f88fef1dd6da02461edd5dcd12c32f21f7","datavalue":{"value":{"text":"Expressing cardinality quantifiers in monadic second-order logic over chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3011122$A72A21AE-7F00-464D-B17B-319F7062F8E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c55271a8d5b60cc8d0aa641c179602f0b9282a3","datavalue":{"value":"1222.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$0D0A6C94-5D85-4278-9845-89DD20C10561","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74667561feb4b78c28b4baa6c38c20977b8ad8d8","datavalue":{"value":{"entity-type":"item","numeric-id":436330,"id":"Q436330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$2C2103E7-434D-4DF6-8EF9-CE09ED5D34CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$B99813FB-B44B-464E-B900-4EB979124530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$F5778A65-9449-48D5-92C2-81907D5B67F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-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":"Q3011122$EB8AB0A5-8E87-4F00-BA68-5A0979896FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd26d18bf27cda7d5f9da61e34518b20fc92e7f1","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.169.9693","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011122$2AA84FF1-3BA2-4AFA-979C-77BE55B8415F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$0229E1AF-8A2D-459E-8B18-0A26458C25E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$B9CCD349-D774-4611-BA61-D5265C30949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$4E8DB490-3910-4756-9BFD-FBA2F121DF52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7c3580cfdb7fd28e7ed24b54fbe2be04103cb4","datavalue":{"value":"5913853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$D766B6B2-9ECC-4FD2-8E23-5FE48000824C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9573a3cb6ead8cda26608507656fbc66b7df78e","datavalue":{"value":"extension of monadic second-order logic of order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011122$7861ECBC-FBA4-4CDF-8F20-6F558625BFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b908b98324841bb6b546054499be1d44695ce8c","datavalue":{"value":"cardinality quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011122$381D62E3-28A5-4419-8FAB-BDB9638BB06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e790e37586dcfc5428b2abe0e9e1675ac4cce4a6","datavalue":{"value":"countable linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011122$68C70192-A92F-4A91-8579-010E27DEEBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5599d0b8005742d4eb354b6906a61e9640688","datavalue":{"value":"chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011122$601E6BEA-7E4B-4D7A-A514-1A9053054024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011122$A51F08E7-0653-4635-8C98-AC48E9D1A4B4","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":"Q3011122$582BDA6C-806C-4B6F-9432-D6E6492ADD4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"797dded76c6f06c6315acb065ac4292426a645b4","datavalue":{"value":"W2154389574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$7237BCA1-217B-4C79-9F4C-90FDB2132F7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"366496f27963448786a05922fbb68a33edd1ebad","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$AB69A500-BBC4-495C-9968-3C85CCA46DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e00dfe571f7075ffc70dc95f0e06d5ac966ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":1238809,"id":"Q1238809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$6D5E1FB2-BA4E-4D97-AE0B-2EC990E19615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$EE9B5CDA-0709-4356-A823-C01D053E2A6A","rank":"normal"},{"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":"Q3011122$D70E5622-4734-41B5-B5C5-FBAC92FC7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b91cb0371460709132af41c0b51c9f30964f8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3884080,"id":"Q3884080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$11B5091D-6142-47B9-B320-A52BAF035344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$EDFA5D7C-C5E8-4F49-8026-4F311006392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0b710bb514f01bce099a59d107c26dc1f4820f","datavalue":{"value":{"entity-type":"item","numeric-id":5387304,"id":"Q5387304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$F3B15BD3-0C27-4551-92DA-5B72DEA1B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f724020a86fe18c349cbd6f7250d66c6d91cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3914955,"id":"Q3914955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$1FAE1B40-6A71-4CBE-9ACE-20651AB7AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f541614f096e3b425ad00919dac5ce4b89cb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3914954,"id":"Q3914954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$9AA5CBC3-07D9-44A4-A9DC-13D1FB9EC922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a1e1fe9ed78f57f7617f2f7164b19348b590ce5","datavalue":{"value":"10.2178/JSL/1305810766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011122$21FB88CB-9156-45A0-8500-103F9EEB5666","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011122$D3CF9950-34F0-4A79-87CE-BCD847DA0451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83414e07634a0fe55e29a227ae636b652dd6283f","datavalue":{"value":{"entity-type":"item","numeric-id":3065008,"id":"Q3065008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cdfd049d147d9452df12c211775bc05c3fa70e","datavalue":{"value":{"amount":"+0.893707275390625","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":"Q3011122$5E94DCC3-12AB-4AB1-B3CB-480A3D141B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9513ee24a0ecc42ad85aece1891bed62b4b4d45","datavalue":{"value":{"entity-type":"item","numeric-id":3644744,"id":"Q3644744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abf9742522ed96ae0da9e85d0d4f0c119aacdf7","datavalue":{"value":{"amount":"+0.8566208481788635","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":"Q3011122$3C9674C6-2E5A-40A6-BDA3-A1D03459E3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e13268e4ed165bc10c6c057806c7a72e9eca145","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfed31d7b3ad987bc232b652fa1f80a0f25a0a44","datavalue":{"value":{"amount":"+0.7766219973564148","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":"Q3011122$BF6E81B4-5CF3-4AD1-A49E-F44EA205E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28a82005f77ed4c66e285be5f4842cfe0f79676","datavalue":{"value":{"entity-type":"item","numeric-id":4637695,"id":"Q4637695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65d3673c1543266c58af64aae79525b8de13992","datavalue":{"value":{"amount":"+0.775115966796875","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":"Q3011122$45EFAF07-70A9-40BD-BDD1-686E4C25D9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3ca0bd081408813083cd5f01aaf79becf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3775537,"id":"Q3775537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98726862e7955c43ad93a9228c768bbfc7190965","datavalue":{"value":{"amount":"+0.7628523707389832","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":"Q3011122$9311E726-6191-4A15-89B1-FB0383420933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3011122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3011122"}}}}}