{"entities":{"Q2915711":{"pageid":2926431,"ns":120,"title":"Item:Q2915711","lastrevid":85104383,"modified":"2026-06-03T05:53:52Z","type":"item","id":"Q2915711","labels":{"en":{"language":"en","value":"Model theory in computer science: my own recurrent themes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083564"}},"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":"Q2915711$4D42328C-0F3A-4845-802A-2A4323B1589D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dea45c83dbe778fbcbe2ec7d11da616d4fb81a7","datavalue":{"value":"1247.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$2C181FB4-63C8-47DB-9625-C91D52BA687A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915711$2BAF4B3C-0270-47C7-AFDC-39F031CC9A1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$3A5CE167-5A90-4E8D-BB17-6804F51061CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$FEDE40FB-7F3D-462E-8633-0F21553B4D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$C6EF8597-AB80-4B3D-83AB-22C68B63B03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$3F5855DD-9A22-4247-8803-42D332EBA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$723DA03D-51F8-42D4-B8EF-A2305E006E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$B5A0B501-312D-4D8B-8FB8-EE294DFFDD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26ba4f06ff5c7e92bd3a85f32aa625ae214ffe0f","datavalue":{"value":"05C31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$2DF2DA53-A3CB-4D81-A053-F44CAF32E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$18EFCDF7-3149-48C8-BB63-A9F8F79FEFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$9C9CA450-EC11-4241-898B-5EF097422DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$947BD0C3-8AB2-4C01-B74D-93BCB7C36D7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3acdd3e8d7fabe353d04fbb8a69c6c2c8b38c3e","datavalue":{"value":"6083564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$387A889C-39B9-41CE-A302-B37224A340F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915711$B800AE27-E086-4E0A-8D0A-3A1DC21B3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915711$768DA01C-8074-4F77-8861-FA2B9FACCCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2600aaba1f819f7d3ad24bab0da3f73740086e75","datavalue":{"value":"databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915711$F5F9D875-2796-4682-ACEA-F96D9AC0DE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15c7a462d9bbdd98582ad5bc6050b46967ea5b1c","datavalue":{"value":"graph invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915711$A88F2B8B-AB89-434A-AF57-09F1FD3A7600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915711$AF1C84EE-6A91-4B97-96D0-864AF59CEAA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915711$E4F31347-3CDE-45BF-B22F-3D741B95F749","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":"Q2915711$D669DF6B-5E42-4881-A8AB-1CDE71C3EED9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa39cfa29389910d5792b81c58ab90a7b51f5b9","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2011/3256/pdf/43.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915711$1CEDCE11-D503-4650-AA30-AADB245C8F49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29dbea744fbd4ecd11f2b5c7c641748ef3bc82f0","datavalue":{"value":"W2240390774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$A70068BE-553E-4C07-BD77-670327409121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61ee2aaf740cf78d6f00e91f444c3d30df14daf3","datavalue":{"value":"10.4230/LIPICS.CSL.2011.553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915711$5CC8BACC-E836-4ED0-B85D-4088AF61C6EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d287594020e4df1c9169bfc135ed82f4ed5f8a","datavalue":{"value":{"text":"Model theory in computer science: my own recurrent themes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915711$1073890A-0058-4931-AA43-3B625DF0ED7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model theory in computer science: my own recurrent themes","badges":[]}}}}}