{"entities":{"Q4246973":{"pageid":6276574,"ns":120,"title":"Item:Q4246973","lastrevid":46833597,"modified":"2025-12-25T16:45:54Z","type":"item","id":"Q4246973","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301758"}},"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":"Q4246973$8ECDA7F3-FDFE-4D97-B428-94DEE7FDD237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5059eae7d0ec3f909fcc4861dd62c7e50d6debf7","datavalue":{"value":"0928.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246973$956046B1-0E84-416C-A4A5-0F76742129A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246973$E9CF66BB-9943-4F87-8926-B1A764AD94EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246973$7106F937-B98C-45C6-A20F-5F2CFDE1C973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246973$6BB6D357-8883-49CA-9FA4-E239CBB9AD68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246973$393A50B5-C73C-4281-9EBA-2DB43D105A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246973$43B19B2E-7E92-460B-A170-1604D480AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246973$F329F630-6A63-458B-AA02-DFAA38DACAB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd1252c78397796a2448e6fff9185a631e5b9b5e","datavalue":{"value":"1301758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246973$2F350581-5ABE-4218-925D-D495246ADFB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$8C2A87A3-BD2A-43EC-B65F-18323743E059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$D86B6304-AE36-46B4-A71D-E048F311B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$DB637153-2FD3-441A-84C8-BA37B78062B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$30CEC44D-C423-40BB-AFA3-9D6882BEFC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$11CB1AF8-C844-49C7-BC2B-B5926779B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba986c2fe313231db27e3e0d424a69a960d8bad","datavalue":{"value":"Isabelle theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$A9FF0A72-F148-4F16-9C94-6D7790CF462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a064463222c2f722ab4d0e9bdb5473ba89649d","datavalue":{"value":"interactive proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$3DA0CC03-2EA6-47E3-943C-1EB01A8DBEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$730CE3D9-53BF-45D2-A2D7-068D8C7D28EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6da749c35363ad005908003ce494c7f597cb139","datavalue":{"value":"automatic cut-elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246973$4FA4D8CE-A1F2-45B0-99FE-F7FBE55A6C0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246973$39381FD9-1A99-4660-8161-17AB028F225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246973$8486C631-FF7F-4D90-96F4-DD6097E5E7E4","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":"Q4246973$4ECB118E-0DC4-446A-85E9-DCB326C69A07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4243d97e0a8017982b8094990ee6233d892c66","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57ca5c4be4967b2072a47b3757a3eaf1f909d28","datavalue":{"value":{"amount":"+0.8313601016998291","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":"Q4246973$B45301C3-A329-4109-91BD-7155D3543A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c8b70769ed794d8b48d98bf4ed74e99fce7476","datavalue":{"value":{"entity-type":"item","numeric-id":4362918,"id":"Q4362918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5db42410cfbd14ade5f6b0a83cca7ff4ab15e","datavalue":{"value":{"amount":"+0.8236117362976074","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":"Q4246973$6BA88093-3BE6-4B10-B8C4-88956A49DD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8abfd7d163f725b618c6a170aecf3337c560d3c","datavalue":{"value":{"entity-type":"item","numeric-id":5234720,"id":"Q5234720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e9cb8ef5ac4695faa556a049ecd0a282a55bca","datavalue":{"value":{"amount":"+0.8067455291748047","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":"Q4246973$7C7F9FC6-338E-4F4E-BAB5-2BC87237FDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446af417b1165c073a34fdc7f7ff570c7db50f05","datavalue":{"value":{"entity-type":"item","numeric-id":2843910,"id":"Q2843910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfdffdaa0afd51029862ee0055461bcd336af14","datavalue":{"value":{"amount":"+0.7812609672546387","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":"Q4246973$2629BFBD-B08F-4989-B19E-1473C3EE0B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9fb8da89fc8945e87f77b8b155ef5b03f5030","datavalue":{"value":{"entity-type":"item","numeric-id":4329274,"id":"Q4329274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceced785f3808eabb65a61a7c768cebbfbc4d8a2","datavalue":{"value":{"amount":"+0.7741842269897461","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":"Q4246973$EEC0917E-AA4A-4ADB-BB3C-E579ECBE2558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246973"}}}}}