{"entities":{"Q6604660":{"pageid":14215817,"ns":120,"title":"Item:Q6604660","lastrevid":42376495,"modified":"2025-06-13T18:23:31Z","type":"item","id":"Q6604660","labels":{"en":{"language":"en","value":"A generic polynomial time approach to separation by first-order logic without quantifier alternation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7912950"}},"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":"Q6604660$C6027415-B955-4D24-AB72-84A1AA2CEE7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc936938f5535380727f7457b6a930bf2f3c7654","datavalue":{"value":{"text":"A generic polynomial time approach to separation by first-order logic without quantifier alternation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6604660$3CB29C6A-5BB7-4F24-9352-B57D2FBA9F2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04505ecacd68116a0ece2a7909fff98d90bdfc19","datavalue":{"value":{"entity-type":"item","numeric-id":782558,"id":"Q782558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604660$8F8C221C-1425-4EE3-AFA1-FEACA247E91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604660$9585D0F1-3DD3-46D0-A163-29B6C15E8BBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c5063b0ac2f275e827bc77fc80dd2ef50027016","datavalue":{"value":{"time":"+2024-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6604660$4FDFD266-B39F-436D-A62E-C22B9D712E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604660$5191580A-6A35-4417-8878-F9C53872B1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604660$A8BF56ED-1839-4A9B-A59D-98A7477AF942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08201fab5db26d7150d997cd6cfb9af92808fe6a","datavalue":{"value":"7912950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604660$D954FE61-7C43-460C-875B-DC35EECAC736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604660$51B69F5B-47F8-4381-8CCF-BD061F4B21BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604660$FBE06D6F-9B07-4527-876D-F3FA666FD0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d142027bf3153eebb876131ac5297907f4e838","datavalue":{"value":"covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604660$08D3AD1F-D681-4CCD-9ADA-6D13BE6B787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9707e7d7b6b1e44be0e069bce86ec5e48b6b8d3e","datavalue":{"value":"concatenation hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604660$39007B60-8DA9-4653-8B63-1D2928DE7E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6edde35c8563b10353e808e415a0fa151c7d81","datavalue":{"value":"group languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604660$DBB84779-EF2F-4119-AF83-7F4C2F12B5E4","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":"Q6604660$F9318482-9214-42CA-B1CD-093A7FDC6DB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4543b84043e32b643f078076ef3fdaa514eb4118","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2022.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604660$7981A6CA-ABE8-4171-80CD-3E695D9635CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6604660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6604660"}}}}}