{"entities":{"Q4917997":{"pageid":6947579,"ns":120,"title":"Item:Q4917997","lastrevid":41817554,"modified":"2025-05-08T16:56:05Z","type":"item","id":"Q4917997","labels":{"en":{"language":"en","value":"Monadic Second-Order Logic and Transitive Closure Logics over Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160413"}},"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":"Q4917997$17813776-6B05-4F14-A5F1-A7A11FD414F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e22e16d08cf6da9ed275902b43518737ee4ce5b","datavalue":{"value":{"text":"Monadic Second-Order Logic and Transitive Closure Logics over Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917997$4293F4B3-634B-42BD-993F-F95F64BCA629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37031ac8c1b536ff06bf72bfe149fa75c5ec0ddf","datavalue":{"value":"1262.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$A4EC40C0-14C8-4A1A-A1BD-85834A69AC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3064575da4877bf696a434ef47a3763f93ecf52","datavalue":{"value":{"entity-type":"item","numeric-id":1006491,"id":"Q1006491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$0B882441-1513-4FBE-A80B-B091E8CE387F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15f40494622acdfe788b016e3ef48205476f2ba8","datavalue":{"value":{"entity-type":"item","numeric-id":438587,"id":"Q438587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$06C56CD9-713F-490F-8B22-AB82B8B224F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$B6C5182D-9F10-4775-96FB-0E42D3F77898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f67cff4992b4af716700e591fa06388150841fb3","datavalue":{"value":{"time":"+2013-05-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":"Q4917997$FB249F81-8C66-4903-B1E8-831695512D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$FBC9F7FA-5A10-4362-B913-D196D6727113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$56D13A95-277A-4DBE-B354-887DB297F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$5B65291F-9180-4F1F-8859-D69BD12B3AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db8b6c3d220d73767a931a6037965f256ea83f77","datavalue":{"value":"6160413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$0AE28E5F-7E3B-4337-888A-E1542E1E5938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$982C7D52-F155-4DB7-818B-BC383FE1C51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55118d9d1bbc13007a4b8d4da1af3e6fb042ce73","datavalue":{"value":"transitive closure logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$28E88DD3-20A7-46A9-B983-EB8ABD5C1357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$F7B7DE49-A4DD-482F-8B67-2F4919DDDFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86589ce8d4ac9a576aff5cc8d72f0756f3a589fc","datavalue":{"value":"model-theoretic syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$B59EA494-380B-4D7C-9743-A3D262629159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$26979B62-D598-4106-8F26-860A670404F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c1c5705a57a8ac6234a0afc5421612fba8b3df","datavalue":{"value":"derivation tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917997$33035AAF-C148-478D-8F6A-62ADA0ECDD35","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":"Q4917997$BFC52D63-C775-45A9-A864-368E1B09CB83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1297fb876ddbfc4e913234de3f18bb7764c93844","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.05.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917997$4D5238F5-CE3D-4D49-AB6A-08BBA3412B59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37ca9465f51abf010cc9e1393a1633e3314727f6","datavalue":{"value":"W2124638910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$2337D34E-0583-4279-8A7D-CD24159700E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a731ea78048d2c7dea064b303be574784323e486","datavalue":{"value":{"entity-type":"item","numeric-id":4202929,"id":"Q4202929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$7344DAA7-29F2-4CC0-9A1A-37E2333DFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$EF81D8BB-3834-4157-B3EF-71825289BF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ce2c1c44e4908098e854ed5a2d47535b58ee2d","datavalue":{"value":{"entity-type":"item","numeric-id":1367543,"id":"Q1367543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$85AD3754-E612-46C2-8ACA-E945F099F4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$A92C6CE0-D8C6-4BA3-9AF0-8123B677CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$93366500-1FF5-4182-ADD8-26628D37E5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$73F17F7C-6710-491D-B1BF-822638AC69CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079cd433ecfa19ccedc026ee8ff584a557fd7dfb","datavalue":{"value":{"entity-type":"item","numeric-id":1870568,"id":"Q1870568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$9C27A6E1-3720-452F-B116-E9FAE04F82F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b33dc9a019c7bcac213ee71056cc74d9beaec8","datavalue":{"value":{"entity-type":"item","numeric-id":700792,"id":"Q700792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$BE43F400-E245-458E-975F-0A6135D16804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3ab20cc0356eca70d973d2fafb83c885f14abf","datavalue":{"value":{"entity-type":"item","numeric-id":4474840,"id":"Q4474840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$ACF13890-9F6B-4FBC-BBBA-73947A090B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252bba34fb84afabbf4b06a129fda6fdbeed8e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2778879,"id":"Q2778879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$801DEC2C-43F9-4A75-A0B7-B0C16DFFE30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acfabb989ca79bd6f9ae1185a99b0968bcac1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4954002,"id":"Q4954002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$1D371646-4203-47E6-A2CC-ECBED784E259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce702334229d036c8c0e6f5b0ed00c1bc34ccac","datavalue":{"value":{"entity-type":"item","numeric-id":1768799,"id":"Q1768799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$8EB4A07E-36C4-4B29-AEAB-3A6B4963D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917997$5C20AC6B-83EB-4B66-A710-688039985B78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9e1feba4c53a4ee0aeb80f62a6578757fc6c8f7","datavalue":{"value":"10.1016/J.ENTCS.2006.05.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917997$85707B73-EEB0-4164-914B-912364DEDE7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9090e84f0f54ee46fdbee2d37c2e0ba224394fe6","datavalue":{"value":{"amount":"+0.96055573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$38878CA2-F4B8-4E7C-97B0-1FC66692CAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6415dedb7ef0641ff9cdad256f3ffbe043d58b93","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2550e2b7130ae626899bf4e4b101a5856e915289","datavalue":{"value":{"amount":"+0.96046656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$782932BB-23DF-4B89-9BB3-BA5EEA56EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebab15fefa9052ee8e0a87abbd366278e5c12f8","datavalue":{"value":{"entity-type":"item","numeric-id":4362731,"id":"Q4362731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0bd7fbd07a86aa582c5f54c2455276fca8463b","datavalue":{"value":{"amount":"+0.9327334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$8F77F57B-F301-459E-A15C-8A86DFD451C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91022e9178a1fe8f54724eef76647b85356a3d2a","datavalue":{"value":{"entity-type":"item","numeric-id":1295371,"id":"Q1295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9d3d326ac525fc060c54ac634e7bc98b361e3d","datavalue":{"value":{"amount":"+0.92174655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$CD404CC4-56DC-4D9F-B27F-DB1E121F4BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60147acdb76f80d96ac1a2d79702ca8d97e8f784","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cc4a1f76034c58ad400c86be21f24c5315a64a","datavalue":{"value":{"amount":"+0.9194712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$B6F4A8B1-5A40-4F5F-8620-404E6A6FCA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d047f757d3004dd0fde6fb9eda71d798bcced0","datavalue":{"value":{"entity-type":"item","numeric-id":1618231,"id":"Q1618231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8465fe0bf8892d1193f0481abac078871dc2fc","datavalue":{"value":{"amount":"+0.9150368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$F658303A-9EE2-4651-8EDE-CA0E7026E571","rank":"normal"},{"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":"d1ba9e235b9365f4d2336fe1424a8dfafa79f24a","datavalue":{"value":{"amount":"+0.91389227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$8D279686-93FC-4428-8858-D1E542CAA07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d486ba7d8fd01682853904d1dd16458433c8ebce","datavalue":{"value":{"entity-type":"item","numeric-id":4474837,"id":"Q4474837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d27d32390f8ca4085d39e09dcde8a95eb35f4d","datavalue":{"value":{"amount":"+0.91375154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$9A22E11E-6179-4880-A2F8-83050DC62F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e64857e2d06cafcb7b2a5cf98739951614a4f72","datavalue":{"value":{"amount":"+0.9136238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917997$D4BACF04-BC77-4F4F-AD33-C1924308B5C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917997"}}}}}