{"entities":{"Q2915841":{"pageid":2926561,"ns":120,"title":"Item:Q2915841","lastrevid":79758902,"modified":"2026-05-06T14:38:48Z","type":"item","id":"Q2915841","labels":{"en":{"language":"en","value":"Exploratory experimentation: digitally-assisted discovery and proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083899"}},"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":"Q2915841$56B83159-3198-48D7-8D8B-9501B1C19947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3698226cb49bb2964133b67ec9695c4dcc6e458c","datavalue":{"value":{"text":"Exploratory Experimentation: Digitally-Assisted Discovery and Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915841$65035F8B-BDBB-477A-B47A-54596BA611D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3fe145087684c99ec894a3647103efbdebd9c59","datavalue":{"value":"1259.97011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$5FE41132-B534-4375-92BF-412C81411342","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f738e485d992d96e39718e43827ebd272bc48f5","datavalue":{"value":"10.1007/978-94-007-2129-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$91886CE1-8AA5-400B-B25D-F60DB8706146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b6aad4452a89c310bbaddfebdf2e19069187d9","datavalue":{"value":{"entity-type":"item","numeric-id":203580,"id":"Q203580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$6334DF9E-0124-4487-8DB9-3D864FF279B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"88b4d6d30f6bc32258d6b2bf9183250f7fab4b1c","datavalue":{"value":{"entity-type":"item","numeric-id":382968,"id":"Q382968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$F46877C5-BF3A-49F1-97B7-907AD36D0CE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915841$09D9A572-1BF7-43A8-B688-8DCE7B286A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$5FD17688-B170-4045-B017-2AB72A95A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$6A4627DF-D8A9-4C60-961F-653C5041C27B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3e3871befe39f7863c14ebb924b0388d77eed86","datavalue":{"value":"6083899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$1DB31068-B80E-4BB6-AF3F-70AAFC45621A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f8ea669e2e996af48cc65c1365f3197eefb984","datavalue":{"value":"digitally-assisted discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$3E7DBF3A-458E-4351-9E9F-5207A1CAF3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac61d529a03e5bccc85d66b4afae245a017e45d3","datavalue":{"value":"digitally-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$AACE51B8-177E-4029-826C-7AB6E5CA396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ea1521f86d1c14542fabb33f0b767c7c09fe53","datavalue":{"value":"mathematical computing packages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$C4842EB1-2E38-46EA-8CE4-A546B5E06A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff92b5943797df3d4b343ce1714e8f3ae9d6d39","datavalue":{"value":"dynamic discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$CC75457F-E2C6-4C1E-ADFE-B697E5802447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc4e51f683b9bc964ece03194fbeb059268d947","datavalue":{"value":"partial proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$D830A50F-5AC2-44F6-8E1B-5E85EDEBE105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b4b60d457b10779e69015afa2f22d5e1892828","datavalue":{"value":"knowledge without proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915841$65CA5E05-043E-4DA1-A639-07100FBE639E","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":"Q2915841$B230ABCD-588A-4345-982C-2B0BDA5935BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee9e1eb0918289da73a74edd6b753ed45375def8","datavalue":{"value":"https://doi.org/10.1007/978-94-007-2129-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915841$2F29FC07-5105-4E09-BA85-99FC984734C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7668b8957f1e00b52e7a0f167b1888b283005db0","datavalue":{"value":"W47711953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915841$B1F80D56-F8D4-4D10-B55F-4C8FBE9448CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8d007291281282bcd4e0f1d52708c0d535a967","datavalue":{"value":{"entity-type":"item","numeric-id":2883494,"id":"Q2883494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$0CF68BD6-6B44-4742-8133-CF42C75F76FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9960dc3ca0c1213484ad391025d89df48b84af59","datavalue":{"value":{"entity-type":"item","numeric-id":5292368,"id":"Q5292368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$5C9AC361-D8B0-4F92-A8DA-503BCABF33E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94468fac2bd9d94e6462813c3bc824b19d2e3413","datavalue":{"value":{"entity-type":"item","numeric-id":3503776,"id":"Q3503776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$852A6B63-4F5C-4E6B-A5B9-F4D1BAA1A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0130e1786762734cba9292c57479cfa116c8a5d8","datavalue":{"value":{"entity-type":"item","numeric-id":3563784,"id":"Q3563784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$27473201-871E-46CE-932E-7D2331747BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9fdafec06de5f7e71ee54bbce11519b7983bd1","datavalue":{"value":{"entity-type":"item","numeric-id":3625078,"id":"Q3625078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$40D841DC-41D0-4C39-8283-549BE7A47E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43422eb10b2195c4f7ff1e3a6beeb3ac63c06c73","datavalue":{"value":{"entity-type":"item","numeric-id":5302105,"id":"Q5302105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$C7F1066F-1E42-4197-898D-BC5516CE4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d47b4542f218808105278c27ae283f713bdc64","datavalue":{"value":{"entity-type":"item","numeric-id":4449438,"id":"Q4449438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$EB4608ED-24EF-4819-AE5F-559F2D34494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f858c5f9512b5b399208ccc3e2394099c19b4901","datavalue":{"value":{"entity-type":"item","numeric-id":4023222,"id":"Q4023222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$E4D9E018-3F78-4EB4-AB3B-4FD7A7C54615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91147c97b57393ab6f499c28f94e80830d1c520c","datavalue":{"value":{"entity-type":"item","numeric-id":5431481,"id":"Q5431481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$BCF7F33D-593A-42D7-A876-41BDE27F869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81369862bf4a88d2b21c19e82fd66731762cd1b","datavalue":{"value":{"entity-type":"item","numeric-id":4520887,"id":"Q4520887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$87C81F34-1597-432A-8811-93A0BF47A4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e540edc0884676092fd52c9a37ddf706e0465177","datavalue":{"value":{"entity-type":"item","numeric-id":4413075,"id":"Q4413075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$57FE49F9-1E01-4319-B86B-744A74EE92DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1145a6252ac1c2f0190a1ae918e36f86e8df7","datavalue":{"value":{"entity-type":"item","numeric-id":4340904,"id":"Q4340904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$27026B62-01EC-4592-BC94-0D39B802056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e48353f68c7bbcd25c6001ea2adf6b4c817bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4942168,"id":"Q4942168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$5F13D678-AF75-4401-B39A-2D2C3CD618E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3a7659821677b74d3476822ebee42c25d3af3f","datavalue":{"value":{"entity-type":"item","numeric-id":2271078,"id":"Q2271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$EC5F0F5A-FCFC-4EFB-A068-D8BE81DA86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403c76103dc620815a70478cfef0d779aeb8f004","datavalue":{"value":{"entity-type":"item","numeric-id":3138086,"id":"Q3138086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$A1D1C54B-2E4E-45D9-A362-C82885631E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680847e62d6b091d1bfb59b9304d817bca35724f","datavalue":{"value":{"entity-type":"item","numeric-id":3625074,"id":"Q3625074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$A016FAE7-DEE2-4916-941C-04E9CE9D25D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589562c53f0811764cf723bba7a1dd6c3ef95965","datavalue":{"value":{"entity-type":"item","numeric-id":3621552,"id":"Q3621552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$1A197502-17A0-4BA1-AD9F-C3C6232FF64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5cf64b7eece78726aa3d69f64b1837d597f1ec5","datavalue":{"value":{"entity-type":"item","numeric-id":3309635,"id":"Q3309635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$C470E920-1722-4A0F-80E5-1B7048ECB7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f4e61d3fba16f0b44ad3e6fbe9842f89f66c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3993234,"id":"Q3993234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$D649005E-4667-44CF-B85F-A1A649A60641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d597a13ff196b845d841d04079c24aefe79bf4cb","datavalue":{"value":{"entity-type":"item","numeric-id":2757383,"id":"Q2757383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$4BDD78AC-246F-47B9-A302-E326FC44F3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fb7b22f0f049343eb6bac193660848c903ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":3059444,"id":"Q3059444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$73C95DA7-AA61-478E-8F10-9BCB9477ABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724f25f41df4ce8a2909712132bccf4a4d5421e9","datavalue":{"value":{"entity-type":"item","numeric-id":2778320,"id":"Q2778320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$75486C0A-51E7-44EE-8E54-085E31552D48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f804646d72e752a3f975eb33327125fd192e45","datavalue":{"value":{"entity-type":"item","numeric-id":4664203,"id":"Q4664203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d6648b62b192993d8168de02e05dcbbb61f526","datavalue":{"value":{"amount":"+0.7613638043403625","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":"Q2915841$B4EF979A-227F-42A3-914B-D880657419FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be2bf877983589f590484824dc41639c3136ea6","datavalue":{"value":{"amount":"+0.7421270608901978","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":"Q2915841$3C44D986-59A2-45B9-B693-4CF577B2C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a5ed41603b6329aa9c9dc2197ea7f218ae685f","datavalue":{"value":{"entity-type":"item","numeric-id":5138449,"id":"Q5138449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85afec66201929980b75830ffc59603ec3fed000","datavalue":{"value":{"amount":"+0.741879940032959","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":"Q2915841$82FC445F-57BC-444D-A677-848B9ECF5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb12ad7943032d9dd10bf0c12d382fb9a5efeb0","datavalue":{"value":{"entity-type":"item","numeric-id":2915844,"id":"Q2915844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9fb9a4f04848977e262b4a2177accf5093a0ef","datavalue":{"value":{"amount":"+0.7328596115112305","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":"Q2915841$89C8CF4A-0DD9-457D-B972-990DE918DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8723d99d255de6ea7ab820a8d5f35e9ef29f213a","datavalue":{"value":{"entity-type":"item","numeric-id":6095201,"id":"Q6095201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa860d4c240c95a19fa4bfa52162e9764753b04","datavalue":{"value":{"amount":"+0.731530487537384","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":"Q2915841$EFA00A1D-06D5-493B-8DD4-DCCA00662E2C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915841$D86E45C6-12B0-414A-8C69-93AD1C62FC82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploratory experimentation: digitally-assisted discovery and proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploratory_experimentation:_digitally-assisted_discovery_and_proof"}}}}}