{"entities":{"Q6135775":{"pageid":13270082,"ns":120,"title":"Item:Q6135775","lastrevid":58710432,"modified":"2026-04-06T10:26:11Z","type":"item","id":"Q6135775","labels":{"en":{"language":"en","value":"Capturing the polynomial hierarchy by second-order revised Krom logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731934"}},"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":"Q6135775$CDA0C250-EDA0-4C00-B256-4362C9C844DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c517eb34a298d33710e0ba0588992c959b902a23","datavalue":{"value":{"text":"Capturing the polynomial hierarchy by second-order revised Krom logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135775$FE4208D9-19BF-439F-891F-2D3157B8F910","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c4419158e97c40c069f222f92c172d8080690b","datavalue":{"value":{"entity-type":"item","numeric-id":6135774,"id":"Q6135774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$76029ABC-095A-43E8-AF58-16B164E7C228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$A2BC1446-956F-4227-8F24-61057E577020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$0D62BC6C-BD32-4B51-BD1F-1A84EF4B35F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$4FA2F358-49B6-4923-B92C-3BBD7F3AA9FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135775$69D2256C-D038-46B9-AC9A-688F2B7119E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b64cb342eb64fb03cd56ec2219da433d359cf2b","datavalue":{"value":"https://arxiv.org/abs/2207.09226","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135775$1808B259-7AA9-4503-B6C8-93B45C256884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135775$D944C5C0-3307-4980-AC25-A4FEE92018A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135775$143B013C-6BC7-4BCD-A8C9-0771B28C94CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5288754bb4804202a048e62863d34c7c0b6ea8ea","datavalue":{"value":"7731934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135775$3DB58E9C-93A7-45DF-8F11-4E289F59EB42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135775$5F71D661-2FF6-4019-A9EC-C2D23DCD9D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01428c067b30c5266b2a06843931d76a8c680c1","datavalue":{"value":"Krom logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135775$531913E2-BA84-428B-A7D0-FA32CAF97E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135775$1D2F77BD-87C2-404C-86D8-BA5D83569063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135775$14CD220A-2F7D-48DE-A781-0C1426B3E486","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":"Q6135775$4807EA91-BB46-4B12-9B75-5788743AF2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e53e2af306c4b370063d32b94ba8ebdcc29667","datavalue":{"value":{"entity-type":"item","numeric-id":1014638,"id":"Q1014638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$683F6CA7-493C-48FC-A25E-22184FBE88ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c430384783ace9c4c18d6cfbcc0dae62fd879c","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$C05AD60C-ED36-4335-8CCB-B7BE6C5D0742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eaa4ec5591bd2442589b6bf45f8d460191bac5","datavalue":{"value":{"entity-type":"item","numeric-id":3511442,"id":"Q3511442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$03722269-8654-4154-9D92-785F00A5DDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726e3756e0c89bf14ae292ce2f268f294de89011","datavalue":{"value":{"entity-type":"item","numeric-id":5091274,"id":"Q5091274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$E1C5D9DA-FECD-4443-86C9-0C6351C4F031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$B45124B1-2F1F-49B0-86B7-A3C93B9D4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$6E132792-50B3-49C5-B804-D3D476B1C547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$23856647-5335-46D2-B302-AD5CACF003F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17340913511e3530781907b7192a25482167c2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4915214,"id":"Q4915214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$5D20724F-ADDA-4020-9CB3-DE8F806D25BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88180206b38ed0439d98f1638d02f25bc153ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$6946B478-19D2-4E02-A2F8-E0E7C5387081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5366285e2cdcd5ce72c303743f4e9cd9cd84f14","datavalue":{"value":{"entity-type":"item","numeric-id":4035693,"id":"Q4035693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$F56A8B7E-817B-483E-AAB8-130ACD02924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00fbad8fe3c3a491e1de8dee37fc723a673f69a","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$5CFD16F5-0395-4716-90EA-3BBA6EB9D73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$674666F4-0974-4C59-BF94-80B28A9878D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$DE2ED7DD-84E0-4754-B3B4-E23C862A9DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92fa251a9028512ca3077887c6a4b6f77d124d0","datavalue":{"value":{"entity-type":"item","numeric-id":4247261,"id":"Q4247261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$2C17B8C2-9A67-45AC-A9B6-76A475B7681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b978fc5f442cc29d1a51f35c37ee5878e0c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$30ECE8A2-58BF-4719-9733-3C1670CA5F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$811B8015-4FEB-4325-8672-E5733821DE55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ce9864097be808d27b7a968f753e9137b5845e0","datavalue":{"value":"10.46298/LMCS-19(3:6)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135775$549256F7-4404-4B8F-8747-2CC4783D1CB3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135775$37E5B5F4-CF0B-45A2-87A6-B833F3FFE574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135775"}}}}}