{"entities":{"Q4501162":{"pageid":6530755,"ns":120,"title":"Item:Q4501162","lastrevid":47015148,"modified":"2025-12-26T01:28:41Z","type":"item","id":"Q4501162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1499108"}},"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":"Q4501162$68707CED-C0AB-4783-B3E6-6D74033BEBE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49a368b30b8736e9eb36331e01cb7da2caa826e5","datavalue":{"value":"0946.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501162$B0F3387D-CB81-4901-90B1-E1373E0D538E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dd6d1afa8106e4435d9f9321001a7b630b7e50d","datavalue":{"value":{"entity-type":"item","numeric-id":4376077,"id":"Q4376077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501162$BC05B163-FDF2-462E-8F00-95066AD5CD8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eacf4c507e5bfaa195367e34eb507d8ad8ab29b","datavalue":{"value":{"time":"+2000-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501162$B86FD946-FC01-4C97-A87E-F5C328E4D936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501162$3A4317A1-3081-442A-A22C-636E925CFB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501162$B611FDAC-35DF-4BB4-90B1-2EA758D8A184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a835e7c9af905883f327ca69ac05b9e8f0e448b","datavalue":{"value":"1499108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501162$BD34F3BD-3F64-4B9C-B589-EFC4D21A1E07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$7C9FDACD-D987-4445-B387-388468455446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$E6FFE7EC-EC40-4D03-8A3C-4A18241DA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$89DFBD9B-C929-47B6-8F21-23A2A2C8A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af03166f3a38a327981486f6749358a1e64a61b","datavalue":{"value":"arithmetically complete propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$83EDB963-973F-48DF-88A4-F994521666EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$DE414E42-8112-4D3D-A4DE-B3CCDF1CF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a75117f7942fddac80fee191bb28ef9e6cede3b","datavalue":{"value":"logics of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$FC057F5A-AFFA-44B2-B298-FDBFFAB7F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9b05fcbb6a19635ef3cd1aa281520a6cd17be4","datavalue":{"value":"labeled modal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$1E09CEAC-B44F-444B-840D-2A189D663AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc7c7fb3241854f92363fca77feec88f5b84528","datavalue":{"value":"proof predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501162$E7299DAC-6100-456F-B8B3-C1391042104F","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":"Q4501162$9B2DE8D9-1E80-4BCC-830E-6D988F53591F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038bd319bab251f1548b2b94bb874f01c18b574","datavalue":{"value":{"entity-type":"item","numeric-id":3827991,"id":"Q3827991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9091a7427f5f597bb8b4088005d4dfc032f03d3a","datavalue":{"value":{"amount":"+0.8513389825820923","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":"Q4501162$6160B59B-8D8E-4AE5-9812-0C152FB93BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff89666bbfc53248a3b11df19fecfad0c0cfb55","datavalue":{"value":{"amount":"+0.8355293273925781","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":"Q4501162$CC87C767-8BE9-439C-AC1B-586600C04548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d767dec74c6b4e94fdf419d7da11f540877c3de","datavalue":{"value":{"entity-type":"item","numeric-id":920973,"id":"Q920973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5181cc9315346d1f508a177b9d69b2c8d98b018","datavalue":{"value":{"amount":"+0.8328661918640137","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":"Q4501162$92CBF45B-0F7A-4481-A2A0-113F923AD0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da5f1fd13f348bd0f86d07357389257bde5cde8","datavalue":{"value":{"entity-type":"item","numeric-id":1275992,"id":"Q1275992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644ca5ccfccced00805e4f7dde342fa5becd38f4","datavalue":{"value":{"amount":"+0.8271626830101013","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":"Q4501162$58547413-B0DA-4981-8A99-A53F667DE258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501162"}}}}}