{"entities":{"Q3343439":{"pageid":3354147,"ns":120,"title":"Item:Q3343439","lastrevid":88003730,"modified":"2026-06-04T13:23:25Z","type":"item","id":"Q3343439","labels":{"en":{"language":"en","value":"On hardly linearly provable systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878360"}},"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":"Q3343439$1AD24733-477D-4086-B548-A85826B99816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a831e7668b1883aafc61e1af9f0ef76f640075c","datavalue":{"value":"0551.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$330D7D46-1110-4978-A40E-89A4F5E77510","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a024c58c52edbf6f78834de8cd7b07e4afcf76","datavalue":{"value":{"entity-type":"item","numeric-id":1102745,"id":"Q1102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$54D8824B-41B2-4E02-9697-EB0363211B60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3343439$78CD37D1-AE17-454E-A998-5DF43E6D6CFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1fd6c148a76bbe24e4f7262adc406b95e0d8d5e","datavalue":{"value":"https://eudml.org/doc/15358","type":"string"},"datatype":"url"},"type":"statement","id":"Q3343439$75055095-B6BB-432A-8360-A1C2DC5CE769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$0AF1B289-5FB9-429A-AE7D-3D40AB7B424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb5cb61d96d4bffb5c1f89265d1dfa983b8ea136","datavalue":{"value":"15A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$4B9A7407-C81D-4B85-A06B-CE76C44A6FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$0E524F16-D20A-4A90-91E2-0F56FB648787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d395f03dcf51c5e901e5ed861a0385db41730903","datavalue":{"value":"3878360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$718C5A73-B0B8-42DB-9820-BDFE5214C53B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343439$B31F6599-A263-46CB-8ACB-76DA5D9B6E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc112c1826a1bff539c84aa7a71319d429cf3621","datavalue":{"value":"linear proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343439$F93E234C-27AB-4624-94FB-508655AA1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd0999ff66a56d7e573062dbc2f58435f083a42","datavalue":{"value":"Helly Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343439$2C6E445C-5E9B-4D64-A0C9-ADB768694001","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":"Q3343439$61C75C8D-56C5-49C7-AE39-5DCE258B743B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb19f12b7c7c70b4050c076bf47c50f4b7b37bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2265260,"id":"Q2265260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$E17EEB6C-FAC7-4A9D-B3FE-B8DE7AB4B192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03557cbd918b8a8243c3226bcfbd382a844e571c","datavalue":{"value":{"entity-type":"item","numeric-id":5603731,"id":"Q5603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$BD366010-471F-4072-9A7F-421232BE3AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ab8db684d5db5a2453e0235bb55266e6b07453","datavalue":{"value":{"entity-type":"item","numeric-id":3236243,"id":"Q3236243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$E8511C2D-A371-4995-B1CD-05C61B8E084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65901429f280a265b22bd5b0ed481bf3db10c53c","datavalue":{"value":{"entity-type":"item","numeric-id":4051876,"id":"Q4051876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$E8B3CEE3-8907-447B-B56B-3C5E2F4C15E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22261fbf1272af51ea5bf07b2beab3e7ab98e48c","datavalue":{"value":{"entity-type":"item","numeric-id":3926035,"id":"Q3926035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343439$D1A8AF8E-50A4-4831-AC6B-0CDDA6DF6432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77c469b14dfe32849db501b1425f23f598f5d510","datavalue":{"value":"W3048084089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$98EE97CF-6BCA-46B4-A6FC-E41E03067D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad0ce8cd8f3cce39c7b58f87e50e1056746abbd","datavalue":{"value":{"text":"On hardly linearly provable systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3343439$B7861721-2965-4EE5-B5FE-11545E4DB0E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"569c8bdc507a4b883b0e09b4c594f9cb644bad7e","datavalue":{"value":"10.21136/AM.1984.104096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343439$6734826A-F31B-4C66-B79A-BC54AB5C79AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bbcb72a2fd35688f0f6766b59625dfeca7ab52","datavalue":{"value":{"entity-type":"item","numeric-id":3766847,"id":"Q3766847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff87e92abe4c78ac0d679102442a631e1233418","datavalue":{"value":{"amount":"+0.8148784637451172","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":"Q3343439$B6228908-84C9-4636-81CB-E2E2D07FA27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42295265c5ef74f01c434883dae7b9bf04fa7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1327592,"id":"Q1327592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd374332cfb12b007340de9d20066fcfeb4ea294","datavalue":{"value":{"amount":"+0.7898518443107605","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":"Q3343439$54C53AAC-442B-44EB-A9FE-7DA9EFD00ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a9b8f9e7d0ebdd0665fc6cc63ba672cc3c971","datavalue":{"value":{"amount":"+0.7881718873977661","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":"Q3343439$A4D0EC43-8E01-4921-8679-7C0C54DD9B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaabe75ac40230053c43c100bda99f2a88fd5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1813835,"id":"Q1813835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a271279e4f3059945566b660aeba84de7cb27f","datavalue":{"value":{"amount":"+0.7390426397323608","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":"Q3343439$F5BA3664-4D06-4781-A2D8-07735AE82434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0e5d1a55494310d9e91efeb1c3892e84ae5a63","datavalue":{"value":{"entity-type":"item","numeric-id":3612456,"id":"Q3612456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5801cd445e8bef2c8fe59bc1d810c8a995558be","datavalue":{"value":{"amount":"+0.7350147366523743","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":"Q3343439$679F6B82-F1D5-4F35-B690-AA37B37671F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On hardly linearly provable systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_hardly_linearly_provable_systems"}}}}}