{"entities":{"Q3355220":{"pageid":3365925,"ns":120,"title":"Item:Q3355220","lastrevid":49518166,"modified":"2026-01-07T11:08:38Z","type":"item","id":"Q3355220","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4205965"}},"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":"Q3355220$38E313E5-7EC4-498F-8D33-9148B58AEA79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c3a09aa68acbc534295cb5dd104285b924008a","datavalue":{"value":"0729.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355220$5B850427-952A-4D8D-8E9A-D975EBDF1928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0ea631c98980e80358e1b48129f32c64d7dc4b","datavalue":{"value":{"entity-type":"item","numeric-id":1390935,"id":"Q1390935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3355220$6CD28BBE-9F3D-464D-A95A-E36E5B0B9960","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":"Q3355220$AC19039D-872E-48E1-AD4A-FA248B8998B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355220$A353A0AC-1FC8-42B1-B932-06BFF4D8A7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355220$D7CEBF50-7413-4257-A812-418ED4BAEF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355220$741789FA-8DB3-447E-A6E6-BDCCB98AC9EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af72201bac896340a0371fe5be60335b943f3651","datavalue":{"value":"4205965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355220$1D9431A7-0F8C-4444-BA45-3C2A3B2747A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4379433b00b8d44c4ca700595c48e3703101fa9","datavalue":{"value":"logic programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355220$2E89B153-D49E-49CB-A583-C3A0FC329F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b799ee8541227b422838eb27e9e18feb5d10c175","datavalue":{"value":"natural deduction proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355220$6C81174E-B1D1-4D80-94A5-878AB840988D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355220$B59F415C-6E4C-47F4-9D30-13A8B46CE1DD","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":"Q3355220$01F49A02-DD94-4AA4-A661-5E2729DBF2BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f5dca4df614cdafedf4bd76da91b6332ed8e28","datavalue":{"value":{"amount":"+0.817337155342102","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":"Q3355220$CEBDCF1E-90D9-4B0E-85AD-956EB36F1B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582558383118de9d65b0211933a9afadc6cadfa","datavalue":{"value":{"entity-type":"item","numeric-id":4357064,"id":"Q4357064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29625c434beb2f142d6b96a8bb2a9fc4aedf2ff4","datavalue":{"value":{"amount":"+0.8173370957374573","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":"Q3355220$2D68261B-3F95-4059-A2A2-00BD86DBE4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5fda5b97b50231419ae7e1f48f7db1e66131d0","datavalue":{"value":{"amount":"+0.8171852827072144","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":"Q3355220$66041F9A-7EEA-4D1E-AA21-F19224B48C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47631d61878b4fe2b8db51a550d47ce290ed025","datavalue":{"value":{"amount":"+0.7982489466667175","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":"Q3355220$050BA6C5-3D95-4DE5-A40B-AE8C1FAE37A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e5ac7661f403ccd09bf507d877adbfbe4ab89d","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc85c8172e9852c78b470385c22bd1829cdaeb8b","datavalue":{"value":{"amount":"+0.7798335552215576","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":"Q3355220$A73EDA8B-72A5-48EC-A6B0-A735B29F0616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3355220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3355220"}}}}}