{"entities":{"Q478383":{"pageid":480150,"ns":120,"title":"Item:Q478383","lastrevid":62129802,"modified":"2026-04-11T03:58:26Z","type":"item","id":"Q478383","labels":{"en":{"language":"en","value":"A proof system for adaptable class hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376569"}},"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":"Q478383$E4E4FDB7-A157-4079-A08F-C6E036E518BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adbbcd362a3148e47d64718eb71ec45b4aa10b4b","datavalue":{"value":{"text":"A proof system for adaptable class hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q478383$BDEE0EBB-C25E-4AD1-B5C1-63585D3DD8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b5aa75a17f5d927dc4e54f12977edecf408b21","datavalue":{"value":"1304.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$A6F27E3E-B14D-47B3-90A0-81ABE8992BDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467289ea79cbfe48ccb8e1271278c5886a0cd23e","datavalue":{"value":{"entity-type":"item","numeric-id":444463,"id":"Q444463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$108377B5-9207-474E-8E26-499D28C17CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$6027303C-7FE7-47ED-ABAD-E048CBADA770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$CB605734-BBA9-4308-87A2-0B03D692D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20dcf1cbee2bea65541e8ebe4eef6b12ec12b2a","datavalue":{"value":{"entity-type":"item","numeric-id":478382,"id":"Q478382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$031615CE-BBCB-47A4-8424-ABE567AFE4CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$C1E25E5C-9804-40EF-AB09-EA4D40442B90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726f2859ee2ab0ef37011c240f51f25426a8471d","datavalue":{"value":{"time":"+2014-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q478383$BEB81B6B-9B08-4DFC-95F9-542D7C632289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$26F0D5A2-1013-4C53-9C46-AC864E69B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$D564AF83-0C48-4BF0-9694-B940D26120FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f8d7208532ab608bc1421aaa616daa65e5347ae","datavalue":{"value":"6376569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$D086DCBD-1B17-4AD2-A49A-43F363D1F353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40728d7fd11538bd02d243b899b6bcb2fddc3a9b","datavalue":{"value":"software evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$9B8E0A03-3281-4811-81A2-D12E1092D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ffeea895ea2857acd70e1b5d889dbb12649a43","datavalue":{"value":"object orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$73392F89-F212-4251-AACA-F7A93FC99662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$FBE3E899-7DB5-463C-B65E-CDCDEB1366DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$8760B1A1-D664-464A-98EC-C24CCE122A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6517c7f3f8284ea8bf8e929306748f1308192bf3","datavalue":{"value":"class updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$38B9D6A8-A2ED-47CA-9250-8EF3D591E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ad7f4446c063a10eb65e87bbf615ed2f7aab72","datavalue":{"value":"dynamic code modification","type":"string"},"datatype":"string"},"type":"statement","id":"Q478383$1BCCC619-C1A2-44F5-9BB7-10C938570036","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abb4a71948df602bf10aaaa5b0211de7c4ba3271","datavalue":{"value":{"entity-type":"item","numeric-id":21404,"id":"Q21404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$5AB741F5-AB3F-4146-9058-6E9A9403AB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$EA98832F-C9ED-49FC-9735-838AB6C1E6FF","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":"Q478383$71E130E7-1B9B-442B-99F2-1740F5EA088E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32197ef94996e6617d5ad50522edf3f955da8e57","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q478383$5A832E26-268C-48B9-9E87-16225BCE1014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47ef5daaf09d5d1f5d741612fea7997a2a8a1804","datavalue":{"value":"W2021504496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$F17226B4-A1D1-45D1-9D6B-5DF0872C0EED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$99AA4DCC-83F6-43ED-9474-BC7DA629E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396b655c4dd9f268787285765ef9b66defde1a32","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$42A45D89-004D-4F1A-9D49-E1477D201AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4358fa278084f91117bb456c891694a125ddb977","datavalue":{"value":{"entity-type":"item","numeric-id":549694,"id":"Q549694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$805925AD-30F8-40E1-860D-51468679E23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f6e38720ed020acd8a12882c3efc2644eac579","datavalue":{"value":{"entity-type":"item","numeric-id":736803,"id":"Q736803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$46A5BC7C-DD0D-4D92-800B-3BED8A2A62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$A35C45DF-F418-4300-B973-600A39321F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$AF9B6343-850A-450C-B94D-CF3CF3409ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$99E8BF4C-5360-491B-BEA2-D916B5CD95F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$62C8961A-61AC-444A-884B-6C5F2F24042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$F841C78F-2796-4D8B-8E02-D7E7A1501A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdb19e4f6679e5e665ce3bf996e932965f0550a","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$F40D11B2-BF12-40E8-87E5-22E24112A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$3086ABD3-3218-4A4E-A414-C67EFED1C892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd501a120b87bb65d302c731a5571d5c56e9d8f3","datavalue":{"value":{"entity-type":"item","numeric-id":3067535,"id":"Q3067535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$A2CA8278-FF5C-4C25-9824-CA6867F82965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3878517866c80fb723603bae3c2c786a131c70","datavalue":{"value":{"entity-type":"item","numeric-id":2999312,"id":"Q2999312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$C7D4E535-9CAC-431C-AF66-E5B16A35BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500d3b4e3962269599fa42d93fe180806e12225e","datavalue":{"value":{"entity-type":"item","numeric-id":2571210,"id":"Q2571210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$E4E918CC-A5CF-4390-B09C-FBCC04EE94C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c0aee96fc75c48554d283e014b50b7c23f4f22","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478383$DE54840B-6BFE-425A-9099-A1762CE97B53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72557dc43e1f2db24fbc37a2e32f47062a6c88b0","datavalue":{"value":"10.1016/J.JLAMP.2014.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478383$902D07BC-94F5-4DF1-852C-DEF12C743775","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6cfdee3be66970caa9692d6485d749fd84c4be","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e4c62151928fa9192a8dd063d056c18f7ee57b","datavalue":{"value":{"amount":"+0.7297589778900146","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":"Q478383$1053C7F8-C13B-4F2F-A289-68010523826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f33b6d007ba304824f0f2fe3ad8ef868d1acf0e","datavalue":{"value":{"entity-type":"item","numeric-id":4817006,"id":"Q4817006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7316309bc89a3192d98b52b43e248dade46f54","datavalue":{"value":{"amount":"+0.7185361981391907","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":"Q478383$559CB4BA-86A2-4651-A375-803901273DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661adb5511bd1aa3d9d63dc60beec116399f84f8","datavalue":{"value":{"entity-type":"item","numeric-id":549694,"id":"Q549694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c89afeaadbcfc83fb79d236c9c8acd39b716d8e","datavalue":{"value":{"amount":"+0.7180514931678772","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":"Q478383$4070C8B9-72E2-4994-AAA3-377421726BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239fc52d21a99126b9a1af4d9ebe6e88f82f23f9","datavalue":{"value":{"entity-type":"item","numeric-id":3605467,"id":"Q3605467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e9f4f952b1ca9bb177b5de80987d7a35dc9746","datavalue":{"value":{"amount":"+0.7070342302322388","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":"Q478383$0000417F-5F32-4F29-81D3-0F616599BFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6290f2b7138fa31f02d86bc820afc2fb189d248","datavalue":{"value":{"entity-type":"item","numeric-id":736803,"id":"Q736803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf7644c35c0b65d055cd993636f36c77b1026de","datavalue":{"value":{"amount":"+0.7043342590332031","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":"Q478383$D3F60272-D4E3-4327-9C92-D274026A23F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for adaptable class hierarchies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_system_for_adaptable_class_hierarchies"}}}}}