{"entities":{"Q3032253":{"pageid":3042969,"ns":120,"title":"Item:Q3032253","lastrevid":49342162,"modified":"2026-01-07T00:09:25Z","type":"item","id":"Q3032253","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130378"}},"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":"Q3032253$1139E0DD-9F5D-4597-B09C-0D8328BBD0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"987a0cb9c687e1a2d9390a330130a643fb57c625","datavalue":{"value":"0691.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032253$F86332D7-99B3-477E-A69D-0280D2DC7E1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e836e6a68e09c01aded6f58e26ea39930b5c8870","datavalue":{"value":{"entity-type":"item","numeric-id":689205,"id":"Q689205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032253$856FEA65-DDE0-4924-A3F6-A20341E86ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3032253$328EC38F-C74F-45F3-BA76-D4B9021441B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032253$E3C7548F-3980-4956-8FFB-B568FCC058F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032253$3D7F7646-AE51-42C8-B41E-853E52447DA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c4715b956144f8f81f6911f51e78c9f96a5b64","datavalue":{"value":"4130378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032253$514EB801-7524-450E-8122-45D2BC47058C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0032761501066afc61404f4ba5e569705c5b1d38","datavalue":{"value":"derivation-determined interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$54A948EC-46F6-4A88-8A8C-7C517AB13E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$A07EE5E5-2E76-4D79-98DD-05337F32756B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$21CFEAF7-E540-4C42-995F-8BBEE93B3C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c9fbc121b0063cef4a4ee3f645afb1d8f40b10","datavalue":{"value":"finite reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$F8C7E655-9CC4-477F-919F-9AB0F6716143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$0F910E5B-C50E-4989-BB73-02BB4C8C1CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358a089dbca8e4b2287a34a8dff4c68c433c9f00","datavalue":{"value":"normal derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$33FCDBEF-28C1-4E8D-90C9-A5845C080431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b35726b52b82aea95632247aaed1d5df3669a66","datavalue":{"value":"Gentzen sequent system of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032253$50E1DFCB-CD17-4AA9-B1DA-2E0892709870","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":"Q3032253$27969C39-A69F-41CD-B082-494B662ABB53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398c42214b50e5803e642110332503a7f32c8f1b","datavalue":{"value":{"entity-type":"item","numeric-id":904154,"id":"Q904154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474198f365b0eecfed1566c38dcef8c460a3e4b6","datavalue":{"value":{"amount":"+0.7435039281845093","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":"Q3032253$391E31F0-5BB5-4606-B310-2ED9613045F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ba5a817d9900d7d99ac4e47495a9e4348f85fe","datavalue":{"value":{"entity-type":"item","numeric-id":935025,"id":"Q935025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94486f804fe778f2bc6f0e958491d8d6b1b69d9d","datavalue":{"value":{"amount":"+0.7322362661361694","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":"Q3032253$42ABA803-8FE0-46A4-8226-DE3E0855191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb09d968e285c6ab3f7561e691511e48aca880f","datavalue":{"value":{"entity-type":"item","numeric-id":3653149,"id":"Q3653149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bef0e4de0847891943f26c8bf27de5d46fd84d1","datavalue":{"value":{"amount":"+0.714637279510498","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":"Q3032253$6061DB31-0A65-40E3-BCEF-FB7F39261358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc3aae2743addd6a624b4c4d7f60b2d7245b66c","datavalue":{"value":{"entity-type":"item","numeric-id":3760500,"id":"Q3760500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8549d2445da03fcc7d6a2fbcdd464192dce36e7","datavalue":{"value":{"amount":"+0.6996520161628723","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":"Q3032253$0D1E859B-14EF-4389-A887-B98BFFF6390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7168d0e438a80888de0bc6169b0acc0c92278ada","datavalue":{"value":{"entity-type":"item","numeric-id":4890395,"id":"Q4890395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93793dc260544ce7872d5507e00407d1a4896daa","datavalue":{"value":{"amount":"+0.6970688104629517","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":"Q3032253$C2CDD874-3127-4C7C-AA74-72D1CD0DA07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032253"}}}}}