{"entities":{"Q3032225":{"pageid":3042941,"ns":120,"title":"Item:Q3032225","lastrevid":49341583,"modified":"2026-01-07T00:06:37Z","type":"item","id":"Q3032225","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130339"}},"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":"Q3032225$362E3234-C04B-443E-A2B6-10114D38D3BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71e074b569737fb45c5cba09f68601e1a0556634","datavalue":{"value":"0691.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$F16CB610-E78E-482A-8AD5-98CD5DCFEF78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032225$73D75FA4-2B2A-4703-9085-B607858E7BCD","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":"Q3032225$C7B3D42E-3A2B-4203-AEAE-B7B3BBEE7C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$83CB48B8-6FF2-4472-BEED-0B90E61D5936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$A92A5D33-B5D8-4A61-87DB-389B13717381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$F5D5207D-4AA0-4593-BD79-75B20741DFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$37B2145B-2D65-4A53-B852-FD08B619A049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$539F62C0-D998-4312-88CF-C8A3F5C70E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$8D300659-B767-4F15-8FB4-40A3EA0AAF9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3bbaaafb40604c98f144b1263153c542adcf63b","datavalue":{"value":"4130339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032225$1E167E1A-6E5D-4FCA-8C9B-CCAE6840FC54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$817349BC-AB19-4AD9-92A5-CF28BEDA6DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$D971DED2-1122-4CE6-ACB9-C77F44B5F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c71bcc669eaa7759f3ecf8aaabaa4fa16b369978","datavalue":{"value":"axioms for general logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$4EA16747-458F-4C9B-B053-3147AFE933DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$DD9B2940-3117-4BB3-B420-1A4C31428273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ff77f34c61d21602ef8bf73867ed543666e382","datavalue":{"value":"general axiomatic theory of entailment and proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$EC29E462-B8BE-4B66-AAAF-19187647078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9650353867d79d32521769ecf2a56fe1c7a0f4","datavalue":{"value":"proof calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$D7A12026-C246-4FA6-85E6-6B70A982E24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032225$9DAD2405-86AA-43F8-9806-D0385A37F05C","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":"Q3032225$27E74CCE-7EB6-4BDE-AE03-48E82526071F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c114b592e89465bba20faf3e8437742751a7877d","datavalue":{"value":{"entity-type":"item","numeric-id":4698614,"id":"Q4698614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0553960675b0c341c088a64b94286d20855e9f","datavalue":{"value":{"amount":"+0.8018654584884644","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":"Q3032225$6628BDF1-7093-4F88-89B3-109C1E2E1C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048d683ce571b540b74cba0aa65ea95e4261ad56","datavalue":{"value":{"amount":"+0.8018651008605957","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":"Q3032225$B8071A64-46D4-44D0-B7CB-EDA4E91A8DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14447a84d5d7cb02ab51303c496171195715b04","datavalue":{"value":{"amount":"+0.7552871108055115","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":"Q3032225$9082410B-F680-4FA3-BE7B-D5C2CD553AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0779de0dd9479bf02b8355ba992b804946f5cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3034802,"id":"Q3034802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c502754b330a76c8fffbff95cec6613a363033","datavalue":{"value":{"amount":"+0.7544915080070496","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":"Q3032225$8F0A3D33-44EC-4510-B05F-0E2BBB184192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0267da6afa2bbae028c0a3a35a7b7f8a8d431f","datavalue":{"value":{"entity-type":"item","numeric-id":3133180,"id":"Q3133180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c88bba1f9a6e25fe2019a3aaab5153722e1bd89","datavalue":{"value":{"amount":"+0.7418646812438965","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":"Q3032225$A97E42AB-D689-4725-B83E-64C7FBA4564D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032225"}}}}}