{"entities":{"Q3105750":{"pageid":3116466,"ns":120,"title":"Item:Q3105750","lastrevid":51397403,"modified":"2026-01-18T02:02:39Z","type":"item","id":"Q3105750","labels":{"en":{"language":"en","value":"WP semantics and behavioral subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5995602"}},"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":"Q3105750$C899CA4E-8E28-4B61-85F3-B7C0B8C58544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae8628fd1fd7cae58f252483e9f8420504525c01","datavalue":{"value":{"text":"WP Semantics and Behavioral Subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3105750$96A0E11D-F93D-4D66-9AAC-4699831A3C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d3af2dcb546d003cf091d345d0f11e4a6e70491","datavalue":{"value":"1351.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$C1ED8B6F-B770-49A9-A1EF-957A6F54993B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad3b6ff9a5f7193671b5d7560417d7e0cf902495","datavalue":{"value":"10.1007/978-3-642-23283-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$12E1CE41-3B61-45D6-8906-43BB0F3A9E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31515dfa91cd0a71650f2fa8a193e9a6d7d17b90","datavalue":{"value":{"entity-type":"item","numeric-id":351974,"id":"Q351974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$8FB5CE67-08FF-429C-87AD-93038D1D3F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f517d14bf81fc5c975a27173e36d40711986509","datavalue":{"value":{"entity-type":"item","numeric-id":1303400,"id":"Q1303400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$F7EE7F88-1DC3-4C1E-AF6D-7E3D109CEDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eca53833a4ac5d7d657ee255ca29933e94e9049","datavalue":{"value":{"entity-type":"item","numeric-id":554991,"id":"Q554991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$BC48D7E4-D491-4DB3-B606-4BD522F52222","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f0e8d5168ec2ea9484b13e796ea882792b21c59","datavalue":{"value":{"entity-type":"item","numeric-id":3105741,"id":"Q3105741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$8F4BC346-CCE9-4D9B-A9E9-E83ADB64EF27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221666eb8b8cd2c48ae4052cff47ce6091f4ee40","datavalue":{"value":{"time":"+2012-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3105750$579DB6B1-32EB-4670-A315-A070C175542C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$0B99CCC6-E008-41B8-B46D-978F43C10894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$634037F6-1702-4EE0-9C22-5B059C6AB498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$C9F84622-9C25-4605-9C40-95A178D886A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b518cd8ff04d9289dc69ca3fc51e865598fe3f4a","datavalue":{"value":"5995602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$58B8843A-8D60-4238-969A-32527392B72E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ffeea895ea2857acd70e1b5d889dbb12649a43","datavalue":{"value":"object orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$BEAC3C88-854F-4F3E-8D4E-F6830B2C131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$013AD783-4432-4A18-ACD2-D6DEF3011267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$F23E7366-7615-48EF-8E04-A79B99BB9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$61D1E217-35A7-4CA1-A440-377D8C04E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$E272701A-66E6-4D96-9D11-2D505E7B1D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd55c262c7f7ad6ee2c7c747d073b3e40e77cd74","datavalue":{"value":"behavioral subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3105750$5C616E27-A4BB-4E6F-8098-F4FAE8178FEC","rank":"normal"}],"P1463":[{"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":"Q3105750$F39D04C2-425C-4432-9C30-6C813DD836A3","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":"Q3105750$72E7F106-4363-4C37-B04B-E69B71450D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$3D28EA8A-E333-4D63-B445-C0B7464D30A3","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":"Q3105750$970A8613-923A-4A43-864F-AF5AB2EC9160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1321fe9111742ac2af5404c476552d896973b11b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23283-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3105750$85B43F96-DCCC-4BF5-8528-8D272FE7BBA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccd743a9681e14d2c753d0de31f2c68111c94559","datavalue":{"value":"W135120204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105750$3C26A029-4E4C-4278-8106-4712E8DDD2E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f087dff48842332d802254dba119bc69b17ba868","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$58DE2F8C-02C9-40F6-8945-5C76650EF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$A9F602D7-5988-42B9-8D8E-8296B0DFB864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48723867c2f345dad59b1e19d2d68a494ab1eae3","datavalue":{"value":{"entity-type":"item","numeric-id":1881666,"id":"Q1881666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$6D5548A1-360D-4D60-9F9A-C695904E1671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c670c189ca485c7f6b031024bac0680e696f6","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$72042743-D997-44DC-A0D7-F1DF89F3EB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$728CC4E7-4AFA-42BD-9DB4-C524D2C99915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1df595d9c97aadd097508a204c08fc0a9129c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000593,"id":"Q3000593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$E600647E-D459-4748-AB18-C079263195C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$E4C222FC-09D1-4C18-8828-6642089F5F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32bffbad242579615a270378cbba850fe8dcb19","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105750$748F48A8-B111-4CD9-AC2A-AC4F8D942F9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69a3b8205af1a6e69c73ab65c0f933e5dd70a98","datavalue":{"value":{"entity-type":"item","numeric-id":4493905,"id":"Q4493905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e46815371178cac81a9403b58462f11938e3d3","datavalue":{"value":{"amount":"+0.7998366355895996","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":"Q3105750$1CE382C5-FBE2-4019-BAA5-7069B65A0E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a61770a4e2b54a494870ecb561ecc50f64c739","datavalue":{"value":{"entity-type":"item","numeric-id":2767195,"id":"Q2767195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4c358cc71a06bc3471175e7cd0fcc2fbffbfb6","datavalue":{"value":{"amount":"+0.7378354668617249","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":"Q3105750$0E1FFBD8-B3B4-4363-A6F6-D4CF3E7B3494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5277c6441e231991b9461d89fdec576f886d22f1","datavalue":{"value":{"entity-type":"item","numeric-id":1881666,"id":"Q1881666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751abc5824355a087c17fe242c0af0c1e60873de","datavalue":{"value":{"amount":"+0.7285063862800598","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":"Q3105750$84D18E95-DEE6-482C-8E2A-C5D1DB9BA5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0189949db1b7e5fba467ceb660834348906a34","datavalue":{"value":{"amount":"+0.7276768684387207","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":"Q3105750$FE6B2B68-7F77-42DD-A2E4-130401FA126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a880aba9b42345180ea73baaebc65531fd44129","datavalue":{"value":{"amount":"+0.7238945364952087","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":"Q3105750$E9295355-C0D3-4275-B440-68BB5F90E01A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3105750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3105750"}}}}}