{"entities":{"Q1823014":{"pageid":1833756,"ns":120,"title":"Item:Q1823014","lastrevid":49306291,"modified":"2026-01-06T22:43:28Z","type":"item","id":"Q1823014","labels":{"en":{"language":"en","value":"An interactive calculus theorem-prover for continuity properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114097"}},"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":"Q1823014$65CFAFE4-F813-4684-B10B-E3EA4B8B9D12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df63c14432abe44c573d3d2400ea8e2ed964cdb2","datavalue":{"value":{"text":"An interactive calculus theorem-prover for continuity properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823014$05A56678-A94E-4B86-BCDC-BB74C88C0548","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e8cac62b25fa27693a1e50f4149e91238b3aee8","datavalue":{"value":"0679.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$9AFA9A1A-78F6-4FF3-96E2-2B4BBB4C0BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dbdd3432681e7d9c81ddb99bae6ba996645379a","datavalue":{"value":"10.1016/S0747-7171(89)80041-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$F95DECE5-CEAC-4D0E-A85D-DE8124D06E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a2aec874df324dde86aabcfabe470db591a65a","datavalue":{"value":{"entity-type":"item","numeric-id":175270,"id":"Q175270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$DAF31A39-9E21-49D5-B01D-3F97FDB2A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1d7c5dc5bc12e1bee2d025a916bce381a0c352","datavalue":{"value":{"entity-type":"item","numeric-id":217054,"id":"Q217054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$409BC8CC-1F28-4952-918A-01E7455C63FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$2490A05C-A4D0-4F2E-8C3E-539AFC23EB41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823014$300BD569-2EE6-4C67-A5C0-D0731134EA94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$846A9810-D471-43A7-83C4-B040AAE2ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$A83D9C87-A73B-4EA1-A554-A10AE6410338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc30bdf56afc07502a8b358c293d40cb3cfbe6a3","datavalue":{"value":"4114097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$950B2B8B-6F51-4CEC-9936-A78C6FB58B43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71f12f7af4cc1f624bfd8ee24097f149ed30a8f","datavalue":{"value":"interactive theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823014$12D48824-B8FC-4898-B5DF-7D46E95DB150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21496640df9aa40ed4fde8a75a74cf3175009854","datavalue":{"value":"VERIFY","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823014$9D6127D4-977D-4CA3-83E9-18B21BFBD252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823014$9670B643-2F6C-4B22-8865-91B36FA3580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a018f90d162ea964837c1dcfe22b58e55deed08","datavalue":{"value":"REDUCE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823014$D5599B88-BC9A-45F9-9E49-77EC1D75B35E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$17D34CB2-C0F3-494B-B2CD-1623EA0A2725","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":"Q1823014$A735DAE0-53B2-4A38-A5E9-8C7CAEF10DD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$4F3DCABA-0153-436A-95D1-25DA432095FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894ea3c0e75ceafd9402be6648d89711f1bcc74f","datavalue":{"value":{"entity-type":"item","numeric-id":3216156,"id":"Q3216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823014$823999BE-A891-4F83-80C8-5D4242A9EBEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2455e5b71b4a5ea15a26505f411fa75a8a000cb0","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80041-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823014$61C404EF-5958-486E-842F-84ADBCE25EC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5c04793282bda0131bbb717118785b45482258e","datavalue":{"value":"W2104307228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823014$435DC02D-5F12-4029-AA19-A2ADFECD22FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369f48bb0ae678a67fd8f622b64e445377b7f33","datavalue":{"value":{"entity-type":"item","numeric-id":2128808,"id":"Q2128808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c4ede05f7a6bbcf45dfdc6ac3cd8b9e61c06e9","datavalue":{"value":{"amount":"+0.7475470900535583","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":"Q1823014$98282BC5-8C54-4C8C-9017-218D5ADA3C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdd64fcbb948fd199cb840bfe49fd1731c1cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":1272608,"id":"Q1272608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560658b0310063774b8d66529b1d7b895eb70da9","datavalue":{"value":{"amount":"+0.7473490238189697","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":"Q1823014$4167B03C-7C86-4E89-A67A-612638DF16DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bfb6d967b34f8b8b17c6cd53de5c00bdcc865c","datavalue":{"value":{"amount":"+0.7469690442085266","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":"Q1823014$2659AF22-B7BF-4675-B08F-34ACC78E216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13f94efa5a180ee860e2173b41929c73d33793f","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9be162f9d2fe11eaf701f16d9cf0b5428c7f251","datavalue":{"value":{"amount":"+0.7415035963058472","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":"Q1823014$A9D1B851-F9F7-4DAB-9449-74DA9FF06074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3e7b4a10fb9f240339aaebe43105168027475f","datavalue":{"value":{"amount":"+0.737012505531311","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":"Q1823014$4791312A-DC03-4E34-AA70-73CA2E884288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823014"}}}}}