{"entities":{"Q3348897":{"pageid":3359606,"ns":120,"title":"Item:Q3348897","lastrevid":49498195,"modified":"2026-01-07T08:16:06Z","type":"item","id":"Q3348897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4200180"}},"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":"Q3348897$69E1213D-5808-47C6-A386-611FE08231D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b3f773c44638f23e75d898925119dbcead4f295","datavalue":{"value":"0727.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348897$77D8BB3F-4EDF-40AF-9A4B-16785D2DE622","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8828160d6fcb6cd514b6d76ed7eb8a98ac87123e","datavalue":{"value":{"entity-type":"item","numeric-id":2956729,"id":"Q2956729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3348897$FCA89A5D-4547-488A-ACF0-381540C7FE5B","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":"Q3348897$5171D485-646F-44CC-953E-2F5EF85EF2B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348897$29804198-6387-44DF-8AF4-7E6FFCB9E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348897$D86A9A81-C403-434B-B571-050C38962F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348897$B7B7E44A-0090-4B88-9B2A-4C0CB23D6944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd5c16b745c71fb9e1d116aa0b13213043624125","datavalue":{"value":"4200180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348897$F5A8ED66-B84D-4209-8692-5A638047EBEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49dbddfe6bd6e3b5fd56a956a47e4ff0e59108bb","datavalue":{"value":"schematic functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$C864754B-3BF4-4D42-BF8D-B17821843A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$BBBF1C30-2592-48D8-8E04-F88976C64A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e731a0cc010d9b7ffacbefe1f4156ca5f2cb50","datavalue":{"value":"\\(\\mu \\) - recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$A79E08B7-B80A-41E2-8520-11E89FE621AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91062d3375e603fab14878535678e2b0740df43b","datavalue":{"value":"\\(\\lambda \\) -abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$F2936437-8CF1-4368-97BE-280DAA2FC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$0A7FF4C9-A398-4E74-8835-28F9BAF37764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$B6B4F261-7C02-42B3-BDEF-A845AED27AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa19c2903570ed7d539093ef5b35fb36503d4bb","datavalue":{"value":"propositional \\(\\mu \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$457307D5-E3AF-4FB9-A4B7-ACDE0298FE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f403ecea8f9d99a76df98ac579f3a34b200dc10","datavalue":{"value":"first order dynamic logic for regular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348897$A6DBC423-06A0-4482-B78D-3163E55B134D","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":"Q3348897$C4A8E411-9717-4167-ACE9-1199349DBA1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747da4760684c4ae7c17554623ac1f638033033d","datavalue":{"value":{"entity-type":"item","numeric-id":671651,"id":"Q671651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a894837179f3c04babf5e384db1c3c43323b2656","datavalue":{"value":{"amount":"+0.8351181745529175","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":"Q3348897$40D26E0C-7CA8-446F-8458-A2D87B3A7316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5ad0fd098d3ef37a815d1d5206cb98669a71a2","datavalue":{"value":{"amount":"+0.8058843016624451","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":"Q3348897$064AFB7D-8ACF-4902-840D-1A2FD3E49839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f5c469ff177eb51daf2a6d788944d7a5f6e21d","datavalue":{"value":{"amount":"+0.7936204075813293","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":"Q3348897$34DF7D8D-78E4-441E-A980-9BF70D5636FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ed99d88659d71a090a8b1f411e8f801ac27a72","datavalue":{"value":{"amount":"+0.7913421392440796","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":"Q3348897$66034134-C17F-4773-A64E-061818218ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d166c4c642241a0290d95ef22732c6f4971ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a7f94f9f39c428dbd68d30c0271b6c0c713a4e","datavalue":{"value":{"amount":"+0.7893362045288086","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":"Q3348897$F7507DCE-79EB-404B-81DF-198D9219AAFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3348897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3348897"}}}}}