{"entities":{"Q2464725":{"pageid":2475468,"ns":120,"title":"Item:Q2464725","lastrevid":50235173,"modified":"2026-01-13T14:47:56Z","type":"item","id":"Q2464725","labels":{"en":{"language":"en","value":"A proof-theoretic foundation of abortive continuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220777"}},"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":"Q2464725$980D6870-8439-4E80-8D6A-ACDB9C6F6485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35d7bcd540502dda580c34ae298f368b492baa09","datavalue":{"value":{"text":"A proof-theoretic foundation of abortive continuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464725$FF882B79-9C0F-4ADA-82AF-4A124634C565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5317d4b5394c8e11fef3a0d4125ad4bbd0cd5981","datavalue":{"value":"1128.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$6944CFAC-C793-48D2-9865-9D063EF8BA8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$E3AD59AC-66EF-43E4-B57D-2E6727A57963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$90445C8F-D191-45A7-BFBE-D092548EAE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c668deb62e077980cf78aeccb37d7ac08f3f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":968363,"id":"Q968363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$B36DEB99-445E-4B68-92DD-656E337078DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$1873C51D-8612-4D9A-A4D0-416D783A7E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464725$551EB07D-8C2A-499A-A2C4-9D0A089B1CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$7CB5F4E0-D94B-4D84-8C3C-980D175E04F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$DF957AD3-CA64-450A-A633-BEBCC8ADC3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$C71FE4E8-8807-4152-8066-2931FED11A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$3F4DC45F-9688-4BA6-BBD4-990DF1A7E3CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea9c6de3eb3ac97fa795ed481eb765281cb92df","datavalue":{"value":"5220777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$5F45A01B-5385-4003-A74F-ABA09D06C1F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d71c783e94bf3551415ed104ac131b4d117fe","datavalue":{"value":"Callcc","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464725$5E2F42F6-1C49-4BBA-BC02-EDDFAC2DB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ec90c6852ddd07324a46b4a3f74c60e5114502","datavalue":{"value":"Minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464725$62ED386D-71A9-4EAC-ADAF-495484185A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eacfb6532b2d024537312fdf143dea003c73263","datavalue":{"value":"Intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464725$FD944901-48A0-4B08-972A-F71F6AEBF236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02af479b7dfb5556c1ec9f36f2983c1e328492c8","datavalue":{"value":"Classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464725$D22D465E-5D37-40FA-844A-A3F358959923","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$8EEC5660-1A91-40C4-AB47-C7BDA30B8B98","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":"Q2464725$6143AAAC-48D8-46BC-89FD-88F083975A8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd2e3cf152541160b0f278e851dd77f0e5aa40d2","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9007-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464725$0ADCD4FD-A2D9-4561-899F-7D9940CDFDB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"072ef2da00e060cf3e9184e03cc5a569c358922d","datavalue":{"value":"W2032124026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$D1BF9260-72A4-4B5B-B9B4-1E2D769E1ED0","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":"Q2464725$2BA1E62D-01B6-4537-B01B-90F9F309FA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677a2f88a901b4c925d0ee9e87431e1979498a8","datavalue":{"value":{"entity-type":"item","numeric-id":5178020,"id":"Q5178020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$06F38FD6-6CCE-4D8D-8069-017C52024FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ca8f6f6b5ac0f34854c5c3a7531294eb51737","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$976C7A76-910A-4A2E-9C04-495FC32420DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$324177FE-AEC6-4377-8150-BDFEA1090121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdea4f58240b583e8d37e1858a840704f4b8960","datavalue":{"value":{"entity-type":"item","numeric-id":4281464,"id":"Q4281464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$8595FC85-7BA1-4EAD-8110-C4781F0C9CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792eb82a1128e3c271566834fa0a60a0234aaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$E43810A9-C589-4ED5-A6AE-8036D300076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54aec85eb6249ced51db2ae115ed0f4aab527f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4948005,"id":"Q4948005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$53BBF0AA-C49F-4BD6-9B10-0C45DD0FCB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$12251006-CFF4-4960-88B9-DF91C58CB237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c25193fb09fa49aebb1aee33ff2d3fa28fae51b","datavalue":{"value":{"entity-type":"item","numeric-id":4038658,"id":"Q4038658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$A251A42D-40B2-49B7-920A-90FC77271FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$604B5530-ECC7-4323-8C16-E22F2B605B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$3DF39A6D-5A79-4B15-B8D5-8C3F89068BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0816d6f00a03a7666e63126256b4f78093a61e","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$29977F97-2F39-4B1C-A1C6-C9AD229C11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a40413ca3307ac571256f8d43587a3148fbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$18F71F76-5F25-4C94-84AC-22DD7592B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$5A8258B9-D902-4B2A-9DE7-57DA2D018B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61faceffb3f750bffd90088b2ab74cece1f02958","datavalue":{"value":{"entity-type":"item","numeric-id":5261274,"id":"Q5261274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$55CEC006-0EE0-454D-9984-B6089C8CF0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed625e8b390cbc97fab52f504f2eb0f5cb3595c5","datavalue":{"value":{"entity-type":"item","numeric-id":4843402,"id":"Q4843402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$B2498914-3D63-46B8-ADC7-48B2DFBDC928","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":"Q2464725$4766C04C-705E-488C-AAFD-A8C640D58BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$41DF1F0A-3509-4ADB-9BA4-2955D6AD8F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$E99BA80C-90C7-48E2-A220-D596348D8CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$CE424C1A-C597-458C-89DE-E8F82FFE28D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$A6B79D70-A05F-4362-AC29-206A2E0EE2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$BA6F6A0D-6B41-44C3-B73F-1139536FB1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a4715686259e7c52bffd4a8087b0e07f5ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":1362744,"id":"Q1362744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464725$DB396141-A181-4393-8AF6-49E4CEA7BC14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52446aa4df6e105af3c61e4ffdad7f41ef616aa","datavalue":{"value":"10.1007/S10990-007-9007-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464725$F523B22A-864B-44A6-BC3F-119EC3B5380B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ad71b7847300159073ef1854714d916284717d","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fd2c328cfa3910e21bfbc59f0d2b679f742d40","datavalue":{"value":{"amount":"+0.919886350631714","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":"Q2464725$6408D109-02F1-457C-A700-74BBA9EE20D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869135bac15d9543c59bc2a25d5e145a706361f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222823,"id":"Q4222823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550836088c808b498caf0180246c17dadb934463","datavalue":{"value":{"amount":"+0.7997481226921082","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":"Q2464725$0DD8BECC-E084-4759-B2AC-EC7849D1535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8cc012ba13c2fdc13d31baa755ed7a4756a5bf","datavalue":{"value":{"amount":"+0.7968763709068298","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":"Q2464725$09C6B8C2-EAAA-4C74-B610-4A3CB0EAECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e38d64a3a45f26d240e1dd0b80ff002ee5c75","datavalue":{"value":{"entity-type":"item","numeric-id":4370352,"id":"Q4370352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03645dda2f00d57273f8c1ad39dda710870f2c01","datavalue":{"value":{"amount":"+0.7924573421478271","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":"Q2464725$F591E038-CC14-4908-8103-04FCDCD6049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20d72714c717e20fba1e075a9681b814fda31e2","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99742376634da1c5aacb17f8d0f6ec9b5495c98","datavalue":{"value":{"amount":"+0.7868762016296387","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":"Q2464725$3DDC738A-5D10-4CF0-A479-3CA6E60CDD6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464725"}}}}}