{"entities":{"Q7025218":{"pageid":21654207,"ns":120,"title":"Item:Q7025218","lastrevid":77543492,"modified":"2026-05-05T03:59:26Z","type":"item","id":"Q7025218","labels":{"en":{"language":"en","value":"An excursion to the border of decidability: between two- and three-variable logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7986565"}},"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":"Q7025218$3B1C535F-0B83-4B4E-9BD1-CA8BD3A80CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9783f1306aaa8f25af092d6b213dbdf3e6e27c9d","datavalue":{"value":{"text":"An excursion to the border of decidability: between two- and three-variable logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7025218$6C6613B8-ABAD-4105-BB37-A45588727F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab91e5563ae7eda112cbff84a84da01a6ba9cc8","datavalue":{"value":"1564.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$6980C67B-B36A-4DE5-B919-E0C52B5580E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc149e9d8922827cc9d8f9a08b420a5e01ba01d2","datavalue":{"value":"10.29007/1XNS","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$16D1D18C-751D-4E01-9B8C-54F0EA122E23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66923e6ce3db3406e75452a7ab358251569968","datavalue":{"value":{"entity-type":"item","numeric-id":6160750,"id":"Q6160750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$C70C4D6E-E692-455E-8E10-1452CF2BDB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$F6698AB8-A883-45E0-96AA-223B7B66833C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34a2e6c4099712e6f2a5acfda08782bd5ee66f2","datavalue":{"value":{"time":"+2025-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7025218$81719D38-FC1A-407D-9E5C-95AF3DF3080D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$047AC950-8892-4E5C-B31C-ECCD34D72731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$D22AC2B9-4865-4FA9-94DD-CED0B3D6BD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$F50C5DD9-F538-47A5-826C-566E00BD0A9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af926a4d564c394dd0671c45d91e532d7f96f6d7","datavalue":{"value":"7986565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025218$408135BB-C18E-49AA-BCA3-15D61BC44D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93622205cb37079ab6aa5dce1cb85a01f3f04f1","datavalue":{"value":"finite satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025218$86D1B6DB-0638-4014-9B68-73C63DAA3DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025218$CEE8E7D6-509C-49DC-822C-AAD020DD4267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fa5faf54a4e1b8e2d9113d98af26df089b85e0","datavalue":{"value":"three variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025218$A32CAF61-FFEF-4DF4-A1DF-CC6D156C4E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70d73dcd559ed26828491cd2878c90c6d8eb2d8","datavalue":{"value":"two variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025218$000AE897-72D6-4845-9B7E-5434D8C14823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bac5db6596496ff8ed84b773cebfaa6f28caf6","datavalue":{"value":"uniform one-dimensional fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025218$E768A175-5BA3-4B14-AF38-A1D368C5E5F3","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":"Q7025218$41F154F8-4B69-414D-95E1-208A7FB58C85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$250B504A-9816-4B92-A562-1EBCF03FB5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$FC5CAB52-836B-4E9D-9B6B-3E71E3214057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$7BEADB75-8B26-4C9A-9806-CDF5BBB9D04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda69dba3c99a3e340009f86f74dfc005acc4573","datavalue":{"value":{"entity-type":"item","numeric-id":3317081,"id":"Q3317081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$8A0D0958-03B1-4D72-8F50-50F8CD4DF6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a30f9226d075a014d29ada2c1344a894704fce2","datavalue":{"value":{"entity-type":"item","numeric-id":4636298,"id":"Q4636298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$696BCCE3-A144-4C4C-AA94-5C0F99612552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$EB155255-3490-4C60-BA4D-0FB102C77616","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":"Q7025218$60033642-C471-4E2B-BD6A-FF24411293C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e77b7a3cc9785060a74d7dfac1986704fab0de","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$09D23BE5-FEEA-424D-8709-DC71C25C1C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025218$6D84CDBE-991C-41B0-AF9B-A2C0CE2F3AEF","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":"Q7025218$613028BF-944B-49B5-93BF-54151B8AEBD0","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":"Q7025218$0642C6F9-CBBB-4415-B489-ECE64682E4C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An excursion to the border of decidability: between two- and three-variable logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_excursion_to_the_border_of_decidability:_between_two-_and_three-variable_logic"}}}}}