{"entities":{"Q583874":{"pageid":585641,"ns":120,"title":"Item:Q583874","lastrevid":62984394,"modified":"2026-04-11T09:29:38Z","type":"item","id":"Q583874","labels":{"en":{"language":"en","value":"Reasoning about procedures as parameters in the language L4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133472"}},"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":"Q583874$B90297B8-5B2F-46DD-8404-E41138C95A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb43c21ccf5d9c6f147d8c888b95c1cd40187e03","datavalue":{"value":{"text":"Reasoning about procedures as parameters in the language L4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583874$975DFB66-C21B-4430-8AAF-E28E9AD4624F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cef1399962dd6543d344ffa8bb3a53a29de6c76","datavalue":{"value":"0692.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$3B756731-7241-41EC-8932-16A4933AB64F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"843b3cf63a087c1e4452acc65bc5ef8cfec20393","datavalue":{"value":"10.1016/0890-5401(89)90040-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$9F8A13C0-0600-4520-B8D9-247D67C74DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6e36d9d587a56953e3909f37c87e2be24e3aeb","datavalue":{"value":{"entity-type":"item","numeric-id":583873,"id":"Q583873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$8721C250-5627-41DB-AC8D-514BA23DE4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$BFF046FC-F35E-4703-8354-4A81384DAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$CE2BA89F-0C55-49A0-8EB0-D848B673EED7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$FDD7B559-F00A-4E33-BCB7-81C8A40BA84A","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":"Q583874$351163FE-C34E-434A-A5DF-E8C7305C27B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$6129EDC4-5D39-4776-AD0D-088550424638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$B617BC30-5BFA-46C8-8C63-E1CF02A8E790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$3EB6E70D-6D86-4B22-82FC-D0049817F7E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b0985e621b19e3190ec9c9b657fecd6d1bfcf8e","datavalue":{"value":"4133472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$C4B525FA-D63C-4626-96DE-C080020639A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$EEA1F209-1F10-40F6-9707-F1790A5ED4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$9562546C-1531-46AF-B539-23101FDFE1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2132cfdc2450960a6cc98a68d5a669db744b94d2","datavalue":{"value":"language L4","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$31949B80-52A1-481F-AC48-60C6054DFB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$FE905D73-E851-4238-A610-76DAD652E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$B00AFC01-F6E4-4421-A498-B865CACD57F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b5df6bfa7d08a6708fbda2cd5209fd5da16121","datavalue":{"value":"Algol-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$28F4C0A5-4DB2-4C88-AF09-25488637FAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d8321b90c10404413f21a6c2d1b70783f915ba","datavalue":{"value":"procedures passed as parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$8A63FB79-2E5B-462D-84A2-D57A1EF764D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q583874$FEC87322-F3BD-4F44-9CDB-F08C1A8ED259","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":"Q583874$E4512123-0071-4001-BEAC-56BD2B009B71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270e2dbcefdde75cbd9fdd039c08a575432d6557","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90040-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q583874$865F785F-160D-4F70-802E-8597E0A87978","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3bc086f3613664b8c3db25ce437c10da3cff885","datavalue":{"value":"W1990487099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583874$846AF0EC-548E-4778-970F-28DC35141575","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$7E54BBC0-2C39-4C5E-A766-CF27A100843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$3ED15B15-052F-4197-982E-46E0957A3A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f7a7b3845149187946b9af1207ad37d4da44d9","datavalue":{"value":{"entity-type":"item","numeric-id":3732959,"id":"Q3732959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$1C4A0785-F0CC-4796-B90A-D278BCC679BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896a4e1608ded66dec0047e42ace35f2bb27df8d","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$55EE591F-4BA9-44A3-943D-B882FC6F2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$9228F03C-9C7E-4D61-99DF-9BC340D2A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$6BBB002B-98B6-403C-8719-F463B67CA43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4befd386387790db98b19c07d744e2438476210c","datavalue":{"value":{"entity-type":"item","numeric-id":3326819,"id":"Q3326819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$08228542-621D-4FC8-BB30-3412498E395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d0d049744dc192d2710b451bb5e4c29051260e","datavalue":{"value":{"entity-type":"item","numeric-id":3745258,"id":"Q3745258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$16383DA2-652B-4C0F-9986-A1D040735985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e9de10892cbf49d39c44126c1348d5c54ef8f8","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$90FE1C93-DB38-4A3F-B153-0BC7BE69747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ae93a4207b1c2e5b3fd93e9358659153a4c7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3765226,"id":"Q3765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$87D85321-1228-4D04-8A19-C2153B6F3A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0574046f4a124a574123c38d694b50c24d2fd87","datavalue":{"value":{"entity-type":"item","numeric-id":1161274,"id":"Q1161274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$896527EF-AB49-41AA-ADDA-D17BF8B1E358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accc486ef37ae7448b919d869eca8c305fa07155","datavalue":{"value":{"entity-type":"item","numeric-id":790607,"id":"Q790607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$8A55C193-E713-4647-90F9-1A52C1A49F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026c0d8fb7aab59b36247209d98d3d1e9cc3a1bd","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$154864D3-5AB1-4C2C-AB7E-D35A4A2BE520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc467f48030b0157b5bb9ac0001e6a6d79c1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$509C20AA-2856-4FFD-9588-1435AF7BAAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805ea6a63799dd248ae86fc5edb50b5a99268249","datavalue":{"value":{"entity-type":"item","numeric-id":3332239,"id":"Q3332239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583874$FB849AAE-6E95-4E35-97AD-F42E607FA7A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491365343ef3f16cf7c31d17f9cc88be61ee3cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3326819,"id":"Q3326819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777e3e220a33a76eadd19f07541acc49e0658811","datavalue":{"value":{"amount":"+0.9214367270469666","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":"Q583874$2CE25BF0-EE3D-4AF1-A18F-099834AF9C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed45a5c5e6b9b17e9db948866f42108a7a373b1","datavalue":{"value":{"entity-type":"item","numeric-id":3339259,"id":"Q3339259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f8489e66d0ad55f8a78a7faaef635204027403","datavalue":{"value":{"amount":"+0.8583800196647644","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":"Q583874$272D86E1-8E07-46A7-94C7-95E6344E1B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe2f8abff967b64f15aad5f9453f0ffbb25fdf6","datavalue":{"value":{"amount":"+0.8022072315216064","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":"Q583874$87D56383-F383-4E00-803C-6E3781679C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d16616ac73bced95402c103072e606825922616","datavalue":{"value":{"entity-type":"item","numeric-id":790607,"id":"Q790607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46fbcfaae397e2226f2c7881e097c8c943a495f","datavalue":{"value":{"amount":"+0.8012580275535583","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":"Q583874$33C114A0-78E9-40CA-AD7C-14CC28733AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442a71cb0832ac8f42b2bef8ca88e0a28fbbfee","datavalue":{"value":{"entity-type":"item","numeric-id":3334976,"id":"Q3334976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec62073e100f38b16754e8ea2b707149bcf5df0","datavalue":{"value":{"amount":"+0.7866930365562439","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":"Q583874$EF32A79E-71B9-4E0C-B847-2CDF71E8C274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about procedures as parameters in the language L4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_procedures_as_parameters_in_the_language_L4"}}}}}