{"entities":{"Q715044":{"pageid":716893,"ns":120,"title":"Item:Q715044","lastrevid":63832221,"modified":"2026-04-11T15:50:55Z","type":"item","id":"Q715044","labels":{"en":{"language":"en","value":"First-order logics: some characterizations and closure properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093692"}},"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":"Q715044$32637070-63D9-462B-BF9F-F419CB5CC8E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c6859cc20d433c4c6fdd190f5677eca7e69e4f","datavalue":{"value":{"text":"First-order logics: some characterizations and closure properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q715044$6670E705-C656-445B-9DE2-650BBD528A9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fb1844396072552ed15980670ff716fde1bccfe","datavalue":{"value":"1279.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$BB23B2DC-3A08-40E9-ABA3-1838B1E203EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$44A3EAAE-0597-4814-A33B-C5BE31918FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5b44684a6cc8af75870784fb52a5ba3f9758e","datavalue":{"value":{"entity-type":"item","numeric-id":383363,"id":"Q383363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$85A687F6-FE65-457F-872A-91BC66CF072A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"962f5e7234e19331f0fd03a9286bbf1f2015e9dc","datavalue":{"value":{"entity-type":"item","numeric-id":243827,"id":"Q243827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$1B8A2BDD-3751-4A16-8E87-8E2ED77AE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8b70581654407b68dcaf8a44c11e34c40bcbf1","datavalue":{"value":{"entity-type":"item","numeric-id":243828,"id":"Q243828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$D0C196BC-DA4D-47BD-BEFE-15B587D5F8A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$94E025AB-CBDC-426D-ACE1-EEEFC48F28B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90cd4bb1c8ff7643cee66698544f44be0292260a","datavalue":{"value":{"time":"+2012-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q715044$9697554F-1372-4E26-8466-402EE8B2617E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$264F8C98-BA43-4090-B6D8-0A83CB95BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$199B5E7E-7630-46FB-9420-75C55947B10B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e0afbc4e82b820544f5547351d37cc18edc286","datavalue":{"value":"6093692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$0DF28FA6-DE02-489D-87D5-93C97C6FB921","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24c293ff0f40c67983c579bea5ec0f9191eb5ec","datavalue":{"value":"\\(\\mathrm{FO}[+]\\)-definable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q715044$53BC4259-7EC8-4BA0-8B07-5EA40230D864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9891227b3d7ca9f091fdc17473271d45c5e2f962","datavalue":{"value":"recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q715044$BD83E046-4066-4A96-A656-2480162225AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5382a62fb7ce53ee88bf6977550f6eb05c54b7","datavalue":{"value":"word bounded languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q715044$940B723E-8F36-434D-AFE1-9B8208738CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ebcc7ec7d96e34585c09db0eb16fec0b9a731b","datavalue":{"value":"semilinear languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q715044$37FB71E1-9B4E-4750-9AE0-01FE5271A4E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$DD095DEE-3461-482E-8852-B9FD7EA99A28","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":"Q715044$70A5DF53-1FAF-4D79-9412-442B275D0755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"095ce82456ac28cb724a3dec57e3cdc55954b6aa","datavalue":{"value":"https://doi.org/10.1007/s00236-012-0157-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q715044$F2C77751-929B-4A08-96D5-46FB06EC7BED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57305e13c5b60f8ce301a47535109896c4ce12c0","datavalue":{"value":"W1975359072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$70DB6A64-8CA7-4DF8-AB6A-A759371CF9EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$36E5EE09-B389-4623-9535-D79E90544F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$1C01B108-901E-4F3A-A29A-7229075776EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$05E44843-C278-4E22-98D7-D783EE0C0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224136359b3dd7d2e222d49c123234f333b6dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1362332,"id":"Q1362332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$B5EBB3DB-170C-43C3-A664-3EEC2CB92DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$02052BFF-8E17-4BD2-90B4-A4E870835D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$7EA23030-730E-4B6D-9323-858B046126D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$0377C2E7-ACDE-4B2D-843D-B8D8D077280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$2DD1A4D8-E867-48C6-8281-31D09DD7456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$BAC3FB7F-F02A-411E-804A-B454D5DF6ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c450965700884520792d78d9cf9b8d54507d87","datavalue":{"value":{"entity-type":"item","numeric-id":5626293,"id":"Q5626293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$B1806842-5FE5-4C13-B039-D4B124329B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceffff1a02b5a4047bc8ae2d910dbd760b2f586","datavalue":{"value":{"entity-type":"item","numeric-id":1212796,"id":"Q1212796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$A23691D6-4A5B-4BEF-AC4B-BA838F28B90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530ecfc3fcdf7822176e7734f764248c5d40ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":1112610,"id":"Q1112610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$E7E5DEAC-4633-42FE-B3F9-D8C14D1793CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676aece04fac8129461c6664e138fe6c7db92251","datavalue":{"value":{"entity-type":"item","numeric-id":4207580,"id":"Q4207580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$4AF0ED7B-C4BB-48E8-BB47-A6E8AE4FB841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96506a51f8a0b5e01d909255613b4f4f4c33e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4249530,"id":"Q4249530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$D4623766-E4B4-4709-873F-C389F9F26FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9088162a616aafe4c40ad90a31841c31b07b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5946058,"id":"Q5946058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$E9AEB813-5AF0-4AA2-B4C2-7D4E14D34E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$1161C377-AD4B-4A44-A6CE-C90CB3F6A6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5165c2e64cb80ae3af656d651f5c42f43c08dc","datavalue":{"value":{"entity-type":"item","numeric-id":1124355,"id":"Q1124355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$95B5ACAE-4A46-45D9-9157-7D96C119B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$ADF7B5FD-1A9B-4C4D-8C08-1B700D2A4A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4647127bfa927c82766ea798b4697455ed5e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$7019E60D-EC14-4E28-97A6-7823A32F36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eee8a8eb47fc0f8f39869b465573d7493228a10","datavalue":{"value":{"entity-type":"item","numeric-id":4839051,"id":"Q4839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$83752DCB-5856-4FF3-9092-8B5FD20871B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$F51B8815-49BC-45A7-BE90-71FFEDAE8409","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":"Q715044$BD8EA668-CC45-4C72-89C1-87181AAE5B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f200ddc20c2d33390fb94670a066f08d95c0e9","datavalue":{"value":{"entity-type":"item","numeric-id":1215271,"id":"Q1215271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$82B55244-DDED-498B-8A24-C53AD09D240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q715044$93864B75-BA7C-4CA1-9E09-F46F7B8C906A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccd8136fe583a843167684a63176d41752238c5c","datavalue":{"value":"10.1007/S00236-012-0157-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q715044$97E81A6F-05D9-45B0-876C-C0D728186150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5973a5ac9b6f9038837a31334d7ecb4940333c30","datavalue":{"value":{"entity-type":"item","numeric-id":3564860,"id":"Q3564860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b802bd177d01aefd6d8ab86bdee2fe0d91eb2fc","datavalue":{"value":{"amount":"+0.8398197889328003","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":"Q715044$FBC74BD8-A11A-46A4-B725-52962AC65D64","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":"dec067e4c1a6435796e01c31a6e39645ded8028b","datavalue":{"value":{"amount":"+0.8180585503578186","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":"Q715044$C0EEBAE3-BACC-41AA-9928-B2C93F8D772A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf5860a86f60bcb4b57f6ca2000db7ee6640cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5245724,"id":"Q5245724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdebce019b70ed9787a3486c224799ba601dfb6","datavalue":{"value":{"amount":"+0.7702699899673462","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":"Q715044$B5925A9E-EFCD-442D-934D-10D4CBA8ACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db84ace2e45176688dec886ecdbd223d9e798d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096727,"id":"Q5096727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d63320bc00a20e8d1f71b6c8b26637c9bc2bf47","datavalue":{"value":{"amount":"+0.7581847310066223","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":"Q715044$D990A426-F1DE-404C-9DED-F29E1CFE957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7819c1f74fb116dda109c58fad5976683464d246","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b24abcb62db1a97ffb91e8dd8e3e855365bbd37","datavalue":{"value":{"amount":"+0.7528349757194519","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":"Q715044$5545DC3A-45B1-4A53-9D05-4EA0F54311DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logics: some characterizations and closure properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_logics:_some_characterizations_and_closure_properties"}}}}}