{"entities":{"Q3312200":{"pageid":3322908,"ns":120,"title":"Item:Q3312200","lastrevid":48670183,"modified":"2026-01-05T13:49:21Z","type":"item","id":"Q3312200","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841820"}},"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":"Q3312200$99742B17-B018-4B90-A3A7-9A6994D8525F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb42b89a442c1f72080b2a7718e4fb7566764b3","datavalue":{"value":"0531.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312200$E1553112-CC56-4804-8BE8-D3284C9D301C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f04b37902acd77315122554ed30675ae250b39","datavalue":{"value":{"entity-type":"item","numeric-id":581210,"id":"Q581210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3312200$05BC3EA5-62A4-433A-A10D-82B286F68D35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3312200$93FB5DB1-D680-4158-9922-3B9C5C8E5767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312200$44170238-B18D-4757-A4A1-3B689481FC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312200$9B288F0B-9B26-4837-8FFB-7DE6EE6BE543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312200$7DD5BA13-274B-489F-B73A-C864C3942050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4303e2b959a7a9e1b13be72c0b25e4519151a1","datavalue":{"value":"3841820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312200$E0FD39A2-9774-42EE-8A0B-883A7F4180ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312200$60E3A4E5-45BA-4278-A518-496F3C8A5156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"889c801c02e02cf4995ed21781d170ec3f3e743e","datavalue":{"value":"theorem-proving algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312200$8F29AF3D-F7E2-4F6F-9E44-015BAE17B1F8","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":"Q3312200$A3FB97BE-8B79-4D2B-AF1D-3F2543FFC257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3043cd433478ad1d7add4285158463210e65779","datavalue":{"value":{"amount":"+0.822087287902832","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":"Q3312200$11C77630-CFE0-484C-BBC5-BBDF85ECCEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2094e01b8b53c92fbe87d7946352f28803c95","datavalue":{"value":{"entity-type":"item","numeric-id":4385349,"id":"Q4385349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c467015793775741c1d1798909f317ba7026a3","datavalue":{"value":{"amount":"+0.8051519989967346","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":"Q3312200$FD4EC35C-031C-4B6A-8A41-EB6468C5E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922239a78a1b9d71aa25b7400410069db956416c","datavalue":{"value":{"amount":"+0.796730101108551","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":"Q3312200$EF03363C-C293-46FC-8C71-6C6CC67C406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab973b8d5ba960320d1a0ab12864aa84fcb9047b","datavalue":{"value":{"entity-type":"item","numeric-id":2350219,"id":"Q2350219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613770c25e2cb241e49733e27d78b7a3e7db7886","datavalue":{"value":{"amount":"+0.793006956577301","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":"Q3312200$3E2D691D-C082-4919-B7DC-8F0A16C4DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf250ba51353252b0b2ae869bffda4f28f868cd6","datavalue":{"value":{"entity-type":"item","numeric-id":857668,"id":"Q857668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1b96f7b88e21a139e9af6337cd35614ff1a590","datavalue":{"value":{"amount":"+0.7808993458747864","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":"Q3312200$8B11D1E1-A047-40A2-A1B0-722B50632CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3312200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3312200"}}}}}