{"entities":{"Q3027002":{"pageid":3037718,"ns":120,"title":"Item:Q3027002","lastrevid":49088014,"modified":"2026-01-06T14:09:31Z","type":"item","id":"Q3027002","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014710"}},"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":"Q3027002$D6310C5E-FDCA-406C-8464-9D79C5B76F92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"721200ea398897572a163fc991a014a17ac087c8","datavalue":{"value":"0625.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027002$4428EE5B-EB36-41FA-B1E2-B9044494A802","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027002$55799C80-1C82-49DA-A736-C6D6903CE83D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3027002$8851E62F-90C4-4BCF-9858-522ABE7D7303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027002$B9139698-8256-4754-AF97-691FB1F72E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027002$C7DB6EC2-4507-4171-956D-496E09581110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"798f154c7e5fa7ac60741c57bbd08758b7d1364a","datavalue":{"value":"4014710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027002$224DFC92-797A-4198-825D-B8F9E499A56B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$C23600B9-1272-4D32-9E30-B34892039CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$A9AAB1F4-6D8B-4681-8C3E-44FE75739A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$D05BC3BC-D2B1-490C-A8A8-C03387833DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$ED76D23A-B97A-40C8-927F-9B19F8581104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e705b1c438cfaa9bdadf22888aa77c99e77665","datavalue":{"value":"internal coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$8A652E39-9C90-4B7D-9E8D-A950CCEB4D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027002$1E0877AD-A86F-4ACE-A9EE-DF9F8A31AAAE","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":"Q3027002$E1E0A639-DDE9-4319-8781-1AF2B4799C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b4fbf39a2f0b45b048ba6bc04546c77112217f","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d55291102ad824a823a008d4f4b7750d865a92c","datavalue":{"value":{"amount":"+0.766634464263916","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":"Q3027002$5305E567-F91D-4352-95A7-C9BF6D80F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8feb3cbe1306f6e244de5e2b285888d65eeb91a7","datavalue":{"value":{"entity-type":"item","numeric-id":5213613,"id":"Q5213613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8093efe2eca842c67f24cd517c10d66f30360d","datavalue":{"value":{"amount":"+0.7457557320594788","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":"Q3027002$9C9F8F74-86BC-475E-8418-6A9CA0C96305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b449dad0b56bac07335ef9ecb54d657fb016fd41","datavalue":{"value":{"entity-type":"item","numeric-id":4867840,"id":"Q4867840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d4758d019ba425efb1cb755b2b07dbce4078b3","datavalue":{"value":{"amount":"+0.7389288544654846","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":"Q3027002$4E8461F0-1FFB-47F9-9FC7-D400B8C1AB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad82f325e4c4b2b04e5a1d652bfb1b9501ad48","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f901ae4cd9a3506d64fde199c6b02253c1f3bf0","datavalue":{"value":{"amount":"+0.7371805310249329","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":"Q3027002$066E462A-5CD7-4818-8AFD-CB1F79107DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad88b56a2163d470523b751e9c3ebba804794d8","datavalue":{"value":{"amount":"+0.7283504605293274","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":"Q3027002$312F42F5-5CB5-4BF5-B790-0970CABB04E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3027002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3027002"}}}}}