{"entities":{"Q3358718":{"pageid":3369423,"ns":120,"title":"Item:Q3358718","lastrevid":49527751,"modified":"2026-01-07T12:24:44Z","type":"item","id":"Q3358718","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210120"}},"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":"Q3358718$7F8BBB2E-F58B-41E5-B07C-B9A5E01C6724","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c416bc1bc2985cc9d9a4bdadf8d7c34c1d6ffc","datavalue":{"value":"0732.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$95D8A60C-560D-43C3-968C-2D2792EEFBA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79159639be29398efbc624bcc37111244e1667e6","datavalue":{"value":{"entity-type":"item","numeric-id":918963,"id":"Q918963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358718$69D1BD2D-0D11-47B2-BDEB-6603E1FD550B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3358718$5795D29A-A3F0-42C4-B2F7-6A085E7BA095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$45668110-DD01-44EF-A1B8-C31BFFD7249F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$D52A8654-6E64-4297-A9F6-059637D1444F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$2E47233E-CEDD-4C10-9E0C-6E797D8A2F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$15357DA1-1D0C-4E07-BBE3-F91ADD86C2D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"765c093a2b80f385add8011376e972807297332f","datavalue":{"value":"4210120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358718$9C5E4081-0367-4240-AC7B-687ABA3496C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$5F2C9D22-7855-4F05-8578-BC4200BC5E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f76ace48481012c116f53ebd30be2f4765df52","datavalue":{"value":"first-order \\(\\lambda \\) \\(\\mu \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$993C4087-69CE-40E3-9899-6C1155F9A62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995d2a6fb36579ccb06958a9c61cfb4666ba60a3","datavalue":{"value":"typed functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$B3E7BA57-2CE0-4DDD-93B5-65A8B691F9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64110682d1520b5bb18c7f3fd0ea939045a9146d","datavalue":{"value":"Boolean-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$1BB8477D-1654-4A01-9D8A-C4F26FB36A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$4FA5D649-53DB-449A-A3E1-B5DF9BEB902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34de8b54d67cad8bedae68f107d9dee1e791fd6a","datavalue":{"value":"tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$DA1E11A2-C8D9-4BF3-BB27-D70FE1E1F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a761660f14e45ebe61e683005f3635ba146ef04b","datavalue":{"value":"complete sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$38D791C7-2F49-4143-AEB5-EC835A9C1D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358718$1A7E7818-B291-4F33-928F-A5C82B621611","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":"Q3358718$EE95995B-B2D9-42B8-9FDD-8FF743FE9DC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96ca70ed3b7bbb61a8b5ea41d7dbc17478ac1c0","datavalue":{"value":{"amount":"+0.871890127658844","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":"Q3358718$999FC165-1262-4563-A842-F69E45FC8E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b866f3b871bc9116d6686f55c81a539f5952898d","datavalue":{"value":{"amount":"+0.8446096777915955","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":"Q3358718$4D769801-0F76-4104-B1D7-DD260AE4CAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13131697099a111faba428a1a395217939e7c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":817692,"id":"Q817692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e3a94ffe45474334614303f90a4afb9c8b41a3","datavalue":{"value":{"amount":"+0.8138579726219177","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":"Q3358718$C4B17510-B332-4F99-A89E-2235CBA440BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8306b79debac8cf93b3175270b7f97fc013e6bb2","datavalue":{"value":{"amount":"+0.8117259740829468","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":"Q3358718$C6E035D9-4226-4F95-A0E7-E48F6C2AA6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440dc45fe12ba49e3b57641cd80d0036bdb1f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4283237,"id":"Q4283237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6900614a8b505663b510de18346b0a183aa565c","datavalue":{"value":{"amount":"+0.8042952418327332","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":"Q3358718$D7E60B49-35D2-47F9-B204-5ADD96F8DBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358718"}}}}}