{"entities":{"Q1019025":{"pageid":1020873,"ns":120,"title":"Item:Q1019025","lastrevid":69431106,"modified":"2026-04-13T06:57:10Z","type":"item","id":"Q1019025","labels":{"en":{"language":"en","value":"Invariant based programming: Basic approach and teaching experiences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558121"}},"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":"Q1019025$EC2D011E-5563-4FD6-8B12-E430C560B9C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336134b9732a6eb8ae994918da875822b42f294b","datavalue":{"value":{"text":"Invariant based programming: Basic approach and teaching experiences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019025$B614AD53-C52B-4309-96D4-A954E62D5A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c027de490fbadf3fb9910629a3d632436999ed9","datavalue":{"value":"1178.68334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019025$8F0D4747-FE8F-488F-B6E3-BAEAEF04FF54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$E9A4A8DD-3C78-49DF-BFF0-7518B087BEA1","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":"Q1019025$1AE2BA46-CD5B-45E0-B2E5-BEA653ECC19A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019025$D263E5E4-3500-4BF2-80CD-65A86333CC0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019025$2E7DD65D-2A8A-48FA-9444-7E59AD2889CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a65592080c5bc8e90c53e20f1c8fe1115fea657","datavalue":{"value":"5558121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019025$069A3034-236F-4287-9680-0F056E0261C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019025$3B21B5DF-ACD3-49D6-A4E0-77EA361008E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$28639FA2-9930-4E6F-9DC1-4E72055246D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$CBC93156-ECA5-47D9-ADCD-C474E71999FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$BD2B2498-EC69-478D-8DB5-872E1E663FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$32C2357D-FC4C-441F-8A58-286DBB4068B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$DA17EE7E-5FCF-4CDB-A083-29CDD0E7033D","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":"Q1019025$673C948C-A7B7-47F0-95D6-0B5CEB58A522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36fb2b0d28c1a99db7e60382ea3bf1911caea99d","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0070-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019025$CA37EF27-40B0-48D6-880D-FCD26ABB2DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ca6a2f7cdcf14d340801a80d61f882f0246d980","datavalue":{"value":"W1965484730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019025$C4F65084-2C28-4E0C-9427-65A44428406D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$7B2ECC92-FD00-41F6-91CD-332E111EDEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$5B059758-B24B-4B10-9F03-BAC01174AD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$F962C0CB-EE1F-472E-9C99-411DACA0AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80c2691123fae44f25217af70bbfa5da3a4035c","datavalue":{"value":{"entity-type":"item","numeric-id":4178462,"id":"Q4178462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$7A758CB5-3121-4B6E-96CE-233800411F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62007f0a0e892a4c68e70726ff2369a9fb478399","datavalue":{"value":{"entity-type":"item","numeric-id":4178454,"id":"Q4178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019025$871E0704-51B8-4F77-805C-5FBC893E9CCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb603441352e2ebc8c838e73570b90205cb78be8","datavalue":{"value":"10.1007/S00165-008-0070-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019025$9441171D-ED8B-46B5-8160-5F58818DDCE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d82e30fffdd96d6e6151e634b6ea17f956a53a3","datavalue":{"value":{"entity-type":"item","numeric-id":3571947,"id":"Q3571947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53486b27caacc51415e234d4b4affde85c24e0aa","datavalue":{"value":{"amount":"+0.8444403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019025$203E5428-40F3-48A3-B177-A13A7C6D716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d50d2a57f60cccf17ecda3ac0e8f3684dfba99","datavalue":{"value":{"entity-type":"item","numeric-id":3585039,"id":"Q3585039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dc624255cf970ecc5d3de5045e1053930c4f9e","datavalue":{"value":{"amount":"+0.82423973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019025$B1219EE5-A604-4124-81ED-1EFAB89DD76D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant based programming: Basic approach and teaching experiences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_based_programming:_Basic_approach_and_teaching_experiences"}}}}}