{"entities":{"Q4957790":{"pageid":6987372,"ns":120,"title":"Item:Q4957790","lastrevid":58363797,"modified":"2026-04-04T21:45:24Z","type":"item","id":"Q4957790","labels":{"en":{"language":"en","value":"Continuation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7393566"}},"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":"Q4957790$7D9C0A26-97A0-462D-8914-E70FBF7C84A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a072096f7d0774aadc940b5ed66f3ddba3b7c5","datavalue":{"value":"1471.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957790$AA4FA8A9-9405-4AA8-9BD2-D3306F9A1E12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad1cf58806b1b51e0de3a76dfd4bf1f6c72a2af","datavalue":{"value":{"entity-type":"item","numeric-id":1744382,"id":"Q1744382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$FF153803-6E0E-4972-9DFD-5AD717A9DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$95046677-E0F1-4D7E-A096-2E25689601C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5717cd69276ad67376a7cd3a583eaef8897207e3","datavalue":{"value":{"time":"+2021-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957790$9A53879F-125A-4A78-A83A-FB6B19648425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a188796669faed1943e728c04409c1983115e1c","datavalue":{"value":"https://arxiv.org/abs/1309.1257","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957790$2B370A4C-8A82-4CB6-8F45-790EFD9FE8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"621821f0b032f3d9954359381a3e5c5132e4d0fd","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957790$22B70DD4-147E-4E67-859C-16E36B30F8A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957790$6FEA4D22-778D-4C28-8F6C-C28950B727D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957790$A86C8098-CC2F-4E2E-A041-E315CDA7BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957790$D7947D4D-6113-42A0-8DD4-2D06B8BD5AA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccf7fa99777a57cc55728383f312d8dc96a3744b","datavalue":{"value":"7393566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957790$4A5E2C9D-25AB-47FD-9331-CA9617B8AA64","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":"Q4957790$371567B6-581F-4D85-A481-1AFFC95CE0B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fce346af8ad8eed60230e11cee99a093b89a02b","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$0C6AA3DF-D435-40D2-9AD1-7AD880803B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc587db8295afb5c732c91736b853bd7114c6237","datavalue":{"value":{"entity-type":"item","numeric-id":3503192,"id":"Q3503192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$5A93A719-E0B9-4549-B596-EAAA604AC571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$85AF5AA8-654B-4DD1-9DF0-D88B54781F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddd97ccffae31c4704705fc5db7c708bc0b0adc","datavalue":{"value":{"entity-type":"item","numeric-id":5428371,"id":"Q5428371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$87867BA0-ADAD-41B9-82CD-DB269EE3F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$E2FFD08D-4978-4287-82B9-6C17E8CEC198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$46EA53F1-A327-4A8E-B352-DD6150427746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957790$C5F115C2-3987-4BFF-92F6-DC67EC645FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6337dcfb2841d19947151cc540c352a5444dcedc","datavalue":{"value":{"entity-type":"item","numeric-id":4995377,"id":"Q4995377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cc6c0a03716ecfd593de67724205e42c39ea20","datavalue":{"value":{"amount":"+0.8233588337898254","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":"Q4957790$6ECFFCD2-9C8F-4012-B659-1D45990D8942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f01918a548a806393a334af6e6e25fff258fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4986734,"id":"Q4986734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46644db742fd2d3f4fd0542dbe0cbec61dfb05f","datavalue":{"value":{"amount":"+0.7671729326248169","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":"Q4957790$A2099D86-5E15-4F61-AE0D-80CC27568240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5cfc890dea72f4077a8ce38a451ce99abfc724","datavalue":{"value":{"entity-type":"item","numeric-id":5096236,"id":"Q5096236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f304fcea54947764c4c777e233fd9a2c06de70","datavalue":{"value":{"amount":"+0.7654876708984375","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":"Q4957790$9B40E20F-D5B8-4BCF-AA68-249FC8D25180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673ce79055a0731e794fdcc730f374a87024b12e","datavalue":{"value":{"entity-type":"item","numeric-id":1330460,"id":"Q1330460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042761ded7049e0cea03792ca1cfdc860d09c0a0","datavalue":{"value":{"amount":"+0.7620663046836853","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":"Q4957790$57646D3A-6C6E-4A5E-96E8-FACFF2F58D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f605590b2b53d3084a9f1f90711faebcb90bfad3","datavalue":{"value":{"amount":"+0.7610164284706116","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":"Q4957790$F7AAC1E2-1EC3-4120-8200-AAA6A83A3BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957790"}}}}}