{"entities":{"Q909443":{"pageid":911291,"ns":120,"title":"Item:Q909443","lastrevid":65274168,"modified":"2026-04-12T01:27:55Z","type":"item","id":"Q909443","labels":{"en":{"language":"en","value":"A logic for Miranda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137307"}},"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":"Q909443$F0379914-7B1B-46E1-ADD7-4E683D569537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e97b2af4d94d182f4474bb6bccd403f31024009","datavalue":{"value":{"text":"A logic for Miranda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909443$73EF3206-3AD4-4B64-9269-943A45093F15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba02fc5ce2ba9ec2c3a6a7321e37ced110193894","datavalue":{"value":"0694.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$4F08F572-CA8B-482A-BCE6-CB801A40E228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214839ecc170697489e82d143288fe01b6824dd0","datavalue":{"value":"10.1007/BF01887213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$E01047E8-E0DE-4701-B46A-11A727CD18B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$BFFFA2B2-0194-4830-848A-8E40FC988140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$77F29589-CFDB-4999-8B88-F7D2CCBF20C7","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":"Q909443$C130ECA0-F735-42C7-9D86-E16788912E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$10A5C51C-59AC-4B6C-840F-9533D0C183F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$8A6C1A73-C9D4-45E7-A05E-BAF19C4D244E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$EA0EC6DA-3E44-4158-9D31-41491C7F27CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ec7298054c50a16cfbe60303ab01ccb4e13ed4f","datavalue":{"value":"4137307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$A89A764A-79FD-4502-AE2F-861A724014F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q909443$B72322FF-D8F3-4DC9-8698-3088C48F26D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q909443$300F48A6-D4F2-46C2-8E91-EFBFE3E92F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80dab239443a5e6c7f4b5eef06fd6405758a84a","datavalue":{"value":"miranda","type":"string"},"datatype":"string"},"type":"statement","id":"Q909443$26E69601-88FB-4BA3-88CD-EE2347062DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q909443$E03B0CF1-4A40-4EFB-85DC-DB055875B981","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$44FF2740-0298-4F24-9E90-F8D9337E7BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$BCCD6586-B316-4C62-84A1-70D48CDC0B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$ABD385E8-BAB9-4708-A905-96EF670345EF","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":"Q909443$BA778AC1-88AD-4BE5-8042-A8F8DA240C85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c05a5274ff4e0cdb3e6ef34d413a7f16f96d3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4174692,"id":"Q4174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$035A219D-5496-42A2-8BDC-CDCEEB73D5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$85FB0691-CE03-47D2-9CDA-86EB4D5DDDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$1A7ACC39-1F7A-4BAE-BDA9-1E15BD54EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde19d283d42edf106d6209c4d5562a85b28e299","datavalue":{"value":{"entity-type":"item","numeric-id":3764126,"id":"Q3764126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$9173C54B-E925-4D88-A116-BA201138B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$59A285AC-D60A-4EE0-89C8-6DE86D6381EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$4302FBDD-F674-4E42-82ED-B84A9094A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$77ED51F9-AFAA-4B18-B9CC-08C714E26E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909443$AA94A50A-60DC-4878-9EE0-6A41A6C9549D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac7a641c12597697d64e089c11f7e3bcab4d0f1e","datavalue":{"value":"https://doi.org/10.1007/bf01887213","type":"string"},"datatype":"url"},"type":"statement","id":"Q909443$D2966FD4-03C1-46F7-AC3D-219DD0817D5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d0c3237b5db98917d2b3d98d0ca6c27389cb81e","datavalue":{"value":"W2056010911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909443$2DBE25A2-6694-4C93-8930-6B927B089C7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c407dcff256315a84c979a7aafb286d0bcb8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1903076,"id":"Q1903076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5303ca5a06620358c9d7cc3c61c831aeb3282277","datavalue":{"value":{"amount":"+0.8600954413414001","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":"Q909443$A4C6DC15-776D-40C3-BF79-75CE6D6BE26A","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":"5303ca5a06620358c9d7cc3c61c831aeb3282277","datavalue":{"value":{"amount":"+0.8600954413414001","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":"Q909443$DD7F9FF5-DD6C-40FB-8974-09A15DAAE3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ec1c1b6b4f36fb562812a39470c84b24b93106","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa99ce93e9eb0bb3edac5fbb046bacba218dc85c","datavalue":{"value":{"amount":"+0.7953258752822876","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":"Q909443$D4F77C9C-1DEF-47E2-949C-A74258DDCE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12316bdda9de4638fe9e5f095987e24235e54435","datavalue":{"value":{"entity-type":"item","numeric-id":4023827,"id":"Q4023827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe6056727bed2d7fffcf57a2e2f40fe2e1aa495","datavalue":{"value":{"amount":"+0.7941172122955322","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":"Q909443$C657DCE8-7687-4BD3-A56F-559D4FCFDD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f810913439b178d3b9430c93a9c6cb99f5909ce","datavalue":{"value":{"amount":"+0.787818431854248","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":"Q909443$187F319E-84AD-408D-B1AE-523A703DF314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for Miranda","badges":[]}}}}}