{"entities":{"Q5283968":{"pageid":7313542,"ns":120,"title":"Item:Q5283968","lastrevid":40801100,"modified":"2025-04-04T18:20:51Z","type":"item","id":"Q5283968","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 975278"}},"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":"Q5283968$6327E1EA-EE87-401C-BFA1-3A9831C2A937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d647f56b66944ada61c5e92018496ef432919e3d","datavalue":{"value":"0861.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283968$D0E3EFD8-3677-4925-9AB6-095166661365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283968$CF014384-7D0E-492A-9B5D-6853B293A752","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae9aaa534980015221c1d39c9156b650100119fc","datavalue":{"value":{"time":"+1997-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283968$DF35B977-D742-4088-90D2-8433303191BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283968$D4331881-6A8B-4D65-8A5D-6C646AFE9FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283968$0FB018D5-5605-4FD1-98F1-ED1495533B95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c8dadac8b77d7e4b81c10eb021d46d5b765abc8","datavalue":{"value":"975278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283968$55E94BF2-0A1F-49C0-B28B-E6F15572C30E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c357c88d0b62183becdac5ea1df0269bec6adbe3","datavalue":{"value":"double sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283968$923FC4A9-E039-4314-B730-285CBE15DEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3dfdde5efea37db82c2a463a26b230d2ff0732","datavalue":{"value":"nonstandard cut-free Gentzen formalization for S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283968$DAE73A9C-FB9F-483F-8D44-1CB06CD73B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283968$5A2E0EF2-1C12-4CA8-99B1-20E1BFF01D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9394a2d06a0f244a59f59741909b8a5e0692ad7","datavalue":{"value":"automated proof-search procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283968$9896DA17-C676-4F39-8CE2-3ABA73A22CDA","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":"Q5283968$75FE49C4-D594-459C-ADDA-AC18D9F3BE2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7051288014263ab7e27ee69689e8865a31e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44aa02c4f08a5c9a6f230e4122d281b0260aeb4","datavalue":{"value":{"amount":"+0.9679412","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":"Q5283968$87E2A7EC-33CD-4A98-B4F1-0EF97EF0021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885ed8c1c7a9c022e6f72b520c2382aee4f69637","datavalue":{"value":{"amount":"+0.9571832","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":"Q5283968$55226715-656B-4B75-9F00-69DA39D6C73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8520a0b8b9a07430a1ecd04c9d7a07004990232","datavalue":{"value":{"amount":"+0.9335946","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":"Q5283968$FF2989D1-9529-4296-A109-24AF29EAE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f063935bd13c664d8ad2b67dd8e5ee5bd35e5a51","datavalue":{"value":{"amount":"+0.91775095","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":"Q5283968$3A566E0A-3FBB-4377-9431-0E977FE83EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14fcd4eabf80fbe08a403e5882bd3fe1348fdfb","datavalue":{"value":{"entity-type":"item","numeric-id":4591503,"id":"Q4591503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bd6d169f834ead11fced163f6c3dd1071c3850","datavalue":{"value":{"amount":"+0.8984157","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":"Q5283968$57007A2E-422D-410F-9B42-4C2698557EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b39eabda22a0363cf20602cc24b00c9409a166","datavalue":{"value":{"amount":"+0.89717484","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":"Q5283968$69C46BF8-B47A-494D-9868-FB4A5CB62795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e0d17050f52afbcebc05fb6e2dc95eec60aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3656762,"id":"Q3656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26adb33bf647264ea2129b99e4a1dce3604d9e85","datavalue":{"value":{"amount":"+0.88667107","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":"Q5283968$07FE7E61-9396-4279-8414-32CE14251E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d462f9fb65bb3d1ce0eff7e467c6a5f1a288dbee","datavalue":{"value":{"amount":"+0.882941","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":"Q5283968$AB01F053-06AF-4978-A4FC-BA7F76BB1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d82b41fb23ba7cde579a858cbff7a27db2be37","datavalue":{"value":{"entity-type":"item","numeric-id":3387898,"id":"Q3387898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb87deef0d38a3d2f3b53c305b4e18cb8728286","datavalue":{"value":{"amount":"+0.8789863","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":"Q5283968$01E9A64D-BAFA-4C18-B2F0-2B41B28AFBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2baa7c7ad40117d267bafbe7e27278434374f9","datavalue":{"value":{"amount":"+0.8779267","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":"Q5283968$810D0DF5-B06C-4430-BC86-F3B8289FB3DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283968"}}}}}