{"entities":{"Q6979812":{"pageid":21381915,"ns":120,"title":"Item:Q6979812","lastrevid":84029192,"modified":"2026-05-08T07:46:13Z","type":"item","id":"Q6979812","labels":{"en":{"language":"en","value":"History-based reasoning about behavioral subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8044879"}},"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":"Q6979812$44B99CD9-362C-40FA-92AF-05CFB2925D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"717aa4048d4aed63fee124ac575a249e25b0873f","datavalue":{"value":{"text":"History-based reasoning about behavioral subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979812$1EBEA281-AE99-43B8-88B4-471DD40395B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a37ac75c078ba0a1e4250422f3f223f61265fe","datavalue":{"value":"10.1007/978-3-031-77019-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979812$62B75906-116A-4DEA-8F98-DC60144FE483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a8163f9cdc0e6fc922c2081ffd4c650707ccfc1","datavalue":{"value":{"entity-type":"item","numeric-id":6185824,"id":"Q6185824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$68C27E0F-F3B0-490A-B03A-B96192A0091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"215a6f15b6577f5bb7dab2e8f95a2ff457c27f20","datavalue":{"value":{"entity-type":"item","numeric-id":6185825,"id":"Q6185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$F4F5BDAE-EB19-4E3A-B9F5-2E18737178BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$1116A058-7CE8-450A-B48A-50FB80FF1648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dee5eef72567f68024f6e6f6a29dae74ed5cfd5","datavalue":{"value":{"time":"+2025-05-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":"Q6979812$D33905DE-8E2E-415B-8B0A-DBFA5F286DAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979812$E50CD21D-9C55-4B88-A395-05C2A7213172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40dc925d7d2b9da9a7ba7bef3c716782a1ac29b5","datavalue":{"value":"8044879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979812$F7AF676E-FB07-4943-A946-30F793FA252D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979812$B081B7DE-3C6C-46F5-9DA6-317B75674475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd55c262c7f7ad6ee2c7c747d073b3e40e77cd74","datavalue":{"value":"behavioral subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979812$D8B1418A-E815-4038-8303-F1AEF1F32262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1841c8bed6d6db4151efec605c8ba4e76d261e","datavalue":{"value":"history-based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979812$EFE1050D-3C34-4DE5-8334-81DBCB251DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979812$58D0C521-7C38-40E8-AC66-7B98DD4FFC74","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":"Q6979812$AD7628FB-82B3-4ED6-8D3C-3D0B8D018C10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$ED72792B-A405-445B-92D6-B65EE4D6C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b4e51a1efe12022c4b79dd533236fa1a2525c4","datavalue":{"value":{"entity-type":"item","numeric-id":6488468,"id":"Q6488468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$C6141AA4-7262-4ABF-B66E-A0A8934F1593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734be989e33ca067aa003c754d0fd1876c374d3b","datavalue":{"value":{"entity-type":"item","numeric-id":7025226,"id":"Q7025226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$E0A175F6-0937-4759-A79B-A04202DE87E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15a45fdc98c94e57ed6aee6ec8627751f8684f9","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$62BDD87E-F175-4C4B-B012-C990DBA1596A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$9A4C75BE-7AD8-4AF0-BC16-0857C5A90CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$C250CE8C-23FC-4A45-BF11-0CB2E66CB5FD","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":"Q6979812$6303A8C3-5E34-4C26-AD32-2DDC0FEC9354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf01f6d0f15e194b18b50e7192ec30c2fbfafa5","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979812$30A03AEF-D950-4F61-AB13-85540B01AD9B","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":"Q6979812$94E4BAD7-CDD7-40B0-B6D3-089ED8D5D750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"History-based reasoning about behavioral subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/History-based_reasoning_about_behavioral_subtyping"}}}}}