{"entities":{"Q4942001":{"pageid":6971583,"ns":120,"title":"Item:Q4942001","lastrevid":47463703,"modified":"2026-01-01T19:53:39Z","type":"item","id":"Q4942001","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418446"}},"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":"Q4942001$D55B911E-ECBB-4947-94CD-048B4BA3E618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74cb85ac8453b3989832c650b1608bf1f0d340a9","datavalue":{"value":"0947.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942001$F577CACC-2B55-43B7-960F-51F2116BD2A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942001$6D8159BE-2B95-4EA4-B36B-5FD6F6189A58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34d8f8a2fdb2c9bbc826b2f87c09997bb61fb458","datavalue":{"value":{"time":"+2000-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4942001$7FEAB365-92D6-42C2-A785-BD50DC5166BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942001$66F14B6F-EFCB-419F-92EA-36A10D6AE765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70523d604fef5d2a87bf7914d38d1d6ae5a91d19","datavalue":{"value":"1418446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942001$A58EC905-AEA5-4A5C-8141-7BB11B216D7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942001$C5D430AC-CC05-40E4-A933-778E968B91F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5ee5e2f79cf985d540853fb45ca9da99f97582","datavalue":{"value":"modal logic \\textbf{K}","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942001$AC151663-72FE-498C-B53D-10F3CD880AD4","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":"Q4942001$533FAAC4-DB0F-42C8-A4A3-9A512CFED4B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ee7a85143a03c8ab9bc1797f0afa1755e73c63","datavalue":{"value":{"entity-type":"item","numeric-id":4332417,"id":"Q4332417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271ea1f0c734a78ba48e706427663dba0f6f87d3","datavalue":{"value":{"amount":"+0.8927688002586365","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":"Q4942001$DBB4C515-2F5E-4E26-8F3B-8F64E1590C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449754d3a234dd87bda45b6de02cf9b83d4f163c","datavalue":{"value":{"entity-type":"item","numeric-id":5869599,"id":"Q5869599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36dac805c71a63d94d5c7f2f31b0e3e04aab96f8","datavalue":{"value":{"amount":"+0.8567420244216919","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":"Q4942001$E1ECDBBE-E7B6-433E-8144-63A7EEA16C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246437fcb65c45582c00d2522dbf603f3a8beadc","datavalue":{"value":{"amount":"+0.8422500491142273","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":"Q4942001$C4ACD8B9-0CCE-4146-AD67-8F60099D189F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f999aa51a14a76c278d3aa7291ee8ddea4148e2","datavalue":{"value":{"entity-type":"item","numeric-id":3717022,"id":"Q3717022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd78036d9a230b5e4ed23f1a9e12099ada3045e","datavalue":{"value":{"amount":"+0.8354343175888062","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":"Q4942001$6EB3AFEB-A0C7-4AAB-908F-68BBA88B9B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e592ef13034ebff461a77cc85aaab478125f6694","datavalue":{"value":{"entity-type":"item","numeric-id":4291028,"id":"Q4291028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d5ae0c4ed013b4825b142fa051df1f778c57db","datavalue":{"value":{"amount":"+0.8290436863899231","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":"Q4942001$80D73F0E-5C1B-4C80-8ED1-E031F6D8EC47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4942001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4942001"}}}}}