{"entities":{"Q3786477":{"pageid":5816383,"ns":120,"title":"Item:Q3786477","lastrevid":52647047,"modified":"2026-01-23T04:37:28Z","type":"item","id":"Q3786477","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049635"}},"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":"Q3786477$671020D6-869F-4483-8400-F9342D4F1402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f871ac6552acac131764a0988d1f6ef160a08f02","datavalue":{"value":"0644.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786477$B5956ECA-92F9-4D70-8728-F5F8D104D06D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3786477$D00DA5EF-992D-4B79-B436-5BC3E1677B2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786477$D47CB347-E2BC-4C5D-B421-147AF8F82A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786477$68A3DC32-A5A5-4A66-895C-369ADAF8EDEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c107aaa33b700ab6aaca3c8dd8358f6681ec3fdf","datavalue":{"value":"4049635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786477$02F08EC9-64A6-4874-AA3E-D3591A247393","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786477$D9B8E2FD-BC76-414E-9AC8-FC74648001C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351599fefb932c7d3d8d6f9d2e135dd2ed085b95","datavalue":{"value":"Solovay's modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786477$BF1B92B7-3115-4F25-8778-20EA6D3AA121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786477$9A5DEEF8-9001-4901-81D5-BE7431804540","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":"Q3786477$F0CDBA39-4CAD-43DE-972C-EC53E71A26BE","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":"Q3786477$CD5DDD57-161A-4C4C-93A2-D8DBA74C3CCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad8fe7289b42150f4d77f54217ae345d7eafed3","datavalue":{"value":{"amount":"+0.8318377137184143","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":"Q3786477$70AD7933-CCDD-4031-99BA-C8D87C03F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d1fc8028bcdbfe91e535c9e35c30ce392d1950","datavalue":{"value":{"entity-type":"item","numeric-id":4304806,"id":"Q4304806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d24ae4abbb0c5700a4d101840972d9e226295f","datavalue":{"value":{"amount":"+0.8317018747329712","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":"Q3786477$38A1B2E5-2DF4-4AA7-B045-9CA4BFEF1DE2","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":"b1310d7cfaa19178cf9c7e04b81ec453c63d8e2d","datavalue":{"value":{"amount":"+0.8243274688720703","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":"Q3786477$46FB2E65-5C51-44FF-BF54-0D9F2C80CA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbd5d4938ef6b92888241ff5bf7d43ac0ed7542","datavalue":{"value":{"amount":"+0.8098002672195435","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":"Q3786477$719D1DB8-2F35-4426-A20A-9C9C20C4ED65","rank":"normal"},{"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":"dd19cdee0be2d64b16d9c2c49384c7288eff8051","datavalue":{"value":{"amount":"+0.8093816637992859","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":"Q3786477$0A322BF4-6823-4B23-B6DA-1E07DD70420C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3786477"}}}}}