{"entities":{"Q4263489":{"pageid":6293090,"ns":120,"title":"Item:Q4263489","lastrevid":39873026,"modified":"2025-01-27T19:54:30Z","type":"item","id":"Q4263489","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341927"}},"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":"Q4263489$18F5AC1C-10AF-4D23-A38B-0AB638059950","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"793af245ca842c03ab3b2c500d7e571768b30aae","datavalue":{"value":"0933.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263489$472647D5-36D2-42B8-B3EB-B6703716DC12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33806c8c2ba8f7b230d4619aa4a9edf120b16817","datavalue":{"value":{"time":"+1999-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263489$A2DFC249-9BCA-4CA1-BF4A-DBFB46E583AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263489$130BC967-164C-414D-B917-DB7DF3C57A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263489$1B1EEC22-E57E-4C04-80DB-A234FA27954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263489$28967E3E-9098-4D3E-A3BE-069681C2F818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b846cf2a8316df97105311cff04ce58e5c2fdf9","datavalue":{"value":"1341927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263489$44DE1126-CD09-4FD0-8B3E-8FC5FB634468","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$968F0CD1-BEDB-441C-81AB-7144F4474570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b9308c61941b31d7cc7a6dab37e77d031bea59","datavalue":{"value":"recursively enumerable first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$E5DF42D0-5024-4DFC-92B6-C5EDDCB48244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$10325794-75FC-4953-90F5-D6FB0FBC76F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058911dc16a76e2fd3bbcb1b69e92dcb3504a366","datavalue":{"value":"propositional provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$7D8D4F61-152F-4435-B782-28465F1A611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9311c63aa6e08893482eccc51d2f12f78c311cd","datavalue":{"value":"truth provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$97BCF86D-EC10-47C0-82B4-F34F8569DCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e60a25e0b382ce6c08289459559aa1a0708f76","datavalue":{"value":"arithmetical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$1AB58606-DCE3-4507-9CAC-C75B2412F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$0A39EA86-51B5-43B5-95A9-5C0CF5D4FDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263489$954FD570-6EFF-4A1C-B397-9AA5E035A211","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263489$028580B5-FA95-44BF-B81E-EAC15F2CE0CF","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":"Q4263489$EA5A7856-75F4-4D9A-B565-A12958CD021B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783ae87c62ce63400915c960c23dafe98af84a3a","datavalue":{"value":{"amount":"+0.82156533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$121ACA5B-8EEB-40EE-9027-5FFBAF5C9334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cc15911e2e7efa373b4f4d438a47a37ad10a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3201044,"id":"Q3201044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00105170f57c4f5f1640b95a83fc7c8d741c877","datavalue":{"value":{"amount":"+0.81452966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$24A8A8C1-193A-4E52-95A4-3CE72D954C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358ae4f0a526c674fc95bdebe5d97060ee3ba2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3816054,"id":"Q3816054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd5d1fbb4869af3e027da3021e3cc107ecff039","datavalue":{"value":{"amount":"+0.7914462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$3850BCA7-CBCC-43B1-BA39-9206CBC1E542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ecb27bd52aa703d70efdb2b4fc0b14f541e7222","datavalue":{"value":{"amount":"+0.7891993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$9B573C4E-3B08-4E13-9F40-D30B50DB87B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679002b345b3de364acb69dbc537cfcfd32870d0","datavalue":{"value":{"amount":"+0.78879714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$A4B04F4B-D527-4422-ADE5-92B87D37B4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35de4073df3cdccefe1bb3ffe40aa15e01e6c01","datavalue":{"value":{"amount":"+0.7865912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$6812A9C1-1EFF-4212-AE0A-D966C130B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886c8648732f14962e3c19b45df80d76df856daf","datavalue":{"value":{"amount":"+0.7793758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$1AD87A9F-C20C-4A18-B9DC-EA699F5AE788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2639a710367c08481af01998444babc8c04afd6","datavalue":{"value":{"amount":"+0.7786771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$D4C35A6C-1C6B-42EE-A14F-A5857C51E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a20a7f483d342596688fe7bc472c0ca9dae613","datavalue":{"value":{"amount":"+0.7780236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$1B393D40-6811-4B42-8899-4067DB9B0CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bb06fe855bce19479d9b431caa37291ef90a74","datavalue":{"value":{"entity-type":"item","numeric-id":3757914,"id":"Q3757914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133e933962a93b4271f9bcd4ffadf13a40e10ce7","datavalue":{"value":{"amount":"+0.7779257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263489$CAA1BB26-267E-42EE-8959-981D2FF71013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263489"}}}}}