{"entities":{"Q5371950":{"pageid":7401524,"ns":120,"title":"Item:Q5371950","lastrevid":52938971,"modified":"2026-01-23T20:49:34Z","type":"item","id":"Q5371950","labels":{"en":{"language":"en","value":"Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796891"}},"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":"Q5371950$6E5AA9C9-AAF9-412E-AEB3-087C5B2F8295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f1fb6de4fd6894ec67365a31fb91e53957416ff","datavalue":{"value":{"text":"Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5371950$D375C503-1A5D-4406-B463-6F40EA584767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b923d7b8f7fc72dff047e024285888fe0cc642c","datavalue":{"value":"1420.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$CEE8032B-7527-4D8D-A1EE-391C931288B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"595578a6799e64ea556359781b6627354bed6ca4","datavalue":{"value":"10.1017/S0956796815000155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$FA378E93-201E-4BA5-AEA3-87D104D10B5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a868b8b07517613341343fb03ccc65ea8bae45","datavalue":{"value":{"entity-type":"item","numeric-id":333323,"id":"Q333323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$F1258F02-607B-47CB-A9C5-AC6C79426ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fd1b197288e42d9e813642b301f704e52bc06","datavalue":{"value":{"entity-type":"item","numeric-id":333324,"id":"Q333324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$C64AD46C-60F1-450F-8BE1-CFF3B9950B81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$7876FACD-BF5E-4F10-83E1-14E3988DA08C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5371950$16039D14-85A9-43FE-BC10-41EFDA11161B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$B9B487D5-738E-4E34-9066-82E71F7A6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$BC1241CE-8624-4D5B-B62D-B80104AFB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$1B94E276-E139-4C6B-B9B5-950E160033A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc969c5f77070cf66279386a10bd15be7f23957","datavalue":{"value":"6796891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$5725AC28-D0C1-49C8-9377-5C51A254E270","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d07f16cff71ad406a2869d1992de8191017400f4","datavalue":{"value":"Q57721907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$306E60CC-3973-4A64-97BF-938D2995D102","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$47FCFF8A-46EE-4214-8693-210F45705998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$B1A41291-637C-4EC9-9A79-65F92A9AEC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$4C737E1C-123B-42AD-AD32-A5740F431A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8820312195fedfa211b44ae20ae12e4a82ec2682","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$2DC9296C-D8D5-41C8-A009-59CE5F3BF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$5252F3B5-DEEC-4A40-9585-20D399660054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"230614cc0c9a4510f4c52a1f5ab47b7f017dd272","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$690902BD-DE42-40C4-87D8-23138A25C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$02E658BF-AE1A-4229-86C5-0E0DC677D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$E6CD00EE-C62E-4480-9AB4-68614E350202","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":"Q5371950$5C4D4EFD-AD59-469A-9CAF-7521388BFB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fac9fb5cfad6545c88cc8857964533dffc3ed17","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$6822BBE6-4150-4022-BDD7-C766D1E02451","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":"Q5371950$42A4D59E-9177-4AE0-883F-821466FAAC2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff56ad271be0143ed70be6e0e6dd3643e98b7af","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$8E924AE6-43D9-4A69-B237-56DCCF1DFAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$51787B40-B9FA-4B45-82E4-AF40861B0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$3735B62B-73FC-4742-B756-5814B7510D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$AC150397-0376-4FF6-B919-212CA11AEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7237ffb12f9e25db6f08fc9a97900ed45e5a332","datavalue":{"value":{"entity-type":"item","numeric-id":2813263,"id":"Q2813263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$27E0D4C2-DD4D-47DD-9A8E-9CB8B58A7BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4710f3283431db66fdd89b0df586170dd76df311","datavalue":{"value":{"entity-type":"item","numeric-id":3560940,"id":"Q3560940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$C0EFFFFB-BA4B-4C05-A733-18670D5E11DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$90A6AF5E-1A9F-41E9-AE87-901B2BE334FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$8C933EA0-EFFE-4B49-84DF-92CB06737941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e182d22cd63374751049cb1ad374f0b5175f7","datavalue":{"value":{"entity-type":"item","numeric-id":5477650,"id":"Q5477650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$01EEB18C-E111-400C-AB6F-8AB29E30897A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$B390854C-3115-46FE-B511-E48A56DED0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbae422e488df8a1998bc1f787eba3ba9f8b1bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2900562,"id":"Q2900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$A032DD9C-412E-45F3-AD0D-D33D7742A4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$AE8E4819-BD1B-4FCA-BB6E-16EEED70D980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aca9c7740efb34fa49064467a50947d51e63026","datavalue":{"value":{"entity-type":"item","numeric-id":3445918,"id":"Q3445918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$6D2FEE37-76BD-469D-A9F1-730E42DF6137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efdd804902792cda1413ddab1149ad239ca2487","datavalue":{"value":{"entity-type":"item","numeric-id":2351394,"id":"Q2351394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371950$55178462-C0D1-44C6-9AD1-BFE42DECD267","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ce97bbfe2e924dc76f180024cd85dada20a89514","datavalue":{"value":"journals/jfp/AransayD15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371950$A5E139F2-56C8-4A10-863A-A37EE4CFC1E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad83d404f8040da7343ff93885d0689691cc608","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0766cbe59ff87be29a1adfdbef37c7a9db272b26","datavalue":{"value":{"amount":"+0.807485818862915","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":"Q5371950$5B7E3197-5623-4DF1-8B53-9740D8816C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fdd9520e602dfc771c2278c107adc0bccaec9","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90095208faa3e2c6c3b86cffc59fbeaf2477f9b","datavalue":{"value":{"amount":"+0.7751537561416626","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":"Q5371950$BBF7E9A5-71CA-4DE8-8C81-D299C9437E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607b7a1fe795432de440ac43b2a7e67559b08258","datavalue":{"value":{"entity-type":"item","numeric-id":968307,"id":"Q968307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5f73093dec37532c9db8cc8714d84a492cd003","datavalue":{"value":{"amount":"+0.7456383109092712","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":"Q5371950$01EEECAD-62D8-4DA8-B3FF-25E1CA4F8ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0594f4c979126902584456435d87ef9adbc73610","datavalue":{"value":{"entity-type":"item","numeric-id":2102950,"id":"Q2102950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677d810d0324a65aac1b2731611af449f3cc62fa","datavalue":{"value":{"amount":"+0.7374719381332397","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":"Q5371950$BC2C824F-01BE-4664-8C53-4C28351D3E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e05246b07b174c8fcb0d8a8a08ef10b9e83113","datavalue":{"value":{"entity-type":"item","numeric-id":6108811,"id":"Q6108811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b29b7c8bf404b3102aca8542ec1ee178cb82ebf","datavalue":{"value":{"amount":"+0.7221631407737732","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":"Q5371950$0D76C544-31D7-4C07-AD2D-E899AFADCDFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5371950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5371950"}}}}}