{"entities":{"Q6075422":{"pageid":13209730,"ns":120,"title":"Item:Q6075422","lastrevid":55486738,"modified":"2026-02-17T17:30:27Z","type":"item","id":"Q6075422","labels":{"en":{"language":"en","value":"Proving Theorems from Reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7740562"}},"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":"Q6075422$EB901DC2-C8EE-4DF2-90AC-9F8E83138908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a277aec48c2043e24e957ff67534b3b226e41f5f","datavalue":{"value":{"text":"Proving Theorems from Reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6075422$91765270-9045-4086-8FBA-6C2A0302FDB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e0384cc87cb88347eff85dd14f30dd32d9656e","datavalue":{"value":"1528.03211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$252A84C4-D548-41D6-8B36-93458A72E04F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd159e4df05f338405bf49e728eb9d0330384ddd","datavalue":{"value":"10.1007/978-3-030-15655-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$ED807ECD-D58B-4287-B9FD-DCE945A7306B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df54aaacafa183ee62fe8c75514fc862fac34be2","datavalue":{"value":{"entity-type":"item","numeric-id":221561,"id":"Q221561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$4C750633-9E3D-4A0B-A163-4F91CFFE697F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$2F3F73EC-C6FD-46DB-B1CA-6B3024F8E4E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6540147dd2ce3bd9b08bf74a14b0ebf353350e4f","datavalue":{"value":{"time":"+2023-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6075422$3B2F3CE8-3B14-4619-B1E4-0DEC9926E7A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1461220abde4990dcf998fe85613a99217c9a443","datavalue":{"value":"https://research-information.bris.ac.uk/en/publications/5f593268-df18-4dcc-801a-bb9e302015a1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6075422$F19B3351-748E-42A8-96D5-242DD2C010CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$67D71CFB-2B5F-490A-9197-2070892D7FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$A6F907AD-FC15-4071-9BA3-EBD99CE6EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$38291D63-E8A9-4C5B-AA45-6685702AA85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff93ae9c95d0ab63f109d4a8f9637c73d3a66e65","datavalue":{"value":"7740562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$BD64EF77-FAFA-40C5-9740-7DE1727258DD","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":"Q6075422$DB088741-AA9D-45A1-B1D3-BFC3701CBCBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"738869b937f28e957157802bbe42c151e239fdaf","datavalue":{"value":"W2944392834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075422$31B9BF2C-E0C3-43FE-967E-1398724CFDC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4805f38d8a13b8d932339f139b139686d1952c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618369,"id":"Q5618369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$B3B82228-D5AF-42BD-8CFB-1D5631FD677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$ABBD9FE2-F4CD-4092-B493-017759B8104F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042c93cf9df0c8bb9e6d9b6af5d3f85747d10619","datavalue":{"value":{"entity-type":"item","numeric-id":5901498,"id":"Q5901498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$B1FF4312-F9A7-498F-9045-01492395249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078dc346418e2d6d3ac5cdf3272087276b44a372","datavalue":{"value":{"entity-type":"item","numeric-id":2540888,"id":"Q2540888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$DE35B1C6-2312-45AF-98C8-8A67C5B614BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa484da393baed4c3bb66bce5fbae20425e2c74","datavalue":{"value":{"entity-type":"item","numeric-id":3337450,"id":"Q3337450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$6A4F6B62-CB7A-4864-BEF0-EAD278F7DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c9849d1a01c16d1b1868cdad37665faa51283","datavalue":{"value":{"entity-type":"item","numeric-id":5619096,"id":"Q5619096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$746997FA-31A2-4081-8CA5-6283710ABBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$FCC22369-89C3-46C5-B510-9D740458C2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9621e33c24015246230bab72a5d6f133223db","datavalue":{"value":{"entity-type":"item","numeric-id":3820593,"id":"Q3820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$D6027227-CAC7-4C7D-BC4D-8E39D9EA1E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2328376dda7922e2824351356a1e120feb66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5554955,"id":"Q5554955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$B7D9C512-1142-4829-BADE-28318389242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94089563761ebf628aa674e5bc205f16af82b5d","datavalue":{"value":{"entity-type":"item","numeric-id":5586265,"id":"Q5586265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$A3272604-6862-4307-BF6C-B470388D492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07857497ba1591a033f81003df3b56f88e0f89f","datavalue":{"value":{"entity-type":"item","numeric-id":4088821,"id":"Q4088821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$C2EBD0A6-C6D4-4443-9798-040D9E665FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd8c126a0efbba9ffa8e806597e16fea2e0283d","datavalue":{"value":{"entity-type":"item","numeric-id":4600822,"id":"Q4600822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$731E0922-1BC9-433B-A300-1A59E6C2B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef289b917a565b3292b9c57084a93e31ed23b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$48842034-40BA-4B17-B818-64FC30AB3776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d0e995c760a307c264c665efd273d8a532a029","datavalue":{"value":{"entity-type":"item","numeric-id":5599815,"id":"Q5599815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$B0186FB2-E977-454B-BAF6-87FE9D919A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f769e8a35c30302df9de21f9ae4b31812b24f0","datavalue":{"value":{"entity-type":"item","numeric-id":5555648,"id":"Q5555648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$2EC2D053-67AD-4180-9C25-4079BD746CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$5301EE32-9CFE-4973-B475-9725B44E50AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1ed4340d57379e1eb99f55cbbd7ed5e9ca730","datavalue":{"value":{"entity-type":"item","numeric-id":4674792,"id":"Q4674792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$FA3F6768-3ED1-470F-83A2-3D57A96CDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde93869117e77938daa855cceceabceb6ccf20f","datavalue":{"value":{"entity-type":"item","numeric-id":3687182,"id":"Q3687182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$428B2604-C3D0-4490-A455-1D3F1940A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd429e0c79fee00540d7734bda66342bd9c9091c","datavalue":{"value":{"entity-type":"item","numeric-id":4367940,"id":"Q4367940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$0A9854C0-025F-41E8-85A8-A009311FC6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5966afe04a434756abbbaa0effbdb6ec82be105","datavalue":{"value":{"entity-type":"item","numeric-id":3803107,"id":"Q3803107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$F9BCB364-B432-483C-9B31-7435FDBD5C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36676bb7353502aa4c0d4cc5f947bb0fd37fd6d7","datavalue":{"value":{"entity-type":"item","numeric-id":2756771,"id":"Q2756771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$34EDBB2D-D5E5-43B3-83B6-45C460AEDCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26784e788a008bd4c9d4a69386cbe995875a7f13","datavalue":{"value":{"entity-type":"item","numeric-id":2756776,"id":"Q2756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075422$EDA344C9-90C5-45C6-A691-D7D0DB60F7E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5e526e8ab38dff13577722c3b0a11b71acbf40","datavalue":{"value":{"entity-type":"item","numeric-id":5901498,"id":"Q5901498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ebf4a38f9332921f8a728503826ab421091b51","datavalue":{"value":{"amount":"+0.7315467000007629","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":"Q6075422$6753373E-2915-44FC-BA90-42C586EAC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eef5bb7470e9983430a560021be4afc87beb2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4689311,"id":"Q4689311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f764540ffb9c49819f05d07026bdfe1f091340","datavalue":{"value":{"amount":"+0.7315014004707336","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":"Q6075422$7CE29ABB-EC5E-4A49-A2AB-70B979363D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684b7c875757f7a3f8d67e948801a2b163d9e953","datavalue":{"value":{"entity-type":"item","numeric-id":2566068,"id":"Q2566068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bc4f35a9de1cf28e80fc79b1cea78d57064a58","datavalue":{"value":{"amount":"+0.7170299887657166","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":"Q6075422$3A44568D-55B6-48B3-96F0-236E4AECC9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f37671d7bbfe4e4253443e8c152f70ec8b07445","datavalue":{"value":{"entity-type":"item","numeric-id":4220191,"id":"Q4220191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a5bc0971ffe52c42f77b7e96fb8e2102a0fdb","datavalue":{"value":{"amount":"+0.7133610844612122","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":"Q6075422$535B584C-9D7C-42F7-A175-CE728BA34F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d91837eb6467cdf8a3ccbe82daf1abfb87b3852","datavalue":{"value":{"entity-type":"item","numeric-id":6119371,"id":"Q6119371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c827571eacb1d55f50a1868ccfe70188a3ff30","datavalue":{"value":{"amount":"+0.7042362093925476","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":"Q6075422$D95C9870-E408-45BF-9668-F6C55258CC30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6075422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6075422"}}}}}