{"entities":{"Q4718893":{"pageid":6748470,"ns":120,"title":"Item:Q4718893","lastrevid":55931632,"modified":"2026-02-21T06:38:01Z","type":"item","id":"Q4718893","labels":{"en":{"language":"en","value":"On Existentially First-Order Definable Languages and Their Relation to NP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1382910"}},"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":"Q4718893$46BA3E3E-115B-42B6-9CE4-8446D68CE0FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a21bd6deaa3efd4ab1c6533b8b8120a1e4e55a1","datavalue":{"value":{"text":"On Existentially First-Order Definable Languages and Their Relation to NP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4718893$DD2F013D-921E-483A-AFA7-90D66E514A1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4dfef876471444a4dfca10e0bc2b8fc9dc14f99","datavalue":{"value":"0949.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$7CB2AED3-E762-4310-892E-14EA3B341B83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$85B3E60C-C9B7-448C-BFF2-9B3B6586E760","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4718893$2C45AB9C-CCB7-4545-89FF-594F358EDF2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1847f94791d5b91563a8478b7cc95161aefac610","datavalue":{"value":"http://www.numdam.org/item?id=ITA_1999__33_3_259_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4718893$66C199D0-DBAC-49C7-9496-932C97A6B6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb390637a0f9f31bd910c84198e79bf4ad0c396","datavalue":{"value":"https://eudml.org/doc/222021","type":"string"},"datatype":"url"},"type":"statement","id":"Q4718893$7B86156E-96CE-48E4-9545-F53F80ED385C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$596C182D-78F1-43E2-AC55-478EADF9E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$5F88C3FF-00BF-4E77-9B52-0CD2B1916C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$F2C5BC50-9255-4018-92B9-AF59930E5803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5618ab1938dcc6164d8d6e063d68f74a96a6845d","datavalue":{"value":"1382910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$AF6442D1-A18A-432D-974E-43704B697558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319f7aef6d48907b019428ced327b73484cf6132","datavalue":{"value":"polynomial-time hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718893$8403FD44-C5E0-4974-ADDF-C4939F156E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718893$E57F2D33-EA6D-49A0-802E-50B54494D85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe53d8cc8bfecc14a8a13f21a62b46e0624abfbe","datavalue":{"value":"existential definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718893$C4358266-9457-4C2E-9465-1BE2118EBE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718893$56284D9E-7A22-4BBB-B5F8-75EF6E6DDC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718893$BA896360-1F77-4F29-A507-A57DBD337095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5843c7c493d4706c03532f63f307f44c46bc641b","datavalue":{"value":{"entity-type":"item","numeric-id":590547,"id":"Q590547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$13A09A5B-6B49-4879-964C-9C41B86550E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$7F5A5F4E-D7AA-40D0-9002-3BF8F453E264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$FB87260A-088C-46D3-B221-385E425EAC9F","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":"Q4718893$8F768080-98AF-4B99-8533-8F2E57603776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"725e46fc469cd2fff58765cb8c2f6d1094a32d09","datavalue":{"value":"W1964316889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$3B0AA0E4-FBCE-4D4B-8CF3-19D36C5E26F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfe9474f7b790bb3ed949bce53b4adc3192d081","datavalue":{"value":{"entity-type":"item","numeric-id":5905584,"id":"Q5905584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$E5457021-9BB5-4D54-B2A8-287DCB1879C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4536a1233fc0aaa6b39286edf2afc7c654365dbf","datavalue":{"value":{"entity-type":"item","numeric-id":672323,"id":"Q672323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$E6451033-F041-4FDA-B52A-6518B7AE5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8341f14615b169306046574a7b0720ccb03ee","datavalue":{"value":{"entity-type":"item","numeric-id":1200807,"id":"Q1200807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$F1241360-A905-46B2-9287-BBECD3560ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7b1a84125e45f6d8dc69399b5f617897cfd161","datavalue":{"value":{"entity-type":"item","numeric-id":5248979,"id":"Q5248979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$1725D267-6DBE-4298-A5DD-A568AC3FDD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcb11f0b30802ff1fa8b04ab34822dc12429034","datavalue":{"value":{"entity-type":"item","numeric-id":3832042,"id":"Q3832042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$8FFBCAA0-9756-4C34-8C3F-76C6A295C556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12518e158c349d78b44c53f295d30414a8a57fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1894445,"id":"Q1894445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$1EFB6CF4-2A06-450E-BBB2-BC4DAB117528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$D03C2CFD-CA0E-4D9E-B797-4B8C01C93779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$1C160DCB-D661-4541-8655-BF34B64C7B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$1E759EF2-AC4E-425C-AFD9-5F8AB96FD888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718893$808DA8DA-FD8F-4167-8024-AB5F4C4E898D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94e115ce686035671b4e9a1462dccd40944e57c0","datavalue":{"value":"10.1051/ITA:1999116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718893$1493D08F-69D9-43E5-B7A8-577C66287604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100e1aa73c9bbd70bd8ae9bd623d40bd76b1af2e","datavalue":{"value":{"entity-type":"item","numeric-id":4231780,"id":"Q4231780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4718893$92E54A1E-5357-47A6-AAEB-E0721C7EFFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242705db016f9a640100b114bfff38908d9db76","datavalue":{"value":{"entity-type":"item","numeric-id":5449824,"id":"Q5449824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b6c6ae46c84be0b85deabe995f904a36e41564","datavalue":{"value":{"amount":"+0.9043117","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":"Q4718893$EDEE7D4A-57D9-4909-8FBF-B6B7E0F5867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434dc5f9cb094b14f700942b690b4c529c128bed","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8ada2cfbd55894abb5b573fae1273a88385a3e","datavalue":{"value":{"amount":"+0.90431166","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":"Q4718893$61A235DA-9B6C-4422-BA22-151AAE80C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9744f14dace30910cc69859cd7b8a9c21053e28f","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747c7c2e295164e86b1b36fa6b3e360a93c68734","datavalue":{"value":{"amount":"+0.8920006","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":"Q4718893$1BCB2726-56D0-4740-8DDE-6BD9F93B3506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1ce63f735a7a7f5f94bfbfaf0c8b8000e0836e","datavalue":{"value":{"entity-type":"item","numeric-id":3194725,"id":"Q3194725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7183587a2523dbf3910afd303190a5d1236255d","datavalue":{"value":{"amount":"+0.88843966","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":"Q4718893$C6A7BF5C-51FC-49F5-BE5B-E3E5F7009899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bbc451d2cc8f2ebdc5ce80729c8917972a00af","datavalue":{"value":{"entity-type":"item","numeric-id":2986821,"id":"Q2986821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa01f69eb04ba1733f5d9dc330f074cb0e43e1f","datavalue":{"value":{"amount":"+0.8872283","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":"Q4718893$278A0B1F-49BF-4C9F-BA78-60791F0D9657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a979ec61663d15968ffb824103c32eb345121778","datavalue":{"value":{"entity-type":"item","numeric-id":5012557,"id":"Q5012557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5da6e69d6802fb6ddaf9b75ff04ce4d3e70c97","datavalue":{"value":{"amount":"+0.87559706","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":"Q4718893$7112A60D-1141-43B0-90AF-F7A5FD0EF253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab224d5cb305bffb6bdcd1d1445a32f63873ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1263576,"id":"Q1263576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0091fbd92d964bdf922b726cda4f63f96f87f71","datavalue":{"value":{"amount":"+0.875492","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":"Q4718893$D4BF965D-75FB-41FE-ABD6-FCEA590E15C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4718893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4718893"}}}}}