{"entities":{"Q4720772":{"pageid":6750349,"ns":120,"title":"Item:Q4720772","lastrevid":49039171,"modified":"2026-01-06T12:29:15Z","type":"item","id":"Q4720772","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992920"}},"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":"Q4720772$EA15F303-C7A4-4912-A0C0-A335F4DD706B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a7a8e1153bb73749cb49ba838a91138ff75af05","datavalue":{"value":"0613.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$7253A055-C6C7-4D7F-B4B1-7FE08AC19066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4720772$23896DA2-EF48-4C7F-84BA-87B9D2F008F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$CF1A47D1-74D2-45F1-8E1B-734A0F9B8D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$3802D92C-4F19-448C-869D-1766FAECE8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$1B97EBCD-DBA2-47CD-B852-9A53E987CB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$2CAB2841-9AE9-4D22-9986-E090425EE439","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dca83dd91859ff7016bfc84111185a440d03d816","datavalue":{"value":"3992920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720772$F1900DDB-BCFA-4D0D-87E5-0A6A03CE99B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$0C08E45A-1FE7-423C-9A9C-E57A4F3EEF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$BD80A0D5-84A1-4216-9DE5-F288BDB80FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$C387AA09-1F78-4503-B39F-A4B793037D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$E9A4965B-146E-4CE3-9E97-80E5F0D79D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63711ef1039359d995d6eded4d4d9162d3b87fc","datavalue":{"value":"procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$A259E0B9-126D-4C5E-A596-73EE31423055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$AAC58B8B-07D7-4C4F-B0FA-CFE25F21A772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720772$2EDF62D9-CD9C-4F6A-9EE2-4549391B1F5A","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":"Q4720772$27F1DF83-8A56-4517-BB05-CC85327119E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4abe8a37d9584938a2ef98012d62fb19ff62f8","datavalue":{"value":{"amount":"+0.8413265347480774","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":"Q4720772$E8F4D612-4E27-44BA-B45E-919A0FF8C4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d1427abdc7c6ca9d1b715fd8f7a43ada6f0abb","datavalue":{"value":{"amount":"+0.8071140050888062","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":"Q4720772$A1DAA778-CE6B-4CE2-8C72-2E64B98B1F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fca4b2119315fdbea89ece24f473bedcebb90f","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c21341e897944ceec7b633d6819cc486ea2c71","datavalue":{"value":{"amount":"+0.7865650653839111","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":"Q4720772$B0C9EA83-CCBF-4F2A-91F0-E04DFB5CA41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a428679e11114c36ebb37462059642b44bb2ea72","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a52abf909855509ff7958eb1e1213b2624ea58","datavalue":{"value":{"amount":"+0.7759705781936646","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":"Q4720772$3CB23DAE-416D-4573-9D91-640516550762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0486f4f34bd14f1100910ca9ed25bbe013078e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1349686,"id":"Q1349686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babd5f9414f7d4f9031781b29fecf86bedc3597e","datavalue":{"value":{"amount":"+0.7737886309623718","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":"Q4720772$05F75686-438E-4463-8CC8-95B02785F30E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4720772","badges":[]}}}}}