{"entities":{"Q4424651":{"pageid":6454250,"ns":120,"title":"Item:Q4424651","lastrevid":48168802,"modified":"2026-01-03T20:37:15Z","type":"item","id":"Q4424651","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1975408"}},"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":"Q4424651$36309A9E-A470-4A27-B170-7245B8A307A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e643f1523bd0a1dd8fe5932812e5a1e95ce469a3","datavalue":{"value":"1031.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424651$78AA8B20-B148-4E6D-945B-4F45F890B9D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4424651$2BC05A2E-5451-4FBF-A231-59E1E61E1EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0808894b362e7025261dce87e8403eb18495346d","datavalue":{"value":{"time":"+2004-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4424651$2D580CF0-D253-43DE-A5DE-94D9725A3FBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424651$9AEE2E26-BC1A-49B6-A178-D0F07484670A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80fb66918127e8fe63fbb8f8b6afedc1b52c3dd3","datavalue":{"value":"1975408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424651$6541E4F4-7B64-4260-B2C7-E3A5DC5851A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834a5d3aeff3e989ddbcac30f750804dc9e3013b","datavalue":{"value":"recursive enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424651$02299149-D8D3-4C7B-AE36-D506ED1543D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae56e36b372d34a6bbb0d06c988c164b7cb7022","datavalue":{"value":"modal predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424651$319802C9-D074-4C69-9F27-83415B0F6713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424651$ED5EA1D5-171A-4C13-A262-1EA24AD6F760","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":"Q4424651$EDA34658-BF38-4D8B-9AD7-1FEF782D62A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3902fc0bfb05737818adc5832877584e87dd56","datavalue":{"value":{"entity-type":"item","numeric-id":5112647,"id":"Q5112647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fe32e669a362ee91cc902dc08adfbe077f8d76","datavalue":{"value":{"amount":"+0.8636146187782288","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":"Q4424651$46CB6939-3711-4027-A52E-45017E059D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cf40fd9436b0960960d1abd8ab77313df5aef4","datavalue":{"value":{"entity-type":"item","numeric-id":5224585,"id":"Q5224585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb96446535b7634730fe3aec6446cc8c90d2846","datavalue":{"value":{"amount":"+0.7813321948051453","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":"Q4424651$E807D7DD-34E9-48E9-8935-5D55763C7DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce867ed13b67c1ca6ddbed4c1b33d306c4541ff","datavalue":{"value":{"entity-type":"item","numeric-id":1072542,"id":"Q1072542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff41239a02a5e7f0ed35a05853ebc4d5c484610","datavalue":{"value":{"amount":"+0.7764580845832825","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":"Q4424651$2F398E66-0DBC-4E52-803A-0816943BD92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a842d9fe88269b9a5504b0b0e7b45d152407c4","datavalue":{"value":{"entity-type":"item","numeric-id":5718669,"id":"Q5718669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feedadbf389d29a2c1aa9b92969530e0cfd50fb5","datavalue":{"value":{"amount":"+0.7702659964561462","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":"Q4424651$76E20D3D-643F-4891-A029-85196CC05A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9feb396933e46614b940e836b6f4ea99f7f99865","datavalue":{"value":{"amount":"+0.7702561616897583","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":"Q4424651$63F12850-7E67-48E7-9669-072019B12FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4424651","badges":[]}}}}}