{"entities":{"Q3193031":{"pageid":3203739,"ns":120,"title":"Item:Q3193031","lastrevid":58138818,"modified":"2026-04-03T23:26:48Z","type":"item","id":"Q3193031","labels":{"en":{"language":"en","value":"Fingerprint databases for theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6494354"}},"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":"Q3193031$5D04C949-F775-4439-B1B3-E26BF3523F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08871436a3dae7d5dcec44bfa362bda3a5b5a200","datavalue":{"value":{"text":"Fingerprint Databases for Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3193031$F72E7415-A7E6-43C7-8A69-7D493D609910","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9fce2bfce4e2af5074f8be32eab3f3b2630d0dc","datavalue":{"value":"1322.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$19BCBC8C-00C9-41ED-97C4-2F15241DCC21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c052c872e809ea380c88f32196ad2065c4b092fa","datavalue":{"value":{"entity-type":"item","numeric-id":186243,"id":"Q186243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$E80AA896-4FCC-47F9-BDC1-A3EBA9F9C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9a87514364b0e7ae9605f4b3f2802134d3ae4b","datavalue":{"value":{"entity-type":"item","numeric-id":376557,"id":"Q376557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$C1EB47EA-561C-48D6-98E2-213140435411","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdae145ecfb71d226d6b4bd74c06a5b992e49347","datavalue":{"value":{"entity-type":"item","numeric-id":2813083,"id":"Q2813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$066EE0BF-4DC8-42BE-92F5-1E6C5129FFCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6da9e42eaa58730e2d307270239a6044be72e45","datavalue":{"value":{"time":"+2015-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3193031$E06B0610-3591-4EF2-92DA-DAE200ABACE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8db1e02d3000d7215fd874937d638818e004b69","datavalue":{"value":"https://arxiv.org/abs/1304.3866","type":"string"},"datatype":"url"},"type":"statement","id":"Q3193031$D523C23A-1348-4AAB-84DD-6A4462C64425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$C952CD0B-3EEC-4FE9-B081-1461173D4C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$A8D645AB-F46B-44EE-87C0-E77492AD8C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d40bcd9831f62f9b56bc74d4d9eb9a911c4718c","datavalue":{"value":"6494354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$F834E25A-6E42-42D3-876C-998E634C0577","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$8420D5EF-3FF3-475D-B153-03CB1E8540B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b22c6abe6ed4238a6a7d8bf6dc33a719e55fdd9e","datavalue":{"value":{"entity-type":"item","numeric-id":25501,"id":"Q25501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$B468462F-2BA5-443E-A89F-79785CBBB47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"206676fdc2a219b1f9b556705cc886d1b693d97c","datavalue":{"value":{"entity-type":"item","numeric-id":25502,"id":"Q25502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$D20A6C00-DE00-4B45-B5DC-A5FFF276A2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bd4369a99a9815f5bdd742b33b3bf73ce8bb9b1","datavalue":{"value":{"entity-type":"item","numeric-id":25498,"id":"Q25498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3193031$0DE1EE38-A762-4269-A92C-0DE619B37D6F","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":"Q3193031$2454B5D9-D182-4C46-97A1-431C75FC91FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b98c0f838430f9e9c1de3a5c772a0296e9285f4","datavalue":{"value":"W2962959994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$F31073BD-EEAC-4B08-BD57-C07EECCB9C0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f36af5b4ab1858b281a0e3ab6ce5abf989869ed6","datavalue":{"value":"Q56288601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$087C99EF-9095-4D20-9985-02D947FCC526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"301dfde26c27f390ff40d1d9b64448ed16292232","datavalue":{"value":"10.1090/NOTI1029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3193031$31C6ED46-F815-40C2-953A-FCC3BDE372F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b4145f295bd843a1ec5adfd59bfd632a84bcf4","datavalue":{"value":{"entity-type":"item","numeric-id":1662198,"id":"Q1662198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6fa7753109d659d41a96db61d96f90fdcc3fb1","datavalue":{"value":{"amount":"+0.7357494831085205","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":"Q3193031$BA0D6A5E-DEAF-44C6-BB1B-87ACEE6B6A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0884fa0db90f2914b9e4a761bcf8f1e6b328b840","datavalue":{"value":{"entity-type":"item","numeric-id":5294193,"id":"Q5294193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4b2b197a604a454153f588931902dace71fc1e","datavalue":{"value":{"amount":"+0.7288182377815247","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":"Q3193031$FC766D0B-98CC-4D52-A9A8-D167DB9F80BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8790881f2c04261f6b39df4cde2d0b9a066cf","datavalue":{"value":{"entity-type":"item","numeric-id":2306449,"id":"Q2306449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff800ddf8a8bde608d532a6e47c6e116d30060f","datavalue":{"value":{"amount":"+0.6956136226654053","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":"Q3193031$A8CDCB90-C4EC-4EFD-B5E8-B9C98E1382A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1e330e12f7a16e4ed9810f8eab16beedf972bc","datavalue":{"value":{"entity-type":"item","numeric-id":5313065,"id":"Q5313065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf49ced4148073694b6e493482a3f7f677aa5ebf","datavalue":{"value":{"amount":"+0.6752281188964844","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":"Q3193031$6C804EA6-65CE-40EC-9C20-6474EE628C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fe46b77748c3541e705c15918ac6a43e18949b","datavalue":{"value":{"entity-type":"item","numeric-id":634502,"id":"Q634502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac28375d3361e2d6bfed16fb80ce89c093ddc79","datavalue":{"value":{"amount":"+0.6714516282081604","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":"Q3193031$62111A42-2248-4E34-B824-5EE956789BBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3193031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3193031"}}}}}