{"entities":{"Q6140187":{"pageid":13274494,"ns":120,"title":"Item:Q6140187","lastrevid":58706358,"modified":"2026-04-06T10:04:38Z","type":"item","id":"Q6140187","labels":{"en":{"language":"en","value":"AN ESCAPE FROM VARDANYAN\u2019S THEOREM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7781916"}},"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":"Q6140187$A8732ABB-0C53-4A46-A352-64C97641A7E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d2384e79fc2daefc88fe51fe541e594e1e3b665","datavalue":{"value":{"text":"AN ESCAPE FROM VARDANYAN\u2019S THEOREM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6140187$869F9876-7FD7-41E2-96CA-BA20DE593D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baff17669f425338700792b4ecd8adb1f8b7f3ef","datavalue":{"value":{"entity-type":"item","numeric-id":821549,"id":"Q821549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$B4D8D088-DF9F-4E97-AF75-0693CCAA1EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$C3E52673-B0BC-4B7C-A4E7-FA2A5C3B5492","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05161560cc73010a1cfe6bdfbe83faf7773104d0","datavalue":{"value":{"time":"+2023-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6140187$5BB0DFDF-2ED9-43AA-8480-EA6469552431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7e69ac3fbe9fee2b31455626d34d9726f1192db","datavalue":{"value":"https://arxiv.org/abs/2102.13091","type":"string"},"datatype":"url"},"type":"statement","id":"Q6140187$61D49513-BAD8-4E22-90FB-3603B7CC0C7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$38D74CD4-EDB4-437D-8D73-E1EF0670CDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$7200CA24-FC4A-478B-8B9F-A4312A15251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$96E0B648-A2C1-43D6-B75E-5189E6C9A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$456D5C66-A8FE-4FD1-BEF4-7373B2AB897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$2B06C749-658F-4D5E-BB91-0240EE70C14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$3C0B1A36-4071-4BB6-88DA-CE726B7630C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd309b707e4bae5c6c6cfa6d337d6ef3da164b61","datavalue":{"value":"7781916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$F4D79EF7-9DD2-4A6D-8945-5E783E86AC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$6D6BCB85-8BE5-41F8-9A30-CF45CC453A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$2E5F2F78-90E7-4E81-93A5-C0BEA012E135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1bca57aa6d88f6339387dfcbc1382dc73c98fe","datavalue":{"value":"strictly positive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$154EBA4D-3C6B-4E07-A50E-FC11787BD6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$4FAF49FA-180B-4460-AEAA-5C2D1E3E4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ccb1f51beb2ae41b44a3eb93b762984d0a057d","datavalue":{"value":"arithmetic interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$06683C47-D8B1-45F1-B312-88316B559541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32bd13add519fe7866a168ca2d3ab748547dc10a","datavalue":{"value":"feasible fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6140187$AD2740EE-7C5A-4510-9D2E-415834AF43A9","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":"Q6140187$E1FD2221-45FE-4014-8F83-94847B319AED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2431a464af28a43bb4937552aef7296249378564","datavalue":{"value":"Q113858278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$B78C2F7D-F4DB-4CC1-9F86-9908C4928199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65535ddd8bac3520892755387adb314467f27fdb","datavalue":{"value":"W3132883413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$501E7307-C7F8-4A3C-97E6-BCD42C79F99B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8180d131f21d92000d22fb1c4ebd1d6a971b529","datavalue":{"value":{"entity-type":"item","numeric-id":5104696,"id":"Q5104696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$087795EF-168C-4FC8-AE1B-5B7BABFF3AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3cdf0c7c90703d45a606d0a18419c63ba34585","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$373DA640-B0DF-422C-89A1-DA39DACEE65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3722e2028532cc6cb3001eb46f2acfd805417d0b","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$73553C74-CB88-47C8-862C-20C0B7F7A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823cc67bf607ad1aa858d9275603363a58e0f64","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$73A62ADA-7ADD-4117-B5D8-39EA8210422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13a3a7719bf753a0e9546d9d1c16ae8b7b555e3","datavalue":{"value":{"entity-type":"item","numeric-id":5419872,"id":"Q5419872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$0A6E2F7F-6CFF-4EB4-9EE4-342A4C91CE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619a199d9f4fe2f8dde9e1b533b50958d1d9e435","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$3975568C-D32F-4300-97AC-051C491D2CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85171a378b6ee4cacab1f9f42baf10ab5d17fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5214732,"id":"Q5214732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$94B34442-07DE-42C0-96B7-751EA0A39D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdff70f066c2558820218ac8aa398456b224a18","datavalue":{"value":{"entity-type":"item","numeric-id":2120976,"id":"Q2120976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$3BD58557-D307-4575-AD04-A46B4388907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1dc29a616caa84b30cae63969ab9c2b9741853","datavalue":{"value":{"entity-type":"item","numeric-id":4732443,"id":"Q4732443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$60715F21-03A7-40E6-B342-394F4DA8127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$6430FAC0-3566-4758-AEAF-0564591B1459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$F0CB1EFE-6987-4C52-B506-0AA04C51E766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2444e87e60a3527eabddcf9df8b6aa79c133b13e","datavalue":{"value":{"entity-type":"item","numeric-id":2882459,"id":"Q2882459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$16528D74-EED4-4186-9524-2C507BE0C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$3EE9C613-F8EA-43A0-972F-A0B008B7EA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515f1f57e276d538e9aaafc4a8c04bbb632e057","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$CA206B1F-58FC-4B43-8D05-83429436CE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$C145129A-6A09-494C-A050-7AAD2A1E0332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$6666B69F-6087-4D04-A7A3-0B887C02EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$82EB5000-807A-4585-9F3B-5804A061FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b10ddde7e71f35c9821017c1a70932d6bdeedd2","datavalue":{"value":{"entity-type":"item","numeric-id":6094157,"id":"Q6094157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$ACA2CE54-8DA9-4C95-B680-7775DBD3AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$72E0A300-328D-4B07-9B97-916FC6C3F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa8ff5803b8f6b9d9777804048c5f5105472758","datavalue":{"value":{"entity-type":"item","numeric-id":6043018,"id":"Q6043018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$B33EA393-1A73-43F9-8E06-9C0F3115B1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$2D1AE452-6D7F-43F8-8639-EAF629BFEF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3f7a5b1d854a4cdca47b4cbfbaf6c17005fd18","datavalue":{"value":{"entity-type":"item","numeric-id":5222523,"id":"Q5222523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$613A3AC5-7ADD-4D73-95BF-AB5547E82CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd92b6b07b794caac69eb70780423193822dd5","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$CC7428E5-F94C-4C36-9529-73A27858DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760286f773b11c8051e6adc87813ea14e0d7d8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2115286,"id":"Q2115286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$51A2B6B8-1D71-460E-B07B-BF3CBFEC86C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049b17ff8f660afc647ff76ab2ee0502b858c66c","datavalue":{"value":{"entity-type":"item","numeric-id":2904059,"id":"Q2904059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$6D75E5A8-A518-47E6-ABED-AC07472D86ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$DC1F6867-681C-46B6-8F06-0E4FA13E8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92719b1fcb0956ce1ef0daa8facd86c31678e7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$F8C939E7-3A7B-493A-9361-792E6589DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$F6A51A7F-4A2A-495A-8D8B-3321EF8CD516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8026dd26034ff9c94b60eb3be3dc93eaade42ab","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$9045B9CE-C3EE-4130-92E0-95CFF6967052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3ef6293218f3c78da32263b368ae3b98b29eec","datavalue":{"value":{"entity-type":"item","numeric-id":3816054,"id":"Q3816054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$13838E06-7FBB-4F60-A1AF-07A40A058B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cf0f0361f6088836a7c4b387112946d3604b02","datavalue":{"value":{"entity-type":"item","numeric-id":2501168,"id":"Q2501168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$70B943FD-DE60-4C2D-AD7B-87593D8A6AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8075c9dcc01bcfeca2af5f45d7bba7d775947b","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$901AC35B-6B7E-427F-BF2B-80E096192CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0234eb0ba6b9a182cd2460139fd98b28f7ba5e90","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6140187$05665898-9BFF-4DA8-92C1-BD803F6B37FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66a60ae4866c67eaa2dc2fef8b4969722cd0b658","datavalue":{"value":"10.1017/JSL.2022.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6140187$50E516FC-6538-4A40-B370-04E02CF32B5A","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":"Q6140187$C2BB9EA4-B6D9-4BA4-9353-270E76F66F62","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":"Q6140187$16B0997D-419D-42B8-9BC0-99C64A2F40EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6140187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6140187"}}}}}