{"entities":{"Q4835619":{"pageid":6865199,"ns":120,"title":"Item:Q4835619","lastrevid":46384236,"modified":"2025-12-24T16:36:05Z","type":"item","id":"Q4835619","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761284"}},"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":"Q4835619$752CE927-2082-4F65-97A4-B3214231952E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96dac5a8a17ea4a8ea40fff9566f22bf1c13cffe","datavalue":{"value":"0919.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835619$3BA97064-8CC5-460D-AE00-AD92F1C9214A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c21980e0dc5f1ec323feae4d70ec206146ed62","datavalue":{"value":{"entity-type":"item","numeric-id":756434,"id":"Q756434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835619$9B0D8681-695A-441A-BDA8-A991B3E40749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835619$9CC46CB1-A4EA-42E1-AA18-3BE9236330FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835619$FBE88E49-82A5-4C86-B45A-C9558DF63ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-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":"Q4835619$3AD7D45F-2B26-482A-AA74-3DBDD106C519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835619$E10B52B1-15BC-498B-B2FD-F6819C177614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835619$747956D8-0B54-4DAB-877C-D35A07202A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835619$1A2FAF9A-5430-4AD2-A8C9-F5AEE4C97936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ba31a509d42bed080716a345b1f33146cc6204","datavalue":{"value":"761284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835619$01E8B289-17D8-4C60-A3DF-4E97E40952CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e836154f2441e63688c3561fc296fc4fee0262f5","datavalue":{"value":"type inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835619$BA652F40-C58F-42D7-9161-F1A7B520FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835619$D27B6398-81FB-4A60-878C-987DD5471101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835619$A886BC7B-832D-4256-ADA7-C5E2D75A5C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec6e97ca142f6a4a9c2777580c35f5250090888","datavalue":{"value":"parallel reduction of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835619$BA4F33B6-12C5-4827-A5E8-4CD71DCE2012","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":"Q4835619$63B16008-4B31-4271-8894-B62EBE69CF24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a35fa712e613c88f38c86dff18b280105eb81c2","datavalue":{"value":{"entity-type":"item","numeric-id":1319505,"id":"Q1319505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b6df16936c29549349191e41b256452ad971a8","datavalue":{"value":{"amount":"+0.9113898277282716","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":"Q4835619$D38B7BAD-637B-4A1A-8445-E3901D6B827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc25fefc8dfd6caea47d7598a04e6b55f8e4f186","datavalue":{"value":{"amount":"+0.8340054750442505","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":"Q4835619$0C068060-B288-4331-92F1-E66821629276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785cc82ffac751e3a1c1c2803a4165882f4fcd76","datavalue":{"value":{"amount":"+0.8096504807472229","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":"Q4835619$C845EE89-F5B4-4052-9208-F2C5AA6C2603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c820f28c065b4344fc8cd61bd85508f986ffcf","datavalue":{"value":{"amount":"+0.7987543940544128","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":"Q4835619$7B35C216-9800-4F9D-AEAF-32F11CCC9234","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4835619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4835619"}}}}}