{"entities":{"Q6646290":{"pageid":14257445,"ns":120,"title":"Item:Q6646290","lastrevid":55910116,"modified":"2026-02-21T01:49:12Z","type":"item","id":"Q6646290","labels":{"en":{"language":"en","value":"Conjectures, tests and proofs: an overview of theory exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7951929"}},"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":"Q6646290$74625145-BCF9-4893-AC0E-55C528F374A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd4d3be97a7aaced79a97f89cc3bdfb1f607dce3","datavalue":{"value":{"text":"Conjectures, tests and proofs: an overview of theory exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6646290$44BB450C-B625-4CC8-BF1E-E0FF9014E29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$11A91FFE-A2CB-461E-92B1-CC4F0C5C5A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e49fcbc4c548063a98ad501641ee3ac5ded892","datavalue":{"value":{"entity-type":"item","numeric-id":1799099,"id":"Q1799099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$B6A21693-9659-4EF9-AA3A-2F8AB3A25EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81a4e48e19408941bfb821094a9f7556c0ec2cb3","datavalue":{"value":{"time":"+2024-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6646290$EE8B4498-0FB8-4EFD-9645-1AEC6A206097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646290$1C1105FC-0203-4B4C-AB23-03B97D5CD7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b018cb70c067c54030760cb6222cc97082466551","datavalue":{"value":"7951929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646290$62C045C6-7F30-4285-90AF-61F3E89AAA56","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":"Q6646290$3FE8AEDE-715E-4FEE-8BFD-C4A1F21329A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$354C7F07-7EB9-4835-B4A3-4320F3F3CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$6B94BA9F-75A6-45F0-8F34-7FB052477A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d2836e77c209a26cdc90309154e79d6e4a365","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$02AB2103-324E-41DD-98EB-5E63831F7ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0692c23c4e5b1c9e292e92944d68f69611e403f0","datavalue":{"value":{"entity-type":"item","numeric-id":4809066,"id":"Q4809066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$8F086971-B7C2-4761-A63E-8425765E5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced51c72befd73801ec436b2c36c41eaabb2fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":6108814,"id":"Q6108814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$D1D586A8-ECA5-43BC-B8BA-2EED9D06926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13625bd5a8f36e424a6da73bb05877a54ee3cc46","datavalue":{"value":{"entity-type":"item","numeric-id":922723,"id":"Q922723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$311566B9-6569-46C6-B5B1-C9595B9392E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$F4995D75-2B61-4870-99A3-8F48AA223131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$4BE552A9-8E72-4429-877F-265E82245D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b457657b2bc0e74cd9171583ece7883a99c7582","datavalue":{"value":{"entity-type":"item","numeric-id":1687709,"id":"Q1687709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$F77BD941-F86D-4597-B7A6-E58357C74C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$D3E646D9-A0DC-4EEA-88C1-AE1A42EBAC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933abcee6e71217a619391222ae8646b0eea736","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$C13B3E10-70A6-4641-8D9F-C6F7FA28DB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4722d0b626fc70eb1b4335a052138c3c2d6c3820","datavalue":{"value":{"entity-type":"item","numeric-id":3460056,"id":"Q3460056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$63673D69-D03B-4B85-8918-8C1B2B459F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f927eef2ff97bc2ae67635a63548bc51b9896f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5371995,"id":"Q5371995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$B0D99B01-3866-4608-A58F-BF7C68E881FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4073212e5e8a290d1249a88cf67061f68759f7","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$202B6A1E-EF4A-43D7-B224-D653AF48BB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c272427435848e695b99f7aab5900f31907e54","datavalue":{"value":{"entity-type":"item","numeric-id":2219416,"id":"Q2219416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6646290$A856CC44-9CFA-4B5D-9DAE-391258A66A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8bf3da281d56998d1475ea87dd2d8dc16c85ea8","datavalue":{"value":"10.4204/EPTCS.341.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6646290$032DB12E-D83E-4E4D-9D3B-E74E1E5473B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c892cedc27ea6850ff49e22df0f0d1a44b7a845","datavalue":{"value":{"entity-type":"item","numeric-id":5371995,"id":"Q5371995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46097da0eff84093c452924d08556049b02e939c","datavalue":{"value":{"amount":"+0.7967263460159302","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":"Q6646290$7CFC0738-737C-4157-9C63-5525E826D1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8b671d2377fddf734ddb65ec2e118032724f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1687709,"id":"Q1687709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0977adc21d039b3dfc8a71e77b12029ed8e05f7","datavalue":{"value":{"amount":"+0.7750524878501892","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":"Q6646290$4C41A454-9A10-4F6C-8BDA-979F9274B10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297344ea8e349ee5dd9961cd084775df06cbef67","datavalue":{"value":{"entity-type":"item","numeric-id":3613395,"id":"Q3613395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6541aca4cbf35eb03b50935b440d95cc69c1ca0","datavalue":{"value":{"amount":"+0.7532557845115662","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":"Q6646290$5E2FA053-2958-45F1-AA8C-3572EE5607A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0400a08924bcef2385cba9f9f098bdb86d487438","datavalue":{"value":{"entity-type":"item","numeric-id":5464706,"id":"Q5464706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb19512d9b50ea4ea06804fd1aee70941000d6c","datavalue":{"value":{"amount":"+0.7425937056541443","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":"Q6646290$F89EC8EA-41FA-44C0-9DAB-C669B340B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fcff8cc9dbcb717a672d7a1551323231e5d33e","datavalue":{"value":{"entity-type":"item","numeric-id":6108814,"id":"Q6108814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c59f1aa2d8d3d06a72e8d10c49360d494cbd58","datavalue":{"value":{"amount":"+0.736014723777771","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":"Q6646290$87C9691B-803F-4DDC-8CB2-445DC0A85937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6646290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6646290"}}}}}