{"entities":{"Q6851647":{"pageid":20606545,"ns":120,"title":"Item:Q6851647","lastrevid":75073369,"modified":"2026-04-17T18:17:21Z","type":"item","id":"Q6851647","labels":{"en":{"language":"en","value":"Simulating logspace-recursion with logarithmic quantifier depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165623"}},"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":"Q6851647$9BDCEF57-DF81-4D51-9B43-CABBCE5BCCE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a5ec7b36ab3703d49ec2deb17773d79300637fe","datavalue":{"value":{"text":"Simulating logspace-recursion with logarithmic quantifier depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851647$A7B76043-96ED-4278-AD16-2B4C6F95C74A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718ba28f101cf11fb713d83ea0e930b9b30697bf","datavalue":{"value":"10.1109/LICS56636.2023.10175818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851647$AFF30F58-80E1-4A38-8085-876480409964","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7855a49183c9b696d4653db61a325928e4eb6f6c","datavalue":{"value":{"entity-type":"item","numeric-id":6434295,"id":"Q6434295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851647$0C3AC634-8895-41B1-A6AD-3BBF8EF361E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851647$2F29FF7E-5D1E-4B44-B3BC-6296B05A58B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"153df631289d0b23eb92c215532a92376b6cddaf","datavalue":{"value":{"entity-type":"item","numeric-id":2946346,"id":"Q2946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851647$27E8F982-5F2A-48E1-AD2D-CC347FC88E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6687cc102d62be385d456c9c70005ddd7f3b1377","datavalue":{"value":{"entity-type":"item","numeric-id":6434296,"id":"Q6434296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851647$F982F02F-6495-4E65-B73D-8181E83086BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851647$CD92EC8C-E893-4DF3-890B-0C7758B82E1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851647$95FC57ED-E0DD-4F22-AD41-92D60704F817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e85f4d5b6bf995b9932dcd9fe7e2b9b282b1434","datavalue":{"value":"8165623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851647$367A45A5-E08D-40DA-B00F-8E4832D0F110","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":"Q6851647$453520B1-5BB5-453A-8928-2271997F750F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulating logspace-recursion with logarithmic quantifier depth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulating_logspace-recursion_with_logarithmic_quantifier_depth"}}}}}