{"entities":{"Q1407573":{"pageid":1418313,"ns":120,"title":"Item:Q1407573","lastrevid":68634159,"modified":"2026-04-13T01:04:57Z","type":"item","id":"Q1407573","labels":{"en":{"language":"en","value":"Continuity, proof systems and the theory of transfinite computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982499"}},"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":"Q1407573$F7F66737-B45B-496F-9D24-4C6DDCFBB230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1518f5749222afad864cb0ce71b817b483f70b54","datavalue":{"value":{"text":"Continuity, proof systems and the theory of transfinite computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407573$4C043AD4-638F-4801-978D-C3C6FFB4AB47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32d7fac493b2c5f704cfb83760c9f006a9fa4d0","datavalue":{"value":"1025.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$DA902585-E095-4A50-B838-D75F4663F413","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407573$C5D759BB-2AFB-4FB5-ADEC-B25481638926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407573$7CC5FBFE-8F9C-45B2-88B7-032CB780A076","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8514881921dfad988dbe026124a83f75996c87","datavalue":{"value":"http://urn.nb.no/URN:NBN:no-28181","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407573$CC3C47FD-5402-4A72-ACF8-CB101BF92936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$3E664791-25E7-4F33-822A-D4D7162B7B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$3A7DA452-7231-43D9-99BE-7A29E1F8538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$35C4336C-8770-4B4C-8AD5-D1186B9DBCEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2716f4365732da0facf8050b411ffd01595b659","datavalue":{"value":"1982499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$8D4B06FC-82CA-4C47-AA0E-542D43D39AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1c7ba82583c518791a4d9965774b58375d1bb7","datavalue":{"value":"transfinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407573$1F94CCD2-BE43-409C-BD2C-FB146F0CBE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23d45beb8d3d83cd589deb9a49b190125ab86c7","datavalue":{"value":"domains with totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407573$BDF39245-387E-4CF9-BB80-2BB28156FA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b737879ea509a88da69fe41918c39ccc302d7cb1","datavalue":{"value":"E-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407573$E6C74FE2-0D33-47B2-A638-3BFB3ABBD06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4b8b50b870740b12bca67b2c27c8e865ddf751","datavalue":{"value":"functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407573$2E27803B-D792-449C-AD20-BE4420267357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407573$45087A83-0502-4E3F-9CCD-2FC43FE3D75F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407573$232092CB-437B-4CC2-A8F7-F675274DD9DE","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":"Q1407573$420DC75A-4E40-4122-BE07-B0AD449383EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d1c914f2c96d42f719c46b6fc1d441f490219e","datavalue":{"value":"W2005649416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$F1AF84B7-1EB2-4EA1-91A6-48A056ADFA40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a4874d814fc02a0ab0d5e691ccc73831a8fdd42","datavalue":{"value":"10.1007/S001530200138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407573$E8E504E3-742E-4A12-AAAE-3D5630722936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fa2a90f1552d0164e87cabfc8271be41917d10","datavalue":{"value":{"entity-type":"item","numeric-id":1262303,"id":"Q1262303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f548c8fc1b80d49b8d632d2abb2873aea49f417","datavalue":{"value":{"amount":"+0.7387728691101074","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":"Q1407573$8E8DC936-4351-4C9D-855E-717470802EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22a5be62c9cc656f118c5b97076a5451c383d1e","datavalue":{"value":{"amount":"+0.7159731984138489","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":"Q1407573$2DC3B73D-D0DF-421A-AEE0-31EBD998E3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba19acde012f8b6fd2b02c4cf4430dd2b3c1e86","datavalue":{"value":{"entity-type":"item","numeric-id":1407571,"id":"Q1407571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c6f58ae43fd07036858ad000f4954cccf35fb6","datavalue":{"value":{"amount":"+0.7070082426071167","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":"Q1407573$6472EA13-8B7E-4DA3-974B-FACBC0011F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce468300da50d0acfb5935c33ec53532c046e8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3819057,"id":"Q3819057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713d01922b226fe636dc1b3d29665022a8ddc2c9","datavalue":{"value":{"amount":"+0.7051268219947815","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":"Q1407573$078116E8-0655-423D-A808-EEE94CD2F9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3b9288b61e33523ebbb5eaf88fe6b9644ad16","datavalue":{"value":{"entity-type":"item","numeric-id":3535111,"id":"Q3535111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e2fd7e9f0e3578f750be4a6a5ae3d1e13929e","datavalue":{"value":{"amount":"+0.7043092250823975","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":"Q1407573$F4FA4276-4949-4114-9F3E-6C98F2E33F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuity, proof systems and the theory of transfinite computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuity,_proof_systems_and_the_theory_of_transfinite_computations"}}}}}