{"entities":{"Q4629991":{"pageid":6659573,"ns":120,"title":"Item:Q4629991","lastrevid":53401271,"modified":"2026-01-24T21:50:38Z","type":"item","id":"Q4629991","labels":{"en":{"language":"en","value":"Completeness for first-order properties on sparse structures with algorithmic applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7044625"}},"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":"Q4629991$FA1C06A3-6FD9-43ED-A9C2-F5170030B5E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3007ede4fac6cf01d328b401a5d669ff5e1b43","datavalue":{"value":{"text":"Completeness for First-order Properties on Sparse Structures with Algorithmic Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4629991$C90F4D54-BC75-4CDA-847C-A9338EE58A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b12057fe53be97e059077d48f79a18236481b03a","datavalue":{"value":"1454.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$83BBA5A3-5D94-4365-9A50-9329C0733AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12280c104dc858ec08274994db6f2b25aa39e217","datavalue":{"value":"10.1145/3196275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$24762C3B-4831-4817-896D-CD8B280E95A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93912b13a941309c16cdc1e4b24f6c56ea2c5556","datavalue":{"value":{"entity-type":"item","numeric-id":2029111,"id":"Q2029111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629991$878888AC-DDC5-4C9C-8803-33C909F55FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629991$76EEB6BA-189A-4DFF-8997-20952A2BC084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d33dbcf1c53e85929fe28108a0d752643d16a11","datavalue":{"value":{"entity-type":"item","numeric-id":1412836,"id":"Q1412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629991$F5D94C68-EADD-43BE-A0F8-4F8FEFB73242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629991$9FA530E9-3D7B-44C6-8553-77E6557B061D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2ddb6a503bb5972a5f95aecbd260c8599d794bc","datavalue":{"value":{"entity-type":"item","numeric-id":2799475,"id":"Q2799475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4629991$A339B998-AC11-470F-971B-37A9E0621D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a37ff889da6e99144d0bc2a153cfe35be0514e07","datavalue":{"value":{"time":"+2019-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4629991$521D2258-8D7C-4965-B1F9-5C3C3491764F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$118B42B3-2B67-4160-BE60-828CE6B01F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$DD0158E9-4EDB-4D7A-8F6C-473906241063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$D5183172-F895-486B-A3BB-FF5218A57070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$491AE2AD-EA6A-4CA7-88B2-5189DF34D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$DF38AD16-E4AE-4EE8-B62A-57449290AFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$77A982AB-18EC-4738-91D9-156E752F80D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7582bc8457eb83dc264877c40dd449fe726bfd2","datavalue":{"value":"7044625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$8C0052E8-6BE6-4F7D-804E-2267A9CAEF40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6662364db17862eb88962f414bb00491088635","datavalue":{"value":"fine-grained complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629991$6D14EF2E-7E24-4C1A-90FC-D61BDEA754AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"913e1233aff4201fd8c81521f3700216d84a6d83","datavalue":{"value":"first-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629991$AAE872D8-C731-4B60-AB80-1441896BB705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5192bf3cb7e00a014011c16a60ade3e543f8c46","datavalue":{"value":"orthogonal vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4629991$60D86908-E369-47CC-B5FC-3D3F85682265","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":"Q4629991$617069CA-99DC-4315-9A88-4E39EDE1D7F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2513972f68f13a7b2e0f73efccf8c74202b9c361","datavalue":{"value":"https://doi.org/10.1145/3196275","type":"string"},"datatype":"url"},"type":"statement","id":"Q4629991$91177971-76AC-449E-8E3B-C9F59CA0A2AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd3654f76aa474a3f97b9d80e54b78ebbcff3d82","datavalue":{"value":"W4235156957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$50A56324-7F95-4278-927D-A30D1863B745","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac0f09ce3a53b24fa26f1c445c244236361c72ba","datavalue":{"value":"Q128708728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629991$D4C1FA6E-B8DB-4B6A-AF01-ACD0D1D94662","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652600fc1d9f70b957bfc0491779faec38cf4752","datavalue":{"value":{"entity-type":"item","numeric-id":4575889,"id":"Q4575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0d37605efd267dae28d071dbaa4456a1868bd9","datavalue":{"value":{"amount":"+0.9991419911384584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4629991$2FD93B4C-B801-4A92-9BA6-9CEF9B62C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4c27584ed61e4b0c65c3075320edeefc8cd217","datavalue":{"value":{"entity-type":"item","numeric-id":4635665,"id":"Q4635665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e7b6437ae6b1c5fe4600ad6153c32311c171a3","datavalue":{"value":{"amount":"+0.7694114446640015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4629991$98BDB124-E24F-430B-A330-DF2968B41FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364011c40ca50856e70fdaf56ab7e73a3d1e3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5395732,"id":"Q5395732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68aba512109411f5b5b7a1acd44277bf43a15d9","datavalue":{"value":{"amount":"+0.7307032346725464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4629991$8E71E342-CDAD-4DF5-8A00-BB97D4D21A72","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":"d14801ce59d53fec21f5c07939a2904034e468fb","datavalue":{"value":{"amount":"+0.705160915851593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4629991$270087F2-99A5-4430-A09D-C512DFF5AFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000fdcaa8e5dff5ad66790f5a279bea0ae41f699","datavalue":{"value":{"entity-type":"item","numeric-id":419416,"id":"Q419416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9aa97836d51e5e2b64362987e22816f892ec12","datavalue":{"value":{"amount":"+0.7023077607154846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4629991$F35609C5-E700-43F7-ADC9-009B2BFE3D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4629991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4629991"}}}}}