{"entities":{"Q1941890":{"pageid":1952632,"ns":120,"title":"Item:Q1941890","lastrevid":51679067,"modified":"2026-01-19T10:55:48Z","type":"item","id":"Q1941890","labels":{"en":{"language":"en","value":"Semantic inheritance in unifying theories of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148355"}},"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":"Q1941890$62CDF844-B9C4-4BC0-B615-F8471B9F3971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9f746f61ca4f3466624a1c2aa544f167a4dccc","datavalue":{"value":{"text":"Semantic inheritance in unifying theories of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941890$CFC74E5D-2C47-42E3-B032-12C9A1CEC48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e07452c200a47591d8630a11a1e00e5e14ce90d","datavalue":{"value":"1259.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$420CC5E6-665A-43DD-AF71-FB4DB8CB08F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2786704b3b74043997659c4409f084037af9abb","datavalue":{"value":{"entity-type":"item","numeric-id":276463,"id":"Q276463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$83A8F32C-9C51-4B38-9E2D-793FF2059B8A","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":"Q1941890$29842309-3971-452C-96D1-5C2248FA0060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941890$11B13244-C8A5-4B3B-8855-9ACDB1EC7512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$305A56AB-689A-4275-91E4-091A3E16FC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$2A601191-64B7-465C-861A-39D8BF41596A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$743DDFC7-0DAE-4066-B82B-4784E1A4282C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7757edfb428c5f15cd1b4cb2a2a498852ef3fc86","datavalue":{"value":"6148355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$32B62F30-B4A7-4A4B-857E-9CE721F7FD3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957bb84ba68540a67415dcdd9d5a40a4d72cf36d","datavalue":{"value":"predicative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941890$90DC4A09-57CE-4A02-AD27-3F2C94FFE0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941890$4E274D91-CA3E-490F-8B5D-1DA639BA51D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941890$B34DF193-65B1-4425-8B94-D840320EDC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e93a2a86d4585183186be9d6e35df7e75d36fe","datavalue":{"value":"healthiness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941890$CBD1F53C-B805-437C-BCB2-28F56A40A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3191c92cee4ef5d5b9f67bbe67be28800aa94ec5","datavalue":{"value":"fixpoint theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941890$87EDF1CB-B430-4520-99EB-47CB04F3AF18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$126E598C-CC9F-4A20-9E2A-F304615FB37E","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":"Q1941890$AA5416CD-196A-46FC-8B28-C21347659B8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b818b18ea4f5b4ade7232fd2234a1af8b852cd84","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0051-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941890$C7939AA7-C14F-4C09-BC27-6AE13C709624","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ec731bc02d81631cec2d0e280df1318d46fcdb","datavalue":{"value":"W2026662965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$5D4D6A52-655E-47BC-8243-81B205C18C7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d50ca9e5a037c3a2164d5548b033dce12b976a","datavalue":{"value":{"entity-type":"item","numeric-id":1402466,"id":"Q1402466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$04D4F29B-2003-453D-B346-DDF7C5B2049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd40cd01e4ffb0ba4b6afadce7c4c3b751262c9","datavalue":{"value":{"entity-type":"item","numeric-id":5307480,"id":"Q5307480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$293DA8CC-1ED7-44C7-A542-7E851A4A5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b3ea94d91246e9f926641b9800356e0bac4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3608883,"id":"Q3608883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$45C5C941-7B95-4DD0-9ECB-B14CE2F118A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$35596B54-51DC-4305-917D-08B391F2B822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$E3237170-8331-483B-8BF1-B275159AAC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$2823F20A-C1EC-464A-BDBA-097C38928DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0cdc820ae0b83d1571581e61624781d19db794","datavalue":{"value":{"entity-type":"item","numeric-id":1366535,"id":"Q1366535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$CD11012C-0DA1-4430-B947-112BF7403F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941890$51C04D30-05DF-4D16-AA2E-8CD72B429EDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"806d900636b04a5fd0fe51b7a3131ff190626c97","datavalue":{"value":"10.1007/S00165-007-0051-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941890$ED5AA60E-4FFE-4A98-AFCE-DD5D630C8A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a882b9f94d2d662fc1bfb61a704bef560732636","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40a88c590cc1f78c3e9cee182ba240163e608ac","datavalue":{"value":{"amount":"+0.767419159412384","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":"Q1941890$778F8E88-AB0C-4AA0-908B-82945DC9CD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111634c180e51898e7db72b4c025f608f2b8c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3055748,"id":"Q3055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a0e2d9d2d0631a03cb6dd1eb50bc9f1e2e6f11","datavalue":{"value":{"amount":"+0.751726508140564","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":"Q1941890$BE9FFE15-2298-41E8-A48C-D860DCCEB3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bca78164e9b2f6ed69a1590f4a17912013341d4","datavalue":{"value":{"amount":"+0.7489609718322754","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":"Q1941890$DCF02268-FBB2-4F2A-8AE1-C5E00C27C882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b2bd5e6e053311712022fc12b2369d70522a55","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667b04e93021055b42fd0a854671fff7a16e1145","datavalue":{"value":{"amount":"+0.7270731329917908","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":"Q1941890$6B2DB253-7A11-4AB2-8C1E-F22A4F4BF6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3b50aaf9746a8c54ae5595f0acbaf76870733a","datavalue":{"value":{"entity-type":"item","numeric-id":3585024,"id":"Q3585024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc132f226806d1f4c619d4207f672086c0d69b0","datavalue":{"value":{"amount":"+0.720145046710968","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":"Q1941890$BCEE4A98-BA33-4E28-8CCF-8E6335853909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941890"}}}}}