{"entities":{"Q4879905":{"pageid":6909484,"ns":120,"title":"Item:Q4879905","lastrevid":46380705,"modified":"2025-12-24T16:24:52Z","type":"item","id":"Q4879905","labels":{"en":{"language":"en","value":"The expressive power of fixed-point logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883463"}},"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":"Q4879905$FEA8FF38-3D8B-4095-AA01-F8AB10424D7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4252c3cf1cbef829eefc92e0331e0acefe608986","datavalue":{"value":{"text":"The expressive power of fixed-point logic with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879905$A22B44CC-BFC2-422F-AF83-7B669DA78BBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dbc7ccfab2fb9ced78f1ff95ff687a737ba86f6","datavalue":{"value":"0854.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$FDC2ECA5-CE56-480D-BC67-91149042EB73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fbe001e070b0449878a5b09da705f94ebe0ba90","datavalue":{"value":"10.2307/2275602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$06A89DF6-3216-4F0D-A24A-237BF8725DFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$89FFE6CE-45A5-4D51-AAE7-F2D1E5F002A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$B3DD84B6-159A-4B2D-8053-DC7C18D32A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879905$26CAEA5C-6879-4D19-A9E2-5BCA04F6E77D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$20191C9B-7DB4-41FB-B461-699FE530846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$CF0FD5DC-0A56-4C88-9655-8E15E144FC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$DE638985-3860-40C1-B43C-FCFC01366322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$00145551-F6A6-445F-BED9-D41E85A5E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$A22D05D2-2727-452D-8FC8-379470658035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fee283130ca8c8d8f4dda542af181f2779b9dd7e","datavalue":{"value":"883463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$A1C52039-4764-4FFF-AA44-DD3C6803AB4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$51AE438C-9180-4A4F-BCEF-955AE4B9862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d26b21907dc6cdecc700528bb5d0f9b582b602","datavalue":{"value":"Lindstr\u00f6m quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$4E264C24-297B-43B8-ABF9-C1B231CF47FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$66E607F0-9089-4C52-859C-7702656817A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc4cd31cbb37acdb1a9688bb57573bb454fa30c","datavalue":{"value":"cardinalities of definable relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$EB5D7153-F3FC-4D06-B750-30F615AC1ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$5C52B8B1-B527-4C7F-80BD-0AB0A2DAD40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$BFD9978B-5B2F-4B1E-8EF8-0D5A98CA160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbace86e67286cc2a3592b8c3b0fde92b48242de","datavalue":{"value":"counting pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$EFD40A42-F024-4D8A-93E7-3667FD7DC2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$DBFCDA2C-3CAE-4F85-9696-5231530F4770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b405559385226d3c5ae823b8a55d6d6b794c81","datavalue":{"value":"relational model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879905$BE6DFCF6-80C5-4F65-A7FB-0CC115A4556A","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":"Q4879905$642EB320-2A0F-427C-A203-AA31245AEB9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02cf62835f98c68b8ff331dbeda911244f3f3e15","datavalue":{"value":"https://doi.org/10.2307/2275602","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879905$EC0BE14E-20E9-4AD3-B90A-9A2949A2A52C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9db0056dd8300d43ac7bfc675d49188326bb783","datavalue":{"value":"W2097212968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879905$4AF186BC-88AE-4DB8-82C6-DA46DCE8F8E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$07F6E979-B45F-4CB7-8CF3-BB7099EA5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$318DEFA0-3CA6-4697-B54B-6CF40360B361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$364F2813-50C6-4C61-991E-9A12B44541F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$E904A8D5-2B9E-4219-8160-482846BA017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$96732B34-D525-401D-8B1D-9897F38B6A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$9787D10E-F088-4EE4-AB8B-997F721B1196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879905$9B03CB8B-17DB-4EF7-B465-E5927A8F90F2","rank":"normal"}],"P1643":[{"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":"14af19c7c708efb9b77e4006ce9bb4a6acab2529","datavalue":{"value":{"amount":"+0.8845523595809937","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":"Q4879905$085341DA-DF4E-4AFF-899D-FAA44ACFCB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4644076126e0f8ef241c2525f75e2a5a45a38bef","datavalue":{"value":{"amount":"+0.8696601986885071","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":"Q4879905$E771E3AE-6E82-42A6-BB3E-76866B74EC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62267cc504c4f0be602515d1d6ae79b5d6a84ffa","datavalue":{"value":{"entity-type":"item","numeric-id":672336,"id":"Q672336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b059e1f4c0fd3737ab19e2e8934b5b8c02185566","datavalue":{"value":{"amount":"+0.868229866027832","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":"Q4879905$BBDC5BE3-CBDE-49B2-B84E-FECD9407F2EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879905"}}}}}