{"entities":{"Q5715448":{"pageid":7745002,"ns":120,"title":"Item:Q5715448","lastrevid":48622558,"modified":"2026-01-05T10:21:30Z","type":"item","id":"Q5715448","labels":{"en":{"language":"en","value":"Checking modes of HAL programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242964"}},"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":"Q5715448$E1218472-15AA-4143-8E9A-93DDA70AA919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65bfc06dd648e0982e1e9fba3f31854e2c4a1ee5","datavalue":{"value":{"text":"Checking modes of HAL programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5715448$762D6804-D2D5-49B9-842E-AA8176A105CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b415ad04baaa403e62ace9a51d4e6a71904004e1","datavalue":{"value":"1083.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715448$C7AE55C5-6D0C-466F-BA32-6302903E285A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c80c5c7a5adf3f954f34fe3b434619bf25fef1f","datavalue":{"value":"10.1017/S1471068404002327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715448$FD2B6325-F704-4AB3-8976-38E854419492","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$06ED824A-BDF2-4A61-AC38-90A2CD59B568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"756fd7141fa6e4c241fbc803c71fc5201c223549","datavalue":{"value":{"entity-type":"item","numeric-id":698088,"id":"Q698088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$3CD90514-3839-41AC-A768-B940058AD815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bddadb379981dd0f077e58c750bc30e8d5224e7b","datavalue":{"value":{"entity-type":"item","numeric-id":672412,"id":"Q672412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$1F82C4E9-3398-4DC1-8F36-518C2B95655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$EADEA7F3-21C5-4BC9-9498-1CCAC39379DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$CA1FA4AE-87B4-4759-B96C-07DF54B4E69C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5715448$D2B53D8F-88B5-4BE9-B467-47E9B241F7C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc512bbd2b51b2ca56145a51da262a5a96efe06b","datavalue":{"value":{"time":"+2006-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5715448$4B03E293-C993-4FBC-82C8-E3C31E43EA3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715448$9B048B79-7CC1-44BE-AC8D-9AEA9E91DA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715448$58ED18DB-F98E-4107-8236-D36AF47C9376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b326b1110f6ea5151576288965497d8172c0769","datavalue":{"value":"2242964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5715448$E523BF54-FA4E-4B1B-9654-AA06C04F002C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5008ac6d841e441bc4cfbf45b18b4c42f6e7cb3","datavalue":{"value":"strong modes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715448$C0438E85-91A0-4023-93A8-B373E53C56C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91bfa0015d64ca7161627bb28465d6adc79f42f","datavalue":{"value":"mode checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715448$3FD8CD7F-2F5D-48BA-A6B6-C252BE0BBA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fca401ab37753c38b593b5ca5f5a889565c9ae1","datavalue":{"value":"regular grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715448$E866A66F-7F9A-49CA-926B-1905AB876DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b4a6435398de07633230f85d85b2571095b122","datavalue":{"value":"constraint logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715448$BDE6ED9C-A97F-4F6B-B639-6F0E21481248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1572a8c57c8bd1c1c4df47655d2ffcc44c410e","datavalue":{"value":"CLP languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5715448$5A8B06A9-B525-4DB3-A87D-E2FB7252E983","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":"Q5715448$9A0924BC-FC32-4DFE-A418-D9CBB6630BA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2041a1f32f9e0dba8b3d782fd0cc0c032097d5f7","datavalue":{"value":{"entity-type":"item","numeric-id":2767146,"id":"Q2767146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4617d565b6c7028272705d6ac905a0d7f20bcd10","datavalue":{"value":{"amount":"+0.9809427857398988","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":"Q5715448$813E4DE3-AEC4-4221-ABBE-F2F69C9B289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d073d13983132181352b336b53396d9fe2fcf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4409151,"id":"Q4409151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90c521ecbf1d62a7faf0a8e1fd5e51563e895df","datavalue":{"value":{"amount":"+0.7530694603919983","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":"Q5715448$1C73892D-9E30-4CDA-84C7-5FCA1C4F8F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0e99b5108ba093c9102d3b0d2c55fc21909d12","datavalue":{"value":{"entity-type":"item","numeric-id":3522065,"id":"Q3522065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a926f21753eb7d5954556366901aebb6b6fa1b","datavalue":{"value":{"amount":"+0.7342037558555603","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":"Q5715448$10321135-D7BB-472D-AAD2-6A28EB3EEABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf79a84ff4439a1330c1456ecb35940d2680c049","datavalue":{"value":{"entity-type":"item","numeric-id":5712542,"id":"Q5712542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac8282563f9139748ebf556645a1ad1ef28ca16","datavalue":{"value":{"amount":"+0.723220705986023","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":"Q5715448$FAFCF97A-3A24-4816-9960-E66FB1E8CB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cce4512b0d1f76890c2c7a26ca2aadfb833235","datavalue":{"value":{"entity-type":"item","numeric-id":4452649,"id":"Q4452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4818d1a9f0aa686547332adf9fe5408c4519420b","datavalue":{"value":{"amount":"+0.712183952331543","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":"Q5715448$591FAD02-7A58-4234-9D7C-C7667F8309F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5715448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5715448"}}}}}