{"entities":{"Q6086393":{"pageid":13220700,"ns":120,"title":"Item:Q6086393","lastrevid":58668522,"modified":"2026-04-06T06:20:48Z","type":"item","id":"Q6086393","labels":{"en":{"language":"en","value":"Digital collections of examples in mathematical sciences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7763413"}},"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":"Q6086393$A985BD57-B05A-4B56-9140-5EDEC35B8DAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e61b2ce45fa5dcb5b910bcd1243a006fbfba79c","datavalue":{"value":{"text":"Digital collections of examples in mathematical sciences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6086393$A07BE64E-FBFB-4A81-8EBA-E31B8111188B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$4D83AA4E-6EFB-417E-BA6A-59B266634E06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"195c278b9445af66dd8293040033ddc401d7ac72","datavalue":{"value":{"entity-type":"item","numeric-id":6064547,"id":"Q6064547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$51DBD038-3AAF-434D-BA3D-07F3BD0BA59B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0cf32823be09de1295dffc9c4e992799b891134","datavalue":{"value":{"time":"+2023-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6086393$75167AE3-A5F5-4FC8-B727-F82C50E3A83B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42074dcd6586d1dd1b663dadf2a2867825dec131","datavalue":{"value":"https://arxiv.org/abs/2107.12908","type":"string"},"datatype":"url"},"type":"statement","id":"Q6086393$7310139D-C4E9-4151-83B5-38518088C9EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc543012775ebb8a547eb5060bdd90580b50caa4","datavalue":{"value":"Summary: Some aspects of computer algebra (notably computation group theory and computational number theory) have some good databases of examples, typically of the form ``all the \\(X\\) up to size \\(n\\)''. But most of the others, especially on the polynomial side, are lacking such, despite the utility they have demonstrated in the related fields of SAT and SMT solving. We claim that the field would be enhanced by such community-maintained databases, rather than each author hand-selecting a few, which are often too large or error-prone to print, and therefore difficult for subsequent authors to reproduce.  For the entire collection see [Zbl 1519.00033].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086393$76D26001-6205-4F71-AA1C-AE8E9C6C3691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086393$A3920D31-895C-467D-8421-A46DEB7003DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9fa05560df9052e06829c9675d34def39dac1a1","datavalue":{"value":"7763413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086393$C4FCB18C-B0BD-4787-BFF5-300837D864B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df8d1eacb6d602a0d2e74473db9982db22c7e30","datavalue":{"value":"benchmarking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086393$FF551468-8F4B-4431-B5C8-80B642974FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6a6ebd0049f93db8a8f64fb9cd99502acda6c4","datavalue":{"value":"citation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086393$4CB19C40-C86E-4CDE-8690-0E2652EB831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7db956d0fecc3a987eb26709df6b2fad402857","datavalue":{"value":"openmath","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086393$AAD1D7CA-C4AF-4092-80A3-5E4BBA135FA4","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":"Q6086393$490559CA-6A74-4B59-B48E-31E96E3208FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33588f670a731d593e2eda55b6ef581d2101ef09","datavalue":{"value":"W3183527500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086393$A3A6FAD0-11EE-43B7-975B-A677D0CC5A57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e541c4674545cf6a4dcdfeaa5c51252207a76cac","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$02700C91-EF37-42F6-8001-B83007A51DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb04515f456952574e37fe18c959d696b38307","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$A22DA114-EFD9-4BD4-A109-4CA1820465F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59568e31fedd6604c722cd37f238ed6a7fffda74","datavalue":{"value":{"entity-type":"item","numeric-id":1401905,"id":"Q1401905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$71F194C4-5CA6-4CB2-A7ED-9F303F077241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25bf4181496c43661fbc30b6ccdf31dcee2923","datavalue":{"value":{"entity-type":"item","numeric-id":4234296,"id":"Q4234296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$5BFE99DB-D1EC-4281-9BED-2477B861223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9501bc6bac56e92f25e494486c40b90845237e0","datavalue":{"value":{"entity-type":"item","numeric-id":5729364,"id":"Q5729364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$57870BC6-36D9-417E-ACD8-EE9296C28C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb34fd9b0e45f9443a71b6ed180c23cb5005b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5524481,"id":"Q5524481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$AF96CA5B-B4E6-47FD-AC5F-D14AF23A1D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032acb74c9940c3ef9875ad18299d3d39431ca","datavalue":{"value":{"entity-type":"item","numeric-id":5102008,"id":"Q5102008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$1630CB1E-1C47-4EE5-B7B3-1D2B0565B07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$293A827D-67BC-4177-85CC-4A9DAE55681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7346afd47632224591d078c3d86096735c21d440","datavalue":{"value":{"entity-type":"item","numeric-id":1322769,"id":"Q1322769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$E5F4C2CF-E36E-403B-9B7B-0AEC0E1CE089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b4b039122add246e2a99f531462ceeccf34f4e","datavalue":{"value":{"entity-type":"item","numeric-id":3667059,"id":"Q3667059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$8B34E814-A031-46AE-9108-1F1058264678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973fa9141fa6a3dc33b18d435fa8b1ab82fe9d52","datavalue":{"value":{"entity-type":"item","numeric-id":3598050,"id":"Q3598050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$59981014-2F8F-4436-810F-43E24E710DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b194cdeb56e3afe4fdaf2f02279f137ce9d27857","datavalue":{"value":{"entity-type":"item","numeric-id":4657304,"id":"Q4657304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$F387F7CE-B639-4F47-8B1C-740309A150A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d628c8e2b8ccf54c9c991e4d9b1b24f755a598","datavalue":{"value":{"entity-type":"item","numeric-id":3079283,"id":"Q3079283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$9A718526-F30A-49AA-8FFD-6C6FB3128507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$76CCAE00-9D94-4A30-9383-02ADD6765C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2895f527ce2240f8a799c53a37121cc1ae5a277c","datavalue":{"value":{"entity-type":"item","numeric-id":4882943,"id":"Q4882943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$E216A8CF-F243-411F-99B8-2D2E78BC3BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778f306b7df53df908dbd75f86fd8cae027b27a5","datavalue":{"value":{"entity-type":"item","numeric-id":5122009,"id":"Q5122009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$6D44C0B7-EC55-4629-A923-F1ED6D0441C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17894f36c5ff77d6f3a1e03bb276e9746efa0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1157366,"id":"Q1157366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$70E70905-508B-4221-902C-E2AC75CAD70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7aaa71969113727b4936ea6dc639474ec7d8f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3084090,"id":"Q3084090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$C11658C9-25F2-4B03-A825-A3DF8FFDAE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0106206ea327195a22623aaa27f92e2dd20f33","datavalue":{"value":{"entity-type":"item","numeric-id":4716208,"id":"Q4716208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$2A38F0EE-46B8-4FC2-B458-A119AED9E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58c816568a524a0812c0e19348269e1fed84a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2456530,"id":"Q2456530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$7C0AB657-5EC1-4C30-97A3-D79756599563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f640491c1847a2e863d94471ca7418b4c26382f","datavalue":{"value":{"entity-type":"item","numeric-id":2749865,"id":"Q2749865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$E255539D-C199-45DF-8513-33B5DFA943FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ddf8dd24ac69c2c348f029ae3e306c89fc82fe","datavalue":{"value":{"entity-type":"item","numeric-id":3933739,"id":"Q3933739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$8C1C133A-3899-43CB-A559-2F857924E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba80159251026595e9e9b7002221283580a3ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":2152388,"id":"Q2152388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$04EA6402-9C94-4FD2-A878-84A367A452DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda84eb9ebb88e47e1efd6e2052625a1ce26e3bd","datavalue":{"value":{"entity-type":"item","numeric-id":2663756,"id":"Q2663756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$CA794EA3-4151-403C-BF83-27A2AA63DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1240f24475c882588ae71d50430270f4ad8582d7","datavalue":{"value":{"entity-type":"item","numeric-id":1930154,"id":"Q1930154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$F794D58D-8C06-44DC-BF13-DC19A34188C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1124ecdfcc41a53f46c86b01f9e1b554486c6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4148947,"id":"Q4148947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$DD2B6BC1-2A93-425E-B541-8044838935B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa88fa4bc73a806971af91313862449fcfadd","datavalue":{"value":{"entity-type":"item","numeric-id":1062447,"id":"Q1062447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$417B1D43-F918-4951-81C9-AF0EC3F2BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f9f8f9c614843616bbd45e8a918427a2032998","datavalue":{"value":{"entity-type":"item","numeric-id":5953247,"id":"Q5953247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$5EA85965-2A97-43A0-8C22-A587748F4C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdab89345d2d8d06db1a7b6b5f53a8d1e8eab94","datavalue":{"value":{"entity-type":"item","numeric-id":1824686,"id":"Q1824686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$75185DDE-34FB-4D65-BBC3-95BBF3C7E847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe8b3db045c3af5bd936077fb2e74b1125b562","datavalue":{"value":{"entity-type":"item","numeric-id":4443440,"id":"Q4443440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$95760C34-F551-4898-B44F-EA6E308DE507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc837eee8f93fdb91ea5f00371b40898af70007a","datavalue":{"value":{"entity-type":"item","numeric-id":5176436,"id":"Q5176436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086393$A828D2CE-7BE2-4D07-9C3A-6D1F27866610","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d825e1fc9ac4e4fa3417ec1ae68f6dddc69c8783","datavalue":{"value":"10.4171/8ECM/39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086393$9C7A1FB7-483A-484C-9273-941A2B0D2931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6086393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6086393"}}}}}