{"entities":{"Q2945876":{"pageid":2956596,"ns":120,"title":"Item:Q2945876","lastrevid":52345160,"modified":"2026-01-22T09:50:04Z","type":"item","id":"Q2945876","labels":{"en":{"language":"en","value":"Towards formal verification of computations and hypercomputations in relativistic physics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482187"}},"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":"Q2945876$7C943DC5-F00E-470A-8FEB-2C45C8D7A5D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4a063b7b786e0487dbb7229b67c349e5f906f4","datavalue":{"value":{"text":"Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945876$1CF5FDF1-EAC7-400C-8510-49585E60DA30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80fc9fd0a34aa96a5c79e9d5f52b779d5f102903","datavalue":{"value":"1415.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$3C45A141-7358-4828-A941-ADDFD877B326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6fbdc8454715acfdea7376c9f8e0c5313405e5e","datavalue":{"value":"10.1007/978-3-319-23111-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$95663006-BBA2-4082-9429-BA7B807CAF90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389bd8189f7428178537e89812ab61524a39750d","datavalue":{"value":{"entity-type":"item","numeric-id":514564,"id":"Q514564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945876$98DCE995-4D39-4821-A122-86442B810A66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945876$67FED220-F856-4E11-96EC-FB27A0D9ACE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945876$04320B8E-629C-4EE7-B338-49BEADE4CF64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"572377865bd9d83dec7fa5022fa7b324242b4baf","datavalue":{"value":"http://eprints.whiterose.ac.uk/86607/1/2015-stannett-mcu.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945876$D033B332-03C4-4FD7-9B4F-14D3C96D74F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$DE6ABF88-EDFD-4792-ABE5-20EA8AC86D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$9BEA3187-E695-4CE9-95A1-4615296479F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8b2fd49485edd0f227fdd053e2a436de43fcd1b","datavalue":{"value":"83C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$E47C3AA7-54AA-496D-80DC-B29128C9985E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18e76c81ffc289dc66489df6d91d343860eef9b","datavalue":{"value":"6482187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$26DEA167-0278-4A22-B7A4-BFF2D6E4299C","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":"Q2945876$9607EFDD-450F-49A2-90E8-CA7CB6300D14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9bd094cfa80fc87648b007231f0e7a1f889a8d3","datavalue":{"value":"W2232149463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$E83D45A7-23A3-4976-A4C7-5F7D5BF29037","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c2f649ef9eb52310efe9414810e504d130662c69","datavalue":{"value":"Q57691180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945876$FA41D580-DBE0-4084-A68B-245C257E4BF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f922a2bf5594589d929e3187c167ffab51eaf1a4","datavalue":{"value":{"entity-type":"item","numeric-id":4805387,"id":"Q4805387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d7c17029f1923eefedbca6c2e5b748a489e003","datavalue":{"value":{"amount":"+0.8215543627738953","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":"Q2945876$279DDC2D-8D76-4648-9866-72344536EA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51c4ad45efd1ae1a672cba4d315c278737d6246","datavalue":{"value":{"entity-type":"item","numeric-id":2497881,"id":"Q2497881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e3adcb1166dd675680df3d1c9ea8588debc7c2","datavalue":{"value":{"amount":"+0.8026052117347717","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":"Q2945876$FFA82A84-AE22-40DA-889A-BD8FD742CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd94dc015a8994373fca5c2ce06b27721265cae","datavalue":{"value":{"entity-type":"item","numeric-id":2497872,"id":"Q2497872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abe51409c30b11d279924a39c112edc45522825","datavalue":{"value":{"amount":"+0.8006158471107483","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":"Q2945876$7DAC79EF-0D6C-42ED-BA93-F3E023E01293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11672e7ac3cb388884471f96e504cdbf8be063b0","datavalue":{"value":{"entity-type":"item","numeric-id":734209,"id":"Q734209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feb3b2dad7533e955454633642de146aaf180a6","datavalue":{"value":{"amount":"+0.7953239679336548","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":"Q2945876$86EFD35D-E23B-44D5-A5BF-D97346F24614","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":"eca744372190ce87a2c3cd315e30e7a76af4fe47","datavalue":{"value":{"amount":"+0.7928746342658997","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":"Q2945876$FB601327-6B62-4F85-AB1E-BDBD5E8D8339","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945876"}}}}}