{"entities":{"Q5195268":{"pageid":7224840,"ns":120,"title":"Item:Q5195268","lastrevid":53534285,"modified":"2026-01-25T04:55:25Z","type":"item","id":"Q5195268","labels":{"en":{"language":"en","value":"Now \\(f\\) is continuous (exercise!)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106503"}},"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":"Q5195268$90F0B611-D490-4B52-99F6-08BB5B8AB454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dc3efd0e30e2fa8ffc2d48052c90e88129f32eb","datavalue":{"value":"1451.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195268$D3863B1A-36BB-4CA5-868F-7D2782DE9BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5290194ea2836d529cc937c21e8e3ae078dd8320","datavalue":{"value":{"entity-type":"item","numeric-id":5195267,"id":"Q5195267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195268$84088A73-12B9-4F9D-90C6-49444764C171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195268$F17C1884-9837-43A1-AE56-1420A7DEF18C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195268$810E1F9D-1A9C-4E79-83C1-C7A7BFD197B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3464cdc21ccb37b92c71918cbd1a3510ba8a8972","datavalue":{"value":"7106503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195268$2F32DFD2-8717-433D-8517-93FC836A3E81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195268$44CB7087-DEA5-425D-A617-3D9D0F48D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195268$0F86A1EA-47FF-4CD3-83B9-64A29F0B3F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c908e3891683d83ddbcdf71fc30e31eab2e1172f","datavalue":{"value":"formalised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195268$A43AF206-1603-4E93-B68D-187B8A28A08B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195268$EB733B77-8F3C-4575-8454-5C0B7EDBCB33","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":"Q5195268$8D3B853D-2470-4E23-B059-846EBD8F03C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8812e7f004f384d39d3f374f8c504f51f7f37c25","datavalue":{"value":"https://doi.org/10.6092/issn.1972-5787/4566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195268$CE355EBB-C49B-4052-B92E-281520C69374","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74d228c6e579912fe0257a92dc88d78d40e91e8d","datavalue":{"value":"W2252806475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195268$49BD6C59-2F52-476A-B79E-F930DA8C68DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d102ea13d63cdbcb8e0aead2256ea628c56ddf2","datavalue":{"value":{"text":"Now f is continuous (exercise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195268$B333F337-66E2-4ED8-BFAF-FF48E7AC0D4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb478199f659ca0d9315e5168e32733fdb4acf83","datavalue":{"value":"10.6092/ISSN.1972-5787/4566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195268$DC43CCC6-65E4-404C-89BC-1E3BACC4FBED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c635c8430e30670a73c64522286746432741bb22","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7c48b86022d8efb499fcca1c1888a57cff8841","datavalue":{"value":{"amount":"+0.6958640217781067","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":"Q5195268$D9B21CC1-ED2C-44BA-B6C7-8D3BE5E6B606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2529f2d9d45681114cc8afb2380a884e9206af84","datavalue":{"value":{"entity-type":"item","numeric-id":4217949,"id":"Q4217949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b9d456667d9e712be37a3c4d27d3e7843d9ae7","datavalue":{"value":{"amount":"+0.6951243281364441","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":"Q5195268$33C3AC2B-310A-4541-8539-95E914C18D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e072e7793a249f2fc5306c2df96bd2841a2fd73","datavalue":{"value":{"entity-type":"item","numeric-id":5898845,"id":"Q5898845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e84aa43e27273aef49e22740aa29a6e0eb4b8f","datavalue":{"value":{"amount":"+0.6872153282165527","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":"Q5195268$D22C2A68-71DD-4976-A942-8A84FF19093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237393787331998d6fb6aa78acab8e55c52461db","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf42b2ac8bffab695bbb0f6311facb120d45e578","datavalue":{"value":{"amount":"+0.6859402656555176","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":"Q5195268$B27D5F74-6736-44C9-99FF-71A5EAF5FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131150c2470dfc02e9ee6f1069989fe798ce320","datavalue":{"value":{"entity-type":"item","numeric-id":5041063,"id":"Q5041063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe3027fdb3eed30bb133768abc6edcfaa42415d","datavalue":{"value":{"amount":"+0.6854250431060791","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":"Q5195268$1EB0BC6E-66F1-40AC-8A7A-1941057187E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195268"}}}}}