{"entities":{"Q4395617":{"pageid":6425216,"ns":120,"title":"Item:Q4395617","lastrevid":46890444,"modified":"2025-12-25T19:23:48Z","type":"item","id":"Q4395617","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163990"}},"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":"Q4395617$AA0072F1-5B08-42E0-83AA-184C099B12D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0324d033e8d91003f93bd7e438d90b35aa783ed1","datavalue":{"value":"0903.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395617$7F442E04-F601-45F1-A2D5-84C4E4D120A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a99737eae512011b9bc05738f2ccfddb1d9066","datavalue":{"value":{"entity-type":"item","numeric-id":638493,"id":"Q638493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395617$B0C8C633-A729-45E3-9D03-A9051CC9F007","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395617$27002FAC-BD34-4671-829D-C83CF910920A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395617$3C740E52-B636-4224-AAE6-AF75A9B9A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395617$2F0175A2-97DF-451F-9FAD-26E467598087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395617$F786ADC2-72C8-4079-BD7E-EDFA8A48CC98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7f0096f752962dafc03c972d1d02d8d39159d4","datavalue":{"value":"1163990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395617$2CB0AA9A-8DC4-4DD7-BED0-4EAFA3A162F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$0A03AE48-6032-4E88-861B-B0A6C0176B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$BA753316-7067-4427-8A30-2A87C5E07992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$9FCD847E-03EA-4585-9011-AB638AF18FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f2f41bd19d70346c3c28ad13c976354b81b088","datavalue":{"value":"equational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$0E917E42-2D57-43F4-95B3-EE51983CF21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$F039C858-24CF-43E4-8FB7-38AF866BFD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$8ED418D6-FB7C-4932-8455-3F0A0C47EDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0eab4bb3c00ed39d078ae692d125f87e230108","datavalue":{"value":"least-fixed-point interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$1F0F6256-8CAE-4043-81F1-EA1AE62D103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fec80a8dd996ca40e9ee15bbc933f1080c6f6ef","datavalue":{"value":"FLR","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395617$A8E8AD4C-3CAE-4B98-8066-FDC8ADCDC8FF","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":"Q4395617$F513A0C8-9548-4B0C-80FE-AB6B63A4C738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e22da892f8f07d387f3320be2df56cefb2e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da63c6dfe9ce052e4219566392b114a9d1658f28","datavalue":{"value":{"amount":"+0.8069557547569275","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":"Q4395617$4093FDD7-6F3D-48CB-BAB5-32D692E2E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662150caa1a7cfb593e4364cedcab9e72ea01714","datavalue":{"value":{"entity-type":"item","numeric-id":3480027,"id":"Q3480027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648981fc7b082dc7c607e95f356994a70f86e7ee","datavalue":{"value":{"amount":"+0.7876702547073364","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":"Q4395617$C314B7D8-A8A7-483B-8762-582BC17DB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe10e42897405fced86691978fe9922293c719cf","datavalue":{"value":{"amount":"+0.7833777666091919","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":"Q4395617$8191A568-F686-4958-B6BA-9D04A8FC6019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563b2dd9d4aca4bbe78a538ca895033984c67b84","datavalue":{"value":{"amount":"+0.7616606950759888","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":"Q4395617$8B4E0FD2-9175-42F3-9093-718443243A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fa2a90f1552d0164e87cabfc8271be41917d10","datavalue":{"value":{"entity-type":"item","numeric-id":1262303,"id":"Q1262303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2916cd0cb0fd62159971d530780abf80df899539","datavalue":{"value":{"amount":"+0.7609916925430298","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":"Q4395617$956C00BD-D584-4D6B-A640-9548C75B8595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395617"}}}}}