{"entities":{"Q5300915":{"pageid":7330489,"ns":120,"title":"Item:Q5300915","lastrevid":92164235,"modified":"2026-06-05T01:01:56Z","type":"item","id":"Q5300915","labels":{"en":{"language":"en","value":"Small steps toward hypercomputation via infinitary machine proof verification and proof generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182535"}},"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":"Q5300915$E13E4FD4-EE40-4E46-BD06-4877350F9DB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d42c50e7c5fe092c68c7a957ebf163b3307d4fe6","datavalue":{"value":{"text":"Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300915$96A367FE-2DAA-4488-8B8B-75F8792A350A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"505980ad9cbc648470227e9d1c0732ff448ad9a7","datavalue":{"value":"1381.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$9AAF2259-B7E7-4B08-9A84-E7F7C721BCFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4380ea0813f94f61ec4b0c6bdbe98924bd483c","datavalue":{"value":"10.1007/978-3-642-39074-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$8B5744EB-9C5A-4E04-9DCF-53E4394A0F14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0728ae6699cb791d72871d116eedb79a2069e8ae","datavalue":{"value":{"entity-type":"item","numeric-id":2842653,"id":"Q2842653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300915$6596A361-2CC9-40FD-998F-6934DF5198E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1407ca6cd78205a92dba243e859ae2ad12289afc","datavalue":{"value":{"entity-type":"item","numeric-id":5300914,"id":"Q5300914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300915$7310E3D8-9A34-49B1-8301-AD8B2BCCE059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9acd197f7b5145a851369f32023e32e684dcab2c","datavalue":{"value":{"entity-type":"item","numeric-id":514555,"id":"Q514555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300915$9FA69F4D-AF2E-4C91-84F8-37350B5C4479","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"619541537a393918353c6a64fdcde0dad2978e85","datavalue":{"value":{"entity-type":"item","numeric-id":2819132,"id":"Q2819132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300915$11F987F0-64F0-41C4-9A50-7E9B2FD3515F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300915$F4017C60-678D-43F9-9168-D3EC87E87D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$278A4E5C-5E8E-412C-8CED-EDBBD524E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$96BF6524-1CD9-4A30-8904-430C29D61672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c4e63682799f2b30116f50a1ee6c9d5a888cec9","datavalue":{"value":"6182535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$4ECE7A65-36A8-4862-B243-26EFD9C5437C","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":"Q5300915$78AF1E42-2CA1-441F-9AB1-493C81319334","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"983dddd94e64157bce83a2ab37173d17b7791ec0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39074-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300915$FB39FD63-B4F1-4D1D-9800-5BF5CBF3A597","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"954d138c86ff208e54332981d4b7ef1aafa4152e","datavalue":{"value":"W2174625585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300915$F930245F-8330-42CA-9C60-7F41EB762FFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a162ea952f7eb00237ec04e62b53e4f681e2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2497879,"id":"Q2497879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ca3fa2004dc049258526ea83ce7315810f5103","datavalue":{"value":{"amount":"+0.7036429643630981","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":"Q5300915$D2A65CF5-3D63-40E9-8E13-38217401465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a64f83363885bf25d6ede534b9deefebef8944","datavalue":{"value":{"entity-type":"item","numeric-id":1434374,"id":"Q1434374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ededb2abb71ddf5b4ab563f4aa7655d62853a388","datavalue":{"value":{"amount":"+0.69924396276474","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":"Q5300915$2E543C7F-071A-4A5F-AB33-72B8EE9B3CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9ef06af67f716b4e9422bbc33bc831bded4f3f","datavalue":{"value":{"amount":"+0.6984845995903015","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":"Q5300915$13ECF390-C7A0-414C-866A-BEE1D412028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e171bdc08ccc776c14f638dd81ae858ae074c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2495984,"id":"Q2495984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f21542c4ee311bcc90eb6c40ae62690b2d6db3","datavalue":{"value":{"amount":"+0.6964746713638306","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":"Q5300915$067BEF63-3095-4A81-93BC-C6AB2F3DC6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccda9c6fa11e29b50e3b5c14c25179eb9ca4497b","datavalue":{"value":{"entity-type":"item","numeric-id":1434379,"id":"Q1434379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0fa88f57a1698858ec6dd1c8cb6f54b71f5d6f","datavalue":{"value":{"amount":"+0.6951456665992737","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":"Q5300915$90C16E4B-3A2C-4743-96EC-A030338F36DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Small steps toward hypercomputation via infinitary machine proof verification and proof generation","badges":[]}}}}}