{"entities":{"Q3997397":{"pageid":6027229,"ns":120,"title":"Item:Q3997397","lastrevid":55136662,"modified":"2026-02-04T00:31:00Z","type":"item","id":"Q3997397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 48517"}},"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":"Q3997397$5DA20A4B-2B7C-4801-8AFD-F0094F045F94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2b7f85989b24634ea27f9f1a7d1506fb472000f","datavalue":{"value":"0744.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997397$1C95B23E-C674-441F-AFC6-9EBC4C5A5F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997397$2E05CF36-1CC9-49DC-982D-7098880A0837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997397$0E27D87C-07ED-40FB-8BBA-90B17FD54038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997397$3566E75E-F1DA-4CB8-A69B-B517620B8FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997397$302465F9-2072-4CEF-A4BE-452CB60C11FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0734a05ed4a9d5532ca17cb2afc1717be168b4","datavalue":{"value":"48517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997397$C8F43DFC-39AA-4927-9300-9C34151214E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1edfff7f9f022b2247a2dc67e621010b88ec1ba","datavalue":{"value":"Sea of Galilee (Israel)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$FB423D8C-AFF5-4784-A1B5-0DADBE411BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0af3d54966015e2514050695c7f0c70fe5bb978e","datavalue":{"value":"Programming concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$D807C09B-CB95-44F5-9BED-91DCFBC53657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29701a8a83bcb39c42601071b68dac7fb209a8c","datavalue":{"value":"Programming methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$FC94F894-5B62-4DA0-85FC-93E3522D1E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$4E8A2F66-D3E4-4997-B3FA-4AF8CDC7C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$BA4D1DE6-5E51-4871-B1FD-4AB918558861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$A1674757-ED01-4C13-A363-2358DE7115C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c74cfc64bbe5a0ea34c53c9ac0cfd5786689677","datavalue":{"value":"formal description of programming concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$0392D060-171A-4413-A107-E6BF06A386EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$AC0707F2-1614-4CE5-8455-5D2A38B39259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b50962fe2366edb243d73d8ab7a735d50977e1","datavalue":{"value":"theorem proving languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$C1D1BAB9-DCEF-485C-B43A-EF519D6FBDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997397$FE10CDF5-27A6-4C71-84B2-E35CD08179B3","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":"Q3997397$FCD3BC4C-3E84-4027-847F-305F34B09EAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca09ededf4af48ce95d845711403b571cf8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4023057,"id":"Q4023057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99106d00922f009cd0efbe0db87e91cb94fdd6bc","datavalue":{"value":{"amount":"+0.7816426157951355","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":"Q3997397$312188BF-1841-4150-A80E-254869D3E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad830adf215314f88d85a625d9beab8493dd4c12","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99106d00922f009cd0efbe0db87e91cb94fdd6bc","datavalue":{"value":{"amount":"+0.7816426157951355","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":"Q3997397$433AA168-A87B-47CE-A19B-3C65A7E35921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059189a88c5daea429a2ea444edf8df37abdb74a","datavalue":{"value":{"amount":"+0.7773416638374329","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":"Q3997397$BF3A3AF0-F25B-481E-9D4E-0D6D24798B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6d0a721e3ba29517d76251298e266d7a01dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":4002146,"id":"Q4002146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6011df73dc3514245c3c1bda4cb62cb068872ffe","datavalue":{"value":{"amount":"+0.7717468738555908","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":"Q3997397$B43B768B-18E3-4C88-83F2-457BA8600908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82c5d6670e807d8fcba3b9a87fb96ca8bae6f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1188840,"id":"Q1188840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e563846c726e27804e065015ea5e89c1d37a0b","datavalue":{"value":{"amount":"+0.769377589225769","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":"Q3997397$C550F457-F2D5-4AF0-94C5-368717EA6B65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3997397"}}}}}