{"entities":{"Q514557":{"pageid":516324,"ns":120,"title":"Item:Q514557","lastrevid":62412684,"modified":"2026-04-11T05:54:53Z","type":"item","id":"Q514557","labels":{"en":{"language":"en","value":"Proof verification and proof discovery for relativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6693201"}},"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":"Q514557$17C220F1-E0BB-4CD2-8090-9A0206EA6FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f857c81a9afc0043e446db08029099b9b14950","datavalue":{"value":{"text":"Proof verification and proof discovery for relativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514557$3077615E-1D0B-4860-B791-1349DD7659B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8385c1d683204f8a5efcbb7fc5849d99aa1c9140","datavalue":{"value":"1404.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$8306CE3D-5CF6-423D-B9E8-02254CFC009F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"311d22c16781ad7fefb2ecb2e152cc892f652df0","datavalue":{"value":{"entity-type":"item","numeric-id":514554,"id":"Q514554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$FDE526D9-BAA2-465C-81B5-C8DB13160556","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":"Q514557$DBC11C39-741B-448F-BCD8-9E97C0594F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a137c895597b51db698a9f4db56e0154307403","datavalue":{"value":{"entity-type":"item","numeric-id":2107643,"id":"Q2107643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$48B81F91-FEB5-4AE6-8129-EB79E345DF4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$FC2DEB67-205F-4A13-AFD7-37D3F740158E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cde054a89392cf42a4b74852735d2175f0649b6d","datavalue":{"value":{"time":"+2017-03-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":"Q514557$2FC029D5-0E4C-4675-BFB5-D1E6ABF4AA2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$91179591-096D-4248-A101-98657BFB2B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef51c555b100ef5fbe012cbcc4eb4d0a93443ee2","datavalue":{"value":"83-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$9158A3CF-F279-4081-ADA4-CD510D057ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b4f128fe0dc2d31b923b0a343c6e288e1fd0d47","datavalue":{"value":"6693201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$103E051B-6446-4DA1-9411-98D4BD5EA765","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45605c1c130274ce6af8474a2e8b8bbfaab9976d","datavalue":{"value":"proof verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q514557$AC76F312-5706-46AB-B26B-17D81A0A5E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97860f56ba493ca579f7f12ab78567bc0645eaf","datavalue":{"value":"logic and relativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q514557$C97E957D-5268-4DF5-9D9F-2B87D29573C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d76f870be395b0c6dc10c2da27873218a9ca5a","datavalue":{"value":"automated physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q514557$29CB91C3-D318-4E35-BE80-948EEB305BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a64956a61da2370fd4e634e209cd5205189c53e","datavalue":{"value":"theorem proving in physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q514557$F9DE4461-4047-407D-8543-6D52D73CC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fac69f85d610ce551b945abcd08240c0095dd5d","datavalue":{"value":"axiomatizations in physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q514557$8101F4CA-EF3D-4B37-8F2F-4C16FE60FABC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$40B111F4-5AE0-45BD-BC45-ED99D5028202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ffddbe484fd8f50b5b9119bada13bb028995f364","datavalue":{"value":{"entity-type":"item","numeric-id":14056,"id":"Q14056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$1607F002-3534-42C2-92B8-2ACA1406D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67b3c015592f295c8d8824a3e0b8178db54463a7","datavalue":{"value":{"entity-type":"item","numeric-id":31436,"id":"Q31436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$9C5BDD4D-D73E-4FF6-8B27-66CA43D11D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$018D8A05-AF90-4E42-93CE-84A397653203","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":"Q514557$F9A4D87B-3298-4314-B6C1-DC036C04558A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35351d3dc5dbc53bc61d68791d341bba04fc6421","datavalue":{"value":"https://doi.org/10.1007/s11229-014-0424-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q514557$1CAB60A7-9C61-4D9C-BD50-74D121D55EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a143863627a6e9e2e8e7c9209e7a9c7c6d730592","datavalue":{"value":"W1980505047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$94AB2690-EC58-491A-A528-CE8D6FC72B56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7714e08a8556aa1cd6a9f5fda8c7d4f8d9c37ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$A21A439B-D8BC-4D06-8C73-B81214CA743A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbf110ca01bd83463c1228146ac21afefb63d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3367316,"id":"Q3367316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$4360E183-96AE-4DA3-8792-9F34753CA26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052dbddc03cea963768ff303a4a85c2a3c02b094","datavalue":{"value":{"entity-type":"item","numeric-id":383001,"id":"Q383001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$5F9D27D3-46F1-4078-A762-762879EACDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985048afdfee321b7850067389f7d501c77975ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262783,"id":"Q3262783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$9B725B4D-CD92-42B1-B6C9-2BF420D936D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafd9283858d86146789adea40fdf46071c5cf50","datavalue":{"value":{"entity-type":"item","numeric-id":1045993,"id":"Q1045993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$3B96F990-F02F-47EE-99DE-9CED682FC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$4EF4CE36-3097-4C4A-8FC8-1113910A6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$FFD8412B-F5A8-40C5-A13E-CEFDB27A5C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf84a52a7883f200983e5e7a17fdc1b6cc01ae9","datavalue":{"value":{"entity-type":"item","numeric-id":3124542,"id":"Q3124542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$90C05B7B-7FFD-4B74-993D-ABD56FA1B787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$1C9ABF4F-2466-467F-8EC2-30136AE87345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$55FAE66F-CCB9-43C0-8D25-2097694AD114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7c66e733db6535928b4bcf6192ca18117a1b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2351148,"id":"Q2351148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$C01004EE-6FC9-4C6E-8F64-8BC485F5154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c033094dfb7d8996fc6fb5954f750f70a95d8","datavalue":{"value":{"entity-type":"item","numeric-id":4244407,"id":"Q4244407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514557$7CA6D3F4-C8D7-47A1-9AE1-212F44A935C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b760bb1ad558de8bd151ca7c00d208e8065e38f4","datavalue":{"value":"10.1007/S11229-014-0424-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514557$50B6A356-1F2C-4A1D-96DD-C07E8F998166","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e99242d3cd1df440424eb44bda0fb51ac571df","datavalue":{"value":{"entity-type":"item","numeric-id":2351148,"id":"Q2351148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2c7019d6e26e19f5c7f62c3767ee4b0c7b5c02","datavalue":{"value":{"amount":"+0.75013267993927","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":"Q514557$9B27B157-0A5F-4A44-A311-6C6CB0A1C172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f21f69d088307b3addeba730286516fca4427e5","datavalue":{"value":{"amount":"+0.6980199217796326","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":"Q514557$28CF5530-D92D-4203-8F0B-1C3C43F436A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc092646f99bba99f2129ec2336dd916e34b09","datavalue":{"value":{"entity-type":"item","numeric-id":3452371,"id":"Q3452371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361bc9887d7769484f487c09b51abc72ce3f88d6","datavalue":{"value":{"amount":"+0.6928936243057251","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":"Q514557$7B82AF3C-F6E9-48F1-BF3C-24BF3247ECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c26126e33f0e5b2ae6522ad3d736c39146fb1c2","datavalue":{"value":{"entity-type":"item","numeric-id":2354917,"id":"Q2354917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69a8a6f61736bef73a5161aef00b6dd5f59ff36","datavalue":{"value":{"amount":"+0.6911078095436096","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":"Q514557$B346B7BF-366B-4800-87A6-A5F02AE6D781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4067b80416ec5373fce3b39e8975635aa09860fc","datavalue":{"value":{"amount":"+0.6905728578567505","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":"Q514557$60A73F09-0E91-4FE1-AADF-1027D6EA8F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof verification and proof discovery for relativity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_verification_and_proof_discovery_for_relativity"}}}}}