{"entities":{"Q688663":{"pageid":690512,"ns":120,"title":"Item:Q688663","lastrevid":63634023,"modified":"2026-04-11T14:29:59Z","type":"item","id":"Q688663","labels":{"en":{"language":"en","value":"Finite-model theory -- A personal perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438311"}},"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":"Q688663$5F2C6D1E-9DDF-4033-9476-70429DCE44A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36630940230991f1bfce306df41680007a336e11","datavalue":{"value":{"text":"Finite-model theory -- A personal perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688663$549FFD65-5580-4385-AB8A-4E19484B7A08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8db26c23eeae2e03d31701e86f0790a8845aa3f","datavalue":{"value":"0788.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$378756B3-DA70-4835-BD80-FDC3EF9AB1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7807f4ead618debc4c1f3cfea3611ae5b92fc6","datavalue":{"value":"10.1016/0304-3975(93)90218-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$83F80FD6-180B-453D-B7DF-1542FCEB6AA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501919793d5a7682fe5d33dabd63127f0c90af27","datavalue":{"value":{"entity-type":"item","numeric-id":388219,"id":"Q388219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$8F095DEC-61F1-46AC-B43C-7ABB50D2A792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$028FB32E-17C0-4F5B-99B2-A54A764E8EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a361f56e52055f8cc7213085a9db79a8a8cfcd","datavalue":{"value":{"time":"+1994-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688663$F677AC31-7316-4C02-B3C9-84B8000733FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f32cab9624c1e4654608ea1875e59d69c1503fd","datavalue":{"value":"This clearly written expository paper surveys finite-model theory, the model theory of finite structures. The author -- a pioneer of finite- model theory -- focuses on results and problems springing from work in his Ph.D. thesis, thereby covering most of the main issues on finite- model theory. Among the topics discussed are: Spectra and generalized spectra, zero-one-laws and descriptive complexity theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$989A6F8A-F0FF-4826-B52F-4FD47B750EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$F52CA799-3432-4F7C-9F53-1EE713EDBF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$02DBF3B3-F89B-4884-BA45-0EE6DB5938ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$BB5ED2B7-6122-45D7-AEA7-F6B66411B19C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c994b21cd873e6d131e83d02db8baf4803f6ad2","datavalue":{"value":"438311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$B1C5943B-D246-4E70-A1F3-5DFF31E2CAED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00778cc8302e54679808696d876b6463d1676c84","datavalue":{"value":"expository paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$5D224687-AF40-419C-9ED3-2C74F0D6EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe1ce8b4e5ae0fbc6b84689da6c9d0543749efd","datavalue":{"value":"finite-model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$DCD812EB-001A-4D18-BB6E-2E52D9797ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d11e07367786bbc0f9e9973a35612a1d98cabc","datavalue":{"value":"generalized spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$FDA4A073-DC92-4C0F-AE91-B988D5311819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c087da8aa9d684e753dddd0353f41ad7f02747b","datavalue":{"value":"zero-one- laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$B7895FD2-619D-4C16-B2F5-18772E296415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688663$19B417EA-C2F5-4010-83DB-844E3542DD39","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c55c42a7980ebc81d97753f07b4d2fef225d5cb6","datavalue":{"value":"Q59410892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688663$3627F995-AF83-4E02-B625-800350EC35B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$7F1758F2-08A7-4BC6-8AC1-2E1EE5C1C045","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":"Q688663$09D8279C-E908-4FCA-8420-770BAF368DFB","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":"Q688663$50D73CED-7FB8-42FB-BFD1-A3D32967C117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9E72A598-D268-4804-9B0D-50AAD8B060AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91208a440a6eff9bc47ac1adcf40a48d3c5ee83f","datavalue":{"value":{"entity-type":"item","numeric-id":3778681,"id":"Q3778681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$C6A2E521-916C-48AE-AFD8-8052DF668F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7fcd40c080cbc0e48d70b907ffb6da45edf31","datavalue":{"value":{"entity-type":"item","numeric-id":3226749,"id":"Q3226749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$6348FE77-9F91-40F2-84A0-41E36E62F8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9C969274-7147-42EF-8FF7-9A21E30CD80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371e60689fc418f92aaf6266f6bda684000bf60d","datavalue":{"value":{"entity-type":"item","numeric-id":4102958,"id":"Q4102958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$D1236D8E-4FA3-48E4-9524-2551DF9F48E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$0F9495BA-3B86-4166-BB57-CAB5FF681426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a53f8b3e890c2663a1765dfdac7e8b3d9c5053d","datavalue":{"value":{"entity-type":"item","numeric-id":3948590,"id":"Q3948590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$1D9712A8-53AB-4B7F-8565-5024A1AD5E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$6A869CE9-19D8-4798-91CB-47F877329BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$47C7865E-A3E7-47CE-A5E0-954FBD6B8FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$C22637A3-EF1E-4881-AE7E-B6F18EE1143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ba489b6a3d88d2d9d682a4febbd386ad4ae23b","datavalue":{"value":{"entity-type":"item","numeric-id":1103939,"id":"Q1103939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$7B64A714-2D44-4F07-9509-7BCD8E165C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7259f266eb0d6ba5f3734c91b321712cc1507f74","datavalue":{"value":{"entity-type":"item","numeric-id":4276180,"id":"Q4276180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$17D2432B-74DF-4FBD-944A-57CA91B8B1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f823da39882c760e5cb7d4936cb8c91476279cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1095135,"id":"Q1095135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9E8D586C-7200-4538-B386-38BAE4DA952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$6D2748B7-5CF9-4493-A502-5CEF8EA13F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1333f2acf6f8c371ea1e2ebafa3bfc8cbb5bcc","datavalue":{"value":{"entity-type":"item","numeric-id":4134974,"id":"Q4134974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9B5C5E33-01B7-41FD-99C8-59C6C90CA631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0eb7815f4bf7d310ef38b226dd45b107c998a93","datavalue":{"value":{"entity-type":"item","numeric-id":4107930,"id":"Q4107930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$215FEE53-5EC8-4E2A-A07C-58B52EE23C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$1AD0EFBF-BF5D-4F9A-957D-110FEEC58743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39738cea79e11456d6583aec1786d79af209b23","datavalue":{"value":{"entity-type":"item","numeric-id":5341586,"id":"Q5341586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$CAF6A4FB-0061-4172-8EAB-C09E8B1B0105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$F78FDB98-4966-4E80-BD5E-70FBC9546C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$EF3AD2F0-98FC-428B-B192-B567F71D93A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c356c01816cbbc7bdabae243ae703945f5fe3e","datavalue":{"value":{"entity-type":"item","numeric-id":5728982,"id":"Q5728982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$C834D8B4-F9F3-4839-B80D-FB0E372552EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631afda92da774b2f35528b579855e622332ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4065548,"id":"Q4065548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$927B259F-69E6-4FC8-A568-025E650B312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$A39E23A7-2045-4218-8538-BA0CDE713BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$495DE4C8-F9E6-41C0-85E6-8B5D43935813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0033bc33eb314957324991df34507e05f434d84c","datavalue":{"value":{"entity-type":"item","numeric-id":4068694,"id":"Q4068694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$005E6216-E6DD-40E7-9D71-37DE478BFCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a9aa38c46dae5d5497cdeca69cc7e8e1860650","datavalue":{"value":{"entity-type":"item","numeric-id":4067093,"id":"Q4067093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$DACD2BE0-8A70-491E-908C-A8E6D5D55080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$3DE61281-8F88-455A-B11F-062CFA153BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd6c969231e6f49e9de8df2bebdcacfffac1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3956433,"id":"Q3956433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9C34A047-35E1-47F9-BED2-497A8FBC262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$DB64B898-C556-48C4-AEA0-D7ADF82CDB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed0aeee874455e44663139bcd13fab990ae3be","datavalue":{"value":{"entity-type":"item","numeric-id":4728289,"id":"Q4728289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$AE866043-D5EE-466E-A1A1-AB5443C5B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23864062d75dab2801a4a1fa8e29e18425c1e938","datavalue":{"value":{"entity-type":"item","numeric-id":2560797,"id":"Q2560797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$44CDE40F-B180-41C4-9830-F5AAEF046CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40429e2a9220a90a4cd7998a113b7c636c8db471","datavalue":{"value":{"entity-type":"item","numeric-id":2538114,"id":"Q2538114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$C52430CD-9A0C-4ECE-83A5-5321B2267A20","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":"Q688663$D1EDFE0B-F771-4CEA-BEE9-4B7700061907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$3B406367-0191-488F-BAC5-693B64B6C28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e224c6097d2b878d98250e30a244a9ed6be5f517","datavalue":{"value":{"entity-type":"item","numeric-id":3317080,"id":"Q3317080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$4741411D-7820-4278-854D-B3F557CE18F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c552404d07226cd323e8cbefdc1f8b551f4f582","datavalue":{"value":{"entity-type":"item","numeric-id":3329449,"id":"Q3329449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$87EF16CE-C4CE-4E52-8158-A070001450B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fab33777dce654ec72e44fec3119c509ea0bece","datavalue":{"value":{"entity-type":"item","numeric-id":4106190,"id":"Q4106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$4894412B-D175-4066-AB91-3C359416980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$52510132-667B-4DEE-99E0-CDB2A2E81CB1","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":"Q688663$96C69F8A-32AC-41A8-9CFE-A345D61418D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd074ca7cec32f23339c54b13f2b03263f865122","datavalue":{"value":{"entity-type":"item","numeric-id":4124353,"id":"Q4124353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$A524CAE0-0E0D-493C-899B-274F2666150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5cc19d79d735bc7d771e00acb4d9f9489248d9","datavalue":{"value":{"entity-type":"item","numeric-id":4166743,"id":"Q4166743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$B4B3A44D-1F46-411B-B788-365B7215B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91437bc3f5649edc6a7acb3095e2cdec844eb2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3711749,"id":"Q3711749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$12332833-62CC-479A-8730-C522D5538B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$0A4B2FA2-E9A2-4304-8131-A02FA6A5825D","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":"Q688663$F068F55D-6ECE-4561-AFC4-F91CC0E25684","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":"Q688663$062F1750-2C31-4CFD-B21E-2CD01F433BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$E1E1D029-E80F-4D63-A607-233BDFFF489F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$5530565E-FF20-49CF-8681-2E5F5DA2938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b86a7428d25186a655d06d9001814911af977b6","datavalue":{"value":{"entity-type":"item","numeric-id":3830533,"id":"Q3830533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$14FEFF4F-C404-448E-80D9-56528450DC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7402dc5bdf53dcf826b894508745d7a339429a41","datavalue":{"value":{"entity-type":"item","numeric-id":4775859,"id":"Q4775859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$260A12C8-E6D6-4FD3-BB0B-AFB870999E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33797ecab46f01d24d65f8ebc9e630803e09eee","datavalue":{"value":{"entity-type":"item","numeric-id":5559227,"id":"Q5559227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$9D42EABF-B8C7-451E-B9E7-60C15857AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$80820072-6663-469F-B3CE-D0FA1B8149BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$06841EAB-AF60-46B5-B7EE-6482C5BA1834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$B5E64D33-5AE5-46E3-8C3E-250BAB5AECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$6B2F535D-9FA0-4009-9046-4A71CA2FBE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$E31ED506-2C71-43D8-81C4-93EF33FAD7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e229cfc1bea60629bae895118febbd2de39f77","datavalue":{"value":{"entity-type":"item","numeric-id":3870879,"id":"Q3870879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$2D3C57E1-199E-42CC-88A1-AC376D3D3268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5579454dc4831b27a231ccf56981a6051e1b07","datavalue":{"value":{"entity-type":"item","numeric-id":3041164,"id":"Q3041164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$801B4B47-0B0B-498A-B0AF-DB4A389F3474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$B18C594C-62D3-4060-9CDB-EB71CCFF264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c277bda87e9675ce2f8d5ad12324c7499eeb9a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5514308,"id":"Q5514308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$081E9204-42C7-4088-9CE5-91FF8DD2CD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$ECD9D879-6D4E-41E0-94C3-1D3A15CB328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$7F3ED73B-3CD0-45CF-AD4C-8A00E5E43439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977f79e25621a7cdd24d8b5a4dba4b34a561a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3791190,"id":"Q3791190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$2D1F30DA-E315-4427-8F1D-9364528BD5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$169CD03C-409D-41C5-BE67-FBDDC8E71D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$7A514C9C-01E0-4F6B-A365-7FAE11FEE795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5903d75afa1437d26190a72d887538e5dfa1890","datavalue":{"value":{"entity-type":"item","numeric-id":3268307,"id":"Q3268307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$8FF49063-6488-4A53-AA87-82830F3F08CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d56c00230dae8f28616c2cc9010cd3809eec5","datavalue":{"value":{"entity-type":"item","numeric-id":3970879,"id":"Q3970879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$15E2360A-57CA-45B1-92DD-B1DC6656E196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$7DF2F1F5-1FB0-42C2-B848-421C2069665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$6906E765-1132-49F0-988A-A88ED27FA1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801f0bb548788ed811f9984e1ee04921c3518e9f","datavalue":{"value":{"entity-type":"item","numeric-id":791548,"id":"Q791548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$589907F1-546A-4918-A52E-CB48248FC7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fdeac57e6ae30181fb2db5f7f4e10e134e5670","datavalue":{"value":{"entity-type":"item","numeric-id":1232181,"id":"Q1232181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$F9A3B3B7-4BB5-48AD-BF35-AB2DD9FA96A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82e3f39dd1ca8be4d9302234cd13f0b67a4da76","datavalue":{"value":{"entity-type":"item","numeric-id":3843616,"id":"Q3843616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688663$F0E5A5C8-7893-4EC8-945C-400908355C67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2952e4882e7cc0cd22be755f51615e8d9f376d0","datavalue":{"value":{"entity-type":"item","numeric-id":4511540,"id":"Q4511540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52416e0f6d59a3b6ad28349146fd013125f8a510","datavalue":{"value":{"amount":"+0.8399521112442017","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":"Q688663$6E267734-8E0C-4CD1-881E-F601EB44FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76070a8093f9d25482e82f14d5133bd448208b11","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e278428c034668ac2d9bf2a3f0274f9e68433f31","datavalue":{"value":{"amount":"+0.8310269117355347","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":"Q688663$D2952CAE-B93A-4E28-9720-0C7FEC3E8A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea8520bb657f4377aa4b321d6b9d6ec37846b9","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596d82dbbc8c596ade3da87fe0bae6330a1967ab","datavalue":{"value":{"amount":"+0.8299772143363953","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":"Q688663$FC1EDBB2-F8B1-48BE-B8C5-F6C123B39A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0d49aeef9a815474e44e8c4a918a4ab695551a","datavalue":{"value":{"entity-type":"item","numeric-id":4817187,"id":"Q4817187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e769f3bbc2bef8811859eb7f0365194cd9871131","datavalue":{"value":{"amount":"+0.8231524229049683","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":"Q688663$C8DF025C-3F3E-4813-AE2A-573CBB0F4668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e22550b4c66849fee59766eab2bf31ad10136d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4779635,"id":"Q4779635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34073ce87fa05232a7a1a685fe9a066f75b5cf7","datavalue":{"value":{"amount":"+0.8172833323478699","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":"Q688663$7F28684B-8C9A-40B7-B3EF-BB43E169AF8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-model theory -- A personal perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite-model_theory_--_A_personal_perspective"}}}}}