{"entities":{"Q4546687":{"pageid":6576279,"ns":120,"title":"Item:Q4546687","lastrevid":47966518,"modified":"2026-01-03T05:16:29Z","type":"item","id":"Q4546687","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784980"}},"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":"Q4546687$0A8E9809-03F0-4E59-BEBC-BC6CA68DD7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd75cf3b07c2209e645689e2d7c44d85783be71","datavalue":{"value":"1002.91002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546687$49E733FE-B8E9-4E4B-A36A-0D1A183B00EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a748a14ad6515faa3843de1ef6849cab9f42b192","datavalue":{"value":{"entity-type":"item","numeric-id":235387,"id":"Q235387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546687$6382CCF0-7D4E-45D3-8AF7-E378F23273FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-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":"Q4546687$0FAC3C5B-431A-43E4-AE3E-ABB515EAEAEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62618968d697f5e5d539ac855cf7c275fff235f","datavalue":{"value":"91A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546687$FCBB3963-E25E-480C-80AE-8CF6425E13F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546687$BADFDC3E-400B-44C3-8C8C-0683C06328DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"730e922e10c5816f4a640a130d9e1356cacf109a","datavalue":{"value":"1784980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546687$51F28BFA-634A-4162-9F25-49F21615B8F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379f098984df0d548631bf78fa146116d1003d5f","datavalue":{"value":"Hex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546687$9D5862B1-56D0-4669-A547-598B5EF02DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a829184ffb79aae7601c15b62aebc8bfc1848f5","datavalue":{"value":"game programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546687$09403D3B-D295-4C12-B1FA-086EBF94893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546687$CF5CEBF7-66B2-43D0-AF0E-1EB1E9386B43","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":"Q4546687$45B924C9-F1D7-48A2-8DD7-2FF2A44EB0F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b8db8e532cf384ae06d5549ab556bc5eb18581","datavalue":{"value":{"entity-type":"item","numeric-id":5958203,"id":"Q5958203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189fa054519d9ff331ec8d4a7ddce56d5d2377f2","datavalue":{"value":{"amount":"+0.9999996423721312","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":"Q4546687$BC9F2A0D-CBAA-47E7-A19A-F0EF740C526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b69b1fba1da8e9d75578136bb95464dcb1c62cd","datavalue":{"value":{"entity-type":"item","numeric-id":4407700,"id":"Q4407700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6fb77f508b40f2dae23d2abb4098edfa455150","datavalue":{"value":{"amount":"+0.939399242401123","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":"Q4546687$EDBCB477-B37A-4576-ACA0-D4E4AB770D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80b5148fe35d4d7b4444dea1481851f959ce6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2947907,"id":"Q2947907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d0dc101d172caffe61a9eb5ee6c7131048bb1d","datavalue":{"value":{"amount":"+0.7661226391792297","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":"Q4546687$830A1F17-D75D-4B94-96F8-486BB7A69C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b77fb0126703c6c0f07b7a92b12f63476b7e68","datavalue":{"value":{"entity-type":"item","numeric-id":3073722,"id":"Q3073722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f284b7753a3d6c989b1e772c9ae5dc9be3fcae","datavalue":{"value":{"amount":"+0.7554295063018799","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":"Q4546687$5AD768AF-C3F8-46AB-98AA-55C0DD3E9991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e957b914c6beed099f1e5f51b114d92ec283e2a6","datavalue":{"value":{"entity-type":"item","numeric-id":817784,"id":"Q817784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5edf25a9cb016d2e563216be51ec9fc88dc1797","datavalue":{"value":{"amount":"+0.7463735938072205","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":"Q4546687$835012B5-1EA9-4329-BC36-C34DCF0105C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4546687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4546687"}}}}}