{"entities":{"Q6925613":{"pageid":21056725,"ns":120,"title":"Item:Q6925613","lastrevid":84131759,"modified":"2026-05-10T22:03:31Z","type":"item","id":"Q6925613","labels":{"en":{"language":"en","value":"Craig interpolation for decidable first-order fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097722"}},"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":"Q6925613$914E6C13-80F5-49D8-8F2D-0D99C101ABE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e99e559f5e4b7d709d4c395765001253eefe7666","datavalue":{"value":{"text":"Craig interpolation for decidable first-order fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925613$304B6FDB-8315-4F1A-96C2-B7F6F02ED1D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4332bd46593995e70b02e02f22712e746fbe506","datavalue":{"value":"10.46298/LMCS-21(3:22)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925613$69B7BA06-3B54-47C2-A968-27CE543420A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$76BCDCC1-4BC9-4AC9-A0E1-26269415EB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13b560ca06a29095227dc9f50ba56182f62e316d","datavalue":{"value":{"entity-type":"item","numeric-id":6629522,"id":"Q6629522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$42C547DD-B107-4563-9F64-10F42B906CA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$E6B2EB8C-DF39-4699-A995-61230FA463AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925613$C5AF82A4-15B1-4EC5-9FBB-38207F5AF13F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925613$A9CA333C-EAAA-4555-808C-0B9BDAF280C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925613$AB08A327-8C10-4730-AFCC-4D585743336D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27ad6f1bdfb47f25a352fe9786f0c87ac67e11b7","datavalue":{"value":"8097722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925613$93BBC220-D700-41DA-A899-913C935DF33D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$ACA3617F-351A-4AA1-BB0E-0429F0E6DF23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925613$34346ED4-768F-40D9-A3CA-8173E41C69FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925613$62660FE3-771B-48C7-BB83-67B097FA0F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925613$31A9D6D3-CF0D-4C2A-93CD-D90F52BAAE2E","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":"Q6925613$2D38DFA6-074D-4171-B268-C8CBBCD1B950","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcdf4fa3f609872bc7185903b048f0923efceb7","datavalue":{"value":{"entity-type":"item","numeric-id":1412840,"id":"Q1412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$AF6F801A-4381-4077-A810-A1B93E312CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ac158f960f5136b51eb46fe48a948d20ed5843","datavalue":{"value":{"entity-type":"item","numeric-id":5159499,"id":"Q5159499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$4490E466-20D7-4B21-991B-D7B17B39E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$E5EEE26E-E116-4906-A1C8-5B5B85701577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c1d3918713fca871a46a78eea67a60220df2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5232911,"id":"Q5232911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$8E5B27A2-6671-4B61-8415-20EFC4B2629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f4071c315c26cdaac6e2b00a355e96f697854a","datavalue":{"value":{"entity-type":"item","numeric-id":2849901,"id":"Q2849901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$48873C19-3ECE-4FA4-8F63-B55E58740D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b052059829b16381e5d1183b9eb596b977f21fef","datavalue":{"value":{"entity-type":"item","numeric-id":4635946,"id":"Q4635946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$2DD83FB5-BB1D-46BF-AB37-5AF6E279E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5219bc547aae65fe44ed4aaa95a93ac5674b30e","datavalue":{"value":{"entity-type":"item","numeric-id":5277909,"id":"Q5277909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$23A2AB96-B19B-49B6-950A-861885D31DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ba21ee2a90d09619049ecdc7866b3dca9ce3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2055791,"id":"Q2055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$A981E806-656C-4342-8C55-5691AC48DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac89ddf0f8c6c39acfa4beeafc56f1411fe1822e","datavalue":{"value":{"entity-type":"item","numeric-id":4570949,"id":"Q4570949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$C982CC1F-B27F-41F7-8A1C-13A927B41DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$323C3AF1-DB69-42F7-93EC-9BAEA0C6F29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdafc3881ee418f2b0fa8a76359ffa49a1ba744c","datavalue":{"value":{"entity-type":"item","numeric-id":6584007,"id":"Q6584007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$BB7C8566-6CAE-4D56-9554-B666D1B54228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1b3d5d8226c2288fd7c98020e4e6f3c9264f6","datavalue":{"value":{"entity-type":"item","numeric-id":6638118,"id":"Q6638118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$55DECBDA-0D6C-4EE4-ABA4-4AC0E8869D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e2f37da67acb126acb6749c2d098c70e580d35","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$BFF6F65A-1E0B-4884-ADAD-936D97A19B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdaae28851795a558e4c2a6375c70d9103384c68","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$29C76ECF-B00A-4C70-87DC-03473FEF0D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0c0e2b2a8f74e9ac8896882e4d67879c0932","datavalue":{"value":{"entity-type":"item","numeric-id":5012541,"id":"Q5012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$ABC4A88A-BFBA-4077-AD49-82BAA9CAB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1241ea476676c4f03ec3356a307565b33dfbe365","datavalue":{"value":{"entity-type":"item","numeric-id":3688380,"id":"Q3688380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$50973F7C-65CC-4D3F-AA34-47A392DB97A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e707b130096dbea578805c418b331276a5cf48cd","datavalue":{"value":{"entity-type":"item","numeric-id":2096445,"id":"Q2096445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$38CC8785-ED90-4754-9C6B-06D406BA175F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0224aaa2d17c4fff2e2f18e8f666cea74c5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":2532805,"id":"Q2532805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$B3EFD690-2A86-405D-8143-09C6C0130ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$7E268CF6-635F-4883-A500-B98B7B5289B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$48E551DF-A644-46A5-A2BB-A8F703F10DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed38e6101bc61e5d95e68fdafdfcdca42738bbae","datavalue":{"value":{"entity-type":"item","numeric-id":6925613,"id":"Q6925613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$215F7683-4C81-4E2A-B6C5-63FF3417E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80d509ece8a9f441b09d5d8e0d6351b224bfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$ED9C3A02-5B14-4A86-BD1B-3DFC03437C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$837C82CA-AB90-4F4B-A321-DB5767D221A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ddbb345ac2fd1e664d7d99e9a270cb86dae019","datavalue":{"value":{"entity-type":"item","numeric-id":2561208,"id":"Q2561208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$BFFF4986-0503-4EDF-B633-CD7F22EF2CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a37d29fb9a13dd0adf7b60fdab02712c4f1fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$B888F8BD-7FC0-4C00-B5E0-4FB03C6F04DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$7B68712A-6624-42AE-BBD7-8AB797D3A898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cc9d1e1fc18a8bbca5294693a5968795b732de","datavalue":{"value":{"entity-type":"item","numeric-id":3644755,"id":"Q3644755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$DE65EF8D-BC3D-4831-A28A-E9A60334CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693d4d2c0f293d1fccb74636ce199dc482f65b07","datavalue":{"value":{"entity-type":"item","numeric-id":5549024,"id":"Q5549024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$F25B5E1C-6A5A-4822-9C93-A34F01FD5559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62772f0959fb566245035bd3efe50ab27fc6d316","datavalue":{"value":{"entity-type":"item","numeric-id":1604801,"id":"Q1604801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$D68E00D7-9DEE-4A51-890A-CD4E4B507468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$C43085DD-23E6-442A-BD0A-96FE1D32AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$FEDF21B8-2FD1-4013-8B67-F0619E84C814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4368711a38820381fc744a8d9886d2aed6cddb9","datavalue":{"value":{"entity-type":"item","numeric-id":1472446,"id":"Q1472446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$79ED2B12-00CE-417B-8E2E-31F8220162FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c4adddfa0642af7ec889dad9b165cd64487515","datavalue":{"value":{"entity-type":"item","numeric-id":5939956,"id":"Q5939956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$24BC7649-5354-4476-AD1F-2C86E1FEE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c365b9797b8b24b4bc0d80c9ea0e6e159394ae","datavalue":{"value":{"entity-type":"item","numeric-id":3176372,"id":"Q3176372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$0C5A8494-29FC-4652-AB6D-26C7B409C773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$EA151B90-9D39-450D-A9C0-8532264A786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afde640ae8f9f947c6e1acd76b3e7ca656ac5ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2711348,"id":"Q2711348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$952F5F1D-0452-4FDA-B680-0889229FFAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a307a54b136a7dff35cd428984127e8544132814","datavalue":{"value":{"entity-type":"item","numeric-id":5278428,"id":"Q5278428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$37CD0912-60DF-42B0-A9CE-260FB7803385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$CE7D4281-A6A7-48DD-9756-82E55840D391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ca23deb5a73574f763aa5a34f4696e0054686","datavalue":{"value":{"entity-type":"item","numeric-id":2238133,"id":"Q2238133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$C2A562F4-1C91-41EA-B9DA-BE62A2F08F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ab4df7c338c227d9bdd34350b07d7aa696f730","datavalue":{"value":{"entity-type":"item","numeric-id":1924331,"id":"Q1924331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$CF65D779-CA9F-4C28-965B-B5E8CFEA67ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219a71815a80dbf46b234bd99029e8a02dc7f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4894729,"id":"Q4894729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$91928C06-B788-4D62-BFE5-4A56292AF0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f9c4c0e839033297e12b20ef5d1241e5142545","datavalue":{"value":{"entity-type":"item","numeric-id":4948519,"id":"Q4948519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$12D30D35-17DF-4316-9D6D-73266A17891E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08a5633abe89c0e288b079cb6168e91239e42c0","datavalue":{"value":{"entity-type":"item","numeric-id":1612689,"id":"Q1612689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$C3A59C24-DEE1-4EBD-8C8F-09D8FF58E56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271adafdcc785cdda1d2a55663dee23d83aaf22c","datavalue":{"value":{"entity-type":"item","numeric-id":1463928,"id":"Q1463928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$B5B42D69-CC6D-48D0-B8B8-F965866D619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$54383B3A-026F-4D96-8545-A683B06CEB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b455fa14540abae52b4f68752e9e0fdef4b20e38","datavalue":{"value":{"entity-type":"item","numeric-id":6629523,"id":"Q6629523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$001217BE-1E31-421D-93F7-69C3A09D412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33692c390b1f19aeb0569ead211f73029e6a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2865008,"id":"Q2865008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$269D92FF-BCF3-4A62-900B-5B036331F8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$02D5B66F-11CB-451E-8A6C-0E8265FB5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea71f83a07f0c6d2d51e13fef9f81f1546c6947","datavalue":{"value":{"entity-type":"item","numeric-id":3092739,"id":"Q3092739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$C8E03A1D-FC61-432D-8DE9-C2631A09A3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c7786a6c956d3c4f7e628dc3c2a97a38a7be6b","datavalue":{"value":{"entity-type":"item","numeric-id":1024119,"id":"Q1024119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$FA043128-0650-42BD-89A0-4744FDDB5B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$6DCCBF83-41BD-40B2-830D-7B88715BD360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605f622f3a12725668bf044b690b4b1ff40ed061","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$028333FC-C6E1-4484-8029-5D3F317C2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299ce792bdae6d4b21bf39a92d5fc625f10a32bb","datavalue":{"value":{"entity-type":"item","numeric-id":1024113,"id":"Q1024113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$AFE48794-DE9E-4906-99F1-B55C9CDF8D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fed45d96e353f14986a709127cf0dab18ea597","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925613$0D9387E5-BD41-457F-AF0C-5ABFD75373A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Craig interpolation for decidable first-order fragments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Craig_interpolation_for_decidable_first-order_fragments"}}}}}