{"entities":{"Q4038725":{"pageid":6068443,"ns":120,"title":"Item:Q4038725","lastrevid":55241044,"modified":"2026-02-05T05:32:26Z","type":"item","id":"Q4038725","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177847"}},"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":"Q4038725$66EA03D1-504B-4C70-AE63-FA1631349010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9f2129e0abb03c4b563ddae9f75cd34fad914c","datavalue":{"value":"0765.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038725$2897595A-89C4-4618-8E72-A7AC93A6CFFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038725$9DD975A6-04C3-4752-B1DD-DC4EFB856A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038725$3BD4DE91-DE33-4BC9-B619-71779BFF43D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038725$4BD37036-7F9C-4E91-8C39-50B9AAC07E13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038725$543F1F6A-F377-4023-8211-DEAD8E75A083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038725$1AD774DF-41C3-4030-9B18-8162C985C598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038725$4F6EFEF0-6E78-45EB-BEC8-87DE26A2300D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6490bf08f1ef1275eee72a65f368486aebb9a3bb","datavalue":{"value":"177847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038725$D93EAC8F-BE01-4DEF-9F79-34B18F1DB703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$A001E340-78AC-4B68-BB43-21CB9149B46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fe4e40b419247b1e66bdd47f67b8d41afeaaaf","datavalue":{"value":"verifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$C92387EE-FDF7-4F01-833D-85F99F08F3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14594f48b385d98728c6114a77e4554d38dfb739","datavalue":{"value":"formal systems of program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$C0BA7B9A-7EC1-491F-8DB3-742A813BCD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$1D2E4F29-5200-42CB-B4A7-D938C4B1F1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$D344FB61-942B-4405-8F11-8F7ED5A6C35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$C78D23BE-CC7C-4A0B-AD4D-F78BEEF2718C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$62F5F84A-D07F-4FC1-A19F-993FEA510DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$796EB20C-7D47-4AC2-91B7-DDD5771599B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038725$8A1180EB-B201-4ADA-9E46-3B4348D3A479","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038725$7BE9895B-413B-4856-AF39-D057BC12F069","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":"Q4038725$1A2E49A8-F01B-4E0C-89B9-0EB6D0E729EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adb39f6a1057f33b9d5dd8cf3bc61b5f4acc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3138835,"id":"Q3138835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85d5144d6bcfd07417c61d99c1186b56311cbf1","datavalue":{"value":{"amount":"+0.9580585956573486","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":"Q4038725$E11845DA-E3F1-4FF1-9A14-F4C024CEB4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd94aae10bbf78faedf031b97d69106243d0f8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5898856,"id":"Q5898856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1eb270fae364143142a5b0d544d51af5e8ffacf","datavalue":{"value":{"amount":"+0.8420635461807251","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":"Q4038725$DCF5ABBD-3D38-45FD-86B2-726D4782CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e461aa5cfafedc98f4d769a0da0bce7852d5d","datavalue":{"value":{"entity-type":"item","numeric-id":941429,"id":"Q941429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76260b9956876da21c3e9877873526191f7eec0b","datavalue":{"value":{"amount":"+0.8324446678161621","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":"Q4038725$D76F663F-BFB0-4E10-BAE0-68A363F261AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05db21ef05e0a8a5bbdb9ae445b6e970ec6dd2f1","datavalue":{"value":{"entity-type":"item","numeric-id":3365443,"id":"Q3365443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79887194ac54d89cef1f41c3b381519e382985f","datavalue":{"value":{"amount":"+0.7836771011352539","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":"Q4038725$9A26D1B3-AA38-4271-869C-0C8BC03B9F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058e51301c75f29daf6d92c730fd5b14984f0f05","datavalue":{"value":{"entity-type":"item","numeric-id":5475458,"id":"Q5475458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e34f42a8b022a5aade34b808cfa59b31abf95b","datavalue":{"value":{"amount":"+0.7831892967224121","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":"Q4038725$021F7773-2087-4E98-AF8C-8B8A289C817B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038725"}}}}}