{"entities":{"Q5002820":{"pageid":7032397,"ns":120,"title":"Item:Q5002820","lastrevid":55955743,"modified":"2026-02-21T12:05:22Z","type":"item","id":"Q5002820","labels":{"en":{"language":"en","value":"Gaifman normal forms for counting extensions of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7376060"}},"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":"Q5002820$EE110EB0-36A1-4DC9-A953-4B82A198DD33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2d0e3c91ad813fb620410914ad5f0447b5d5a16","datavalue":{"value":"1499.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$6D206AB6-B44D-48C6-BBCB-37DC5DE259F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$CEE0E66F-8C2C-4582-87C5-A35FC01007AA","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":"Q5002820$B46F5D08-1867-452A-B1C0-BEFE4A54AA1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4211c9afbc08aaacbac7309503449b759a8aef6c","datavalue":{"value":{"time":"+2021-07-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":"Q5002820$F8F97E70-985C-480B-9884-0F45F3C9EEE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$DCC6EE5C-F7DD-4ACC-B647-1ACD31AECD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$2F926BCF-3A2B-4669-9934-0EB25AC31C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$8E51FC44-F2CA-4716-92A9-7C3622A31BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$DE159502-2839-47D7-89C5-B6AB52713F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$E961EF92-D777-44FF-AD2F-8E6C9E768993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5157d98206d6c6a882a7592fa9fdba1d2e58b5ca","datavalue":{"value":"7376060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$13EDE88F-9328-4111-B04E-6E1B828BDA8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002820$C2734D24-5E1B-4023-99FF-78F15EB52411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f151fac8deea4a1244fa65b67e2c75c9c5fd304","datavalue":{"value":"Gaifman locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002820$CA47EC20-F4C5-447B-96F8-CBF092B1F6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bed784055c5b88ce4e2bb25409e2209527b499","datavalue":{"value":"modulo-counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002820$EA47251B-8FC0-4664-8BD2-D40F75C3C3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0534889d0b74e8066515164567b790ea187403db","datavalue":{"value":"fixed-parameter-tractable model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002820$77ACD5F1-0585-43BA-8ECE-D45176DD96EB","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":"Q5002820$7BDD2A63-A5D4-4FEF-B2BF-EF032B2C2ECF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be17e3e16f8de4b41a5e87255873ed44ec5fd55e","datavalue":{"value":{"entity-type":"item","numeric-id":3361904,"id":"Q3361904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$BEBF4AD2-8222-40A8-9CB8-A116E6962FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1353ad237dcb172a86130dc2598975d265f19e6","datavalue":{"value":{"entity-type":"item","numeric-id":420856,"id":"Q420856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$31BD5D06-BAEF-4B27-9CA7-30DFDB061364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$6CCAE9D1-972C-4183-8EB9-A42D46101060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4753b4659469e60d103626aaca4d897985fe79a","datavalue":{"value":{"entity-type":"item","numeric-id":5428869,"id":"Q5428869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$C7A19051-D980-48CC-94A6-F09EA14FB1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$B8E6AD03-2175-4435-BCF0-6F317A98111D","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":"Q5002820$22D71A83-1C1A-4A9B-B020-06FD809A713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$0017B9F9-02F7-47B9-AD0E-78F26060367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$3DD7DC63-08E1-485A-8F3B-382B45C4150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$7BE0E725-FA18-499F-9E57-2EFD47B8161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71217208be2b526c81d03cb506bbd73893189d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$07C69221-1AD5-4FAD-BD63-968ED0A5D1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e3e1ccaf9caa6f82138832b6aebc1780e17e76","datavalue":{"value":{"entity-type":"item","numeric-id":3460422,"id":"Q3460422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$DF0997B7-C3BB-4489-80BC-EDB557DE3004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d237eb551ec9553269f6f5fd1c8ed1ca1ec2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2974792,"id":"Q2974792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$AECF5C9B-200B-427B-98DE-7816F996899C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a74968f321dea0c72a4ebf103b773acdb85235","datavalue":{"value":{"entity-type":"item","numeric-id":5271041,"id":"Q5271041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$0D474EF4-B175-4B95-AD1E-E49AB04A9713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8bffd9994bb31aeb2bf21d96f3c6bbda4facb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635883,"id":"Q4635883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$65D370FF-2626-423D-83E9-20F464359A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be719665281956acdb9f7a7501756960460e95dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948541,"id":"Q4948541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$211C11B8-8B2F-4E0A-BADB-20CE399AD6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$AB5FC17F-3151-415D-9823-BFE8F86C0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$5126E925-F1A5-4371-8138-90285712140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da43fab8c0cf053063bc6ddbc3b6137a408995bb","datavalue":{"value":{"entity-type":"item","numeric-id":1342238,"id":"Q1342238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$EF3D637A-68D7-4914-9466-2E4CD03E2A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9512311ec5fec1368f160358782812523a0757b","datavalue":{"value":{"entity-type":"item","numeric-id":1854352,"id":"Q1854352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$960A7E30-342A-41BF-9ADE-79C851DE3B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$B5C47AAE-231E-46A0-BA71-16E979EA9E6D","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":"Q5002820$F8116F66-C9C7-4281-8C7A-F8D17979F7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002820$11E8E8B4-8A01-4657-B25A-4B21E700BF8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bb5a2a62e8be0fc7effeb4d87cbd8273c089ef9","datavalue":{"value":"10.4230/LIPICS.ICALP.2018.133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002820$8115088B-4EF5-406C-9CCB-304007F4FEAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6581a6f108a2828513ff5f4a3321869e546b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4635883,"id":"Q4635883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786f24703dda503394da687a1ca81660f83e2a30","datavalue":{"value":{"amount":"+0.8633456826210022","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":"Q5002820$54B1749E-4D69-47C4-82D1-0C7BAD0D8232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3f50bea3aa76e6998a2f8406f3e316261b7cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5144680,"id":"Q5144680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cce7e628441f8d3cd9545aa418d299d482ac38","datavalue":{"value":{"amount":"+0.8254119157791138","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":"Q5002820$6AE748AC-3EB1-4796-B554-942CB2B30EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3bde2e30c162894640ba94092fd36b1b05e3091","datavalue":{"value":{"entity-type":"item","numeric-id":5271041,"id":"Q5271041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af3cc7264bfa36c961e99e16c3e77e196fa0a7d","datavalue":{"value":{"amount":"+0.8080558180809021","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":"Q5002820$5F00FECA-D944-423B-9FDF-57EB79A671AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002597f3585180167d3bb714616e8c989db6a635","datavalue":{"value":{"amount":"+0.7760411500930786","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":"Q5002820$B4AE5EA6-3553-47D1-B683-DEE89FD1C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdba5fed38aaadacb66604db6f0be16390a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4508261,"id":"Q4508261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002597f3585180167d3bb714616e8c989db6a635","datavalue":{"value":{"amount":"+0.7760411500930786","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":"Q5002820$E2374D31-936E-412F-9732-93450A7CC30E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5002820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5002820"}}}}}