{"entities":{"Q4376057":{"pageid":6405656,"ns":120,"title":"Item:Q4376057","lastrevid":46997811,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376057","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114340"}},"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":"Q4376057$3AB06C18-023A-4D14-8DCB-42F25E5A77E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e017575fc979a3fc137db8f975fcb4e40d7a7412","datavalue":{"value":"0888.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376057$F38EB0B3-EDFF-4F3C-9FF4-E0FB5D399549","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0945be59467e332804dbbfa87487f2b5f7412c0b","datavalue":{"value":{"time":"+1998-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376057$E9235E00-A64C-4706-88CD-C0E9A2C072CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376057$FCFBAD7E-1397-4B0A-B268-ED9B547279FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376057$CD54EF27-7EFD-448C-A58C-B676DE2BFDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376057$412C9690-ED91-4716-8B8D-5F0867ED56D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77fdb44867930e2024dd622a6b7becb1ae75cbd","datavalue":{"value":"1114340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376057$0CE4597B-11A7-4357-8C25-4EF1CC839B87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376057$4456F375-83E9-4642-B874-B2CA29F62F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007412f64650e1d7e37a2367ecf52b1ab7f6f347","datavalue":{"value":"axiomatic description for functional proof predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376057$B16BB1E3-46BE-4E5A-90E0-E3BBCD3C3361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376057$75061D2D-03C8-4E47-808E-B9EC7EEA015B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376057$20DE2DCE-81A9-4ECF-A788-236947F1ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376057$27519163-62F8-49FE-B2BA-509DE29E30D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376057$8DB7857F-34CC-4229-ADD0-233C6D1D2976","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":"Q4376057$BD9A7D0E-01BB-4E1B-914A-9F084B633608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39441786c1ae01033265d3200174c0370193a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4257091,"id":"Q4257091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f257712d328feef83c32b06fb1251ba0f97e041","datavalue":{"value":{"amount":"+0.8236680626869202","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":"Q4376057$4F81A800-3C97-48D4-90B9-0FD1B2978129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cb8f02b8efe6e60196d99a4ea3566af199e94","datavalue":{"value":{"entity-type":"item","numeric-id":4376078,"id":"Q4376078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9117afaa097dfac745896ac11ed17c870ed739","datavalue":{"value":{"amount":"+0.8233973979949951","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":"Q4376057$74D2C8C9-8172-4471-8DF0-BAE7D22E0319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07999d5e24295831b47c8f9d0a34a9480ab29f8d","datavalue":{"value":{"amount":"+0.8058198690414429","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":"Q4376057$876B327E-8EBA-46EF-B032-1EA5CF81D7C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376057"}}}}}