{"entities":{"Q625709":{"pageid":627556,"ns":120,"title":"Item:Q625709","lastrevid":51195914,"modified":"2026-01-17T04:38:48Z","type":"item","id":"Q625709","labels":{"en":{"language":"en","value":"New surprises for the Ramsey test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5857581"}},"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":"Q625709$926225EA-6AA5-41B5-902B-AE3DFC7A6B76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa94e4b7eacc6ba2860fc94b526412829981aebd","datavalue":{"value":{"text":"New surprises for the Ramsey test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q625709$6624C7F3-FA8B-46C1-9169-E152D8A7EEAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285ff872aad57bf0d98b32b69ac76488efdbf379","datavalue":{"value":"1216.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625709$944448A3-01B3-4213-899F-E526589C69FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"778416307b72a90993d83177d459f8c3c365209a","datavalue":{"value":{"entity-type":"item","numeric-id":266668,"id":"Q266668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$39231ADE-6091-4ECA-865F-FEB94D9B72F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$D6AA6246-24CE-4349-9032-D3D82ECD52CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6cb9d2db2ae2ef211d0526989610dd70f1c8e42","datavalue":{"value":{"time":"+2011-02-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":"Q625709$60B6A247-79B1-4F55-A498-4145210376AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625709$86215983-234F-404D-8FB9-6CF289725E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45fd051b79dd8976858370172e284d0f8fd15ae9","datavalue":{"value":"5857581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625709$7E28915D-F2E9-43F4-BD0C-1DA5E0022881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d91db9f399c55d553c454f86b612730fc42f3a95","datavalue":{"value":"Ramsey test","type":"string"},"datatype":"string"},"type":"statement","id":"Q625709$EC9228B2-9653-4FBF-9470-D41CF2216DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f646d419102e5fc913e9878b4fb9b5c4bb2c3669","datavalue":{"value":"suppositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q625709$C71E5479-7A46-4DB3-A3EF-CCB34A2AAB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q625709$18139677-35FC-4532-AB86-116AFE5AB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bdc05fb1005b2d2be1fabd50a21850bbe9fc6e9","datavalue":{"value":"update semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q625709$3F86FC41-AFA7-46E4-AEAE-B5F62FA317BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8fc62cce863b373f40a4bc53c7b0b4cb045a5a","datavalue":{"value":"conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q625709$3ACA2240-CD30-466B-B4C2-27E23E52C7D9","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":"Q625709$EDB67401-C090-4BE9-BAA2-10A8AC5D3D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9767547b344edcc7ed8ec1a93fd122ee74a5872d","datavalue":{"value":"https://doi.org/10.1007/s11229-009-9494-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q625709$23137BB8-C695-40EC-870C-27C506EA5EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dcde6f88ff7498017f3cff03002d6d75b1e275d","datavalue":{"value":"W1976136412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625709$455F76EE-1921-4371-9AAA-CB6699240BA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad72e9d1f9919bf76e05e33514712fcf1b13eee","datavalue":{"value":{"entity-type":"item","numeric-id":1292997,"id":"Q1292997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$9F9C4F25-C5C9-4004-A853-6343DD3EAEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6500c5de49320733a17e6a0d341efe7bc510f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5275556,"id":"Q5275556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$23D4A2E8-2DAB-4AF5-8559-109BB4EFC222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdf7f0d350e85074d22dadfc5d05bedfbb78afe","datavalue":{"value":{"entity-type":"item","numeric-id":1430131,"id":"Q1430131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$8833E33B-A4DA-4699-8A28-51C856FE20EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073934c4e0a6ef76b6ec60a8bf033f1885432bd5","datavalue":{"value":{"entity-type":"item","numeric-id":2499291,"id":"Q2499291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$7A985728-F8E2-4318-84E4-DE1E8380ACAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$CEF6E0BA-56F9-4A0D-A6FB-8C457AC7F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4c565226c93786c15ff8e885d55998212eb001","datavalue":{"value":{"entity-type":"item","numeric-id":1240725,"id":"Q1240725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$5B2655A9-C8BE-4BF9-8A6C-3A8CBDA8C10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44f441e6bdafa825e1229a7e604134f2e94d5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3125069,"id":"Q3125069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$3B41C088-3E85-4AC2-88DC-7631F2F2FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa9db40b75be97b92302ec5f2fa61aef668f270","datavalue":{"value":{"entity-type":"item","numeric-id":4497698,"id":"Q4497698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$4C168DD1-0122-45BC-BABD-5AADC1458EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064e2f5e7eb3ed0c206b4fee7b8df9e9733c66fb","datavalue":{"value":{"entity-type":"item","numeric-id":2771723,"id":"Q2771723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$58F09460-DCCE-4E75-88F6-8CD26A4DDD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af6f2384d6e878309528ab921829d6f41e61f94","datavalue":{"value":{"entity-type":"item","numeric-id":4497667,"id":"Q4497667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$D80A4813-AB67-4113-B80D-3F7C0B22482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea69a0835af0bcf6badc8cb25671d6608e2596a7","datavalue":{"value":{"entity-type":"item","numeric-id":1371310,"id":"Q1371310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$FE43C289-6147-4EC2-9B57-2AEA94740A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17b3c0b42328891462fa84e03b0ace3632518d","datavalue":{"value":{"entity-type":"item","numeric-id":1918912,"id":"Q1918912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625709$D4743FC2-FDB2-4743-A9D5-E28B76150EF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bd02ae4685c8bbc713efb34c795e9254f570be","datavalue":{"value":"10.1007/S11229-009-9494-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625709$A3310873-C9DC-4183-862D-6849706F21D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8725ccfadab930db90fe20d0f7a36f0a23ce68","datavalue":{"value":{"entity-type":"item","numeric-id":4698671,"id":"Q4698671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4b145062eb863907e86125d06fbd29fcd27987","datavalue":{"value":{"amount":"+0.8683242797851562","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":"Q625709$94D8839A-72D0-47ED-9CF9-0C0454074966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dc5b3752395268391c903bd3e1e693495aa1be","datavalue":{"value":{"entity-type":"item","numeric-id":1193749,"id":"Q1193749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2000f2fb61d44c84f0d4246b3fb3ca8f949372","datavalue":{"value":{"amount":"+0.8664010167121887","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":"Q625709$C541BCF7-E486-43CA-9950-02487C51D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b8fca39df4b0dfa53a8afe2bfe9a830af7c157","datavalue":{"value":{"entity-type":"item","numeric-id":4236366,"id":"Q4236366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487ab9e600cbf81854ae0bd9f7c2136c60b18f21","datavalue":{"value":{"amount":"+0.851751446723938","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":"Q625709$DF8B508A-4F84-4209-B984-42B816DB5237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6cd36fa3a023b6b1645eb077954e46d00d1a614","datavalue":{"value":{"entity-type":"item","numeric-id":4225118,"id":"Q4225118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487ab9e600cbf81854ae0bd9f7c2136c60b18f21","datavalue":{"value":{"amount":"+0.851751446723938","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":"Q625709$FC3280BF-8CC8-4013-82BE-41BAD1F1BCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c0ac9a7924a2b649de8819bb4c715979f64153","datavalue":{"value":{"entity-type":"item","numeric-id":1929170,"id":"Q1929170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a83b38e6e41b68884e7805fb7b7b31ce09b3c88","datavalue":{"value":{"amount":"+0.8466724157333374","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":"Q625709$203AC69D-A995-49FD-8BDB-C83844E111CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:625709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:625709"}}}}}