{"entities":{"Q5874201":{"pageid":7903752,"ns":120,"title":"Item:Q5874201","lastrevid":39654364,"modified":"2024-12-30T16:43:13Z","type":"item","id":"Q5874201","labels":{"en":{"language":"en","value":"FO-Definability of Shrub-Depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650828"}},"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":"Q5874201$A6E3F577-6CA1-43C2-9B5F-3344F06BD0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874201$3F29A63E-DD25-4E75-A371-E7205D093119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874201$DBC27DCC-44DB-4813-B18F-4C6900C3D63D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874201$D84FE387-7372-4358-AB17-8F0ED887E64C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874201$8EDBFC29-CC91-42DE-BCAB-B3A0C77FA871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874201$5B03C07D-61D2-460F-B380-6A90E6EFE750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c89dee34f7d08c43a2e3605b1341781a7a93867","datavalue":{"value":"7650828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874201$1A4CE79F-A3D9-4615-B708-A31FFC0195BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee16444f6c55ab8e1a8d01387cff54d8c594c817","datavalue":{"value":"shrub-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874201$E2B3FAA9-5F28-4D51-A5D0-1EF0860F2370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874201$1A81E260-90DE-486E-884D-AEC5DB7842A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874201$BF817823-67EC-4368-A108-4C4E9B59560F","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":"Q5874201$7CCAE05A-3B5F-4017-9487-8B8D660425B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bd4ed58cc426e022225b21129cb4ada7d8596ef","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/11658/pdf/LIPIcs-CSL-2020-15.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874201$799B52FB-2A8A-49CA-A0CE-D32BAC0B1FB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf97b6270b8a067521efbc5e534e667253f952e0","datavalue":{"value":"W3003451859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874201$54604B56-0235-478C-A510-55A1DE871F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef288b6678bb1b8e4d256e5389676e1b9d2c41aa","datavalue":{"value":{"text":"FO-Definability of Shrub-Depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874201$F02E9AF6-0C3A-4AB4-95D7-56B42CF291DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c1739ed71e7340ce0e375ab3219d0b4e93b6c40","datavalue":{"value":"10.4230/LIPICS.CSL.2020.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874201$1E78ED63-B0E3-439C-B410-4E075CCB39ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874201"}}}}}