{"entities":{"Q1816347":{"pageid":1827089,"ns":120,"title":"Item:Q1816347","lastrevid":73634916,"modified":"2026-04-14T16:44:23Z","type":"item","id":"Q1816347","labels":{"en":{"language":"en","value":"Inherited extension of many-sorted theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 949088"}},"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":"Q1816347$A3F31EAC-583B-4F8A-8CF1-E117B17695D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3743ee952f359dfa6834e6405172fdf1694af816","datavalue":{"value":{"text":"Inherited extension of many-sorted theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816347$EDE260E1-3EBC-4F21-9584-6B42C0E47426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6eeb64dc922fd0b59d7e647c263009ba2223ff","datavalue":{"value":"0875.68640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$3D541135-A190-482F-BCB1-A345D00580ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1748c26a6b250739c9479b936ede579418549a3","datavalue":{"value":"10.1007/BF01131860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$4066689D-0559-4DAF-978B-F07BF4708736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ba865477388faabaed9e7f568a4d789da71b04","datavalue":{"value":{"entity-type":"item","numeric-id":1047996,"id":"Q1047996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$04C09679-3033-4E0E-98E9-6E004891F386","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$6238DEA7-D87B-4FE3-A651-C26D0459006C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3f758198cb5402b2e5bac3c3790d680b145c16a","datavalue":{"value":{"time":"+1997-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816347$2DAE8D00-EF94-4193-B045-1ED7A9E095AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$33B278CD-B3A4-4B2C-A8C1-9A8AD1F3ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$7D4FAB68-8233-4943-B25F-D04D153DB9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$7C44AB47-55AF-488D-99B0-DC5480983D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1cf61ffbf26e694f51fe53b884d960c26a09f83","datavalue":{"value":"949088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816347$BDABA3A4-A1AE-4058-8BB0-C26ED3D9BA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816347$4840BB5F-CA33-427D-B064-FFBB353C6985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b16636ef100156e29d63e10a961ced684ae188","datavalue":{"value":"automatic program generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816347$CCEE96F0-8F4A-4525-8766-30964091DCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8e08077e156a9f4f4914c56fb1b762184dc061a","datavalue":{"value":"verification programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816347$B96E7424-7147-4B41-94FD-5BBD108F70AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff372b56a614d041ed8aa544a0340bada5bf9bd1","datavalue":{"value":"many-sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816347$40971D93-D8F5-459F-9C47-725DC224EF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"919923afdb09c754782c65308418b3bfdc1e8ade","datavalue":{"value":"mathematical specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816347$D962281C-80C0-44ED-BF02-7D1ED12C2355","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$42B3BA65-192C-43F8-86BD-AD2C70A3E587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$FFAB80A2-A4F9-4514-986C-6C580832CED3","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":"Q1816347$91FA646D-9273-45EF-B399-9279C9E98254","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$F5AF43C4-9DE7-44E9-96E2-BC529C9707DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$30657D37-B3E3-477B-B73B-30BC7E3962A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a32a855d9fd5a42968ab7a854015fe90ecc3e93","datavalue":{"value":{"entity-type":"item","numeric-id":3215273,"id":"Q3215273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$306F21FE-DEA1-4C89-99A1-1B6CEA7792F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d849c829a4837476d14153b38397f3c513c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3718676,"id":"Q3718676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$82C77841-34EC-46C9-B0EB-FEFEF6D0E023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62284628c42c293f74cadd19ba3d65356619b030","datavalue":{"value":{"entity-type":"item","numeric-id":3334970,"id":"Q3334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$746663E1-D50B-48B9-9B51-175E3BEF94DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f2519b5078bb9eb21d8c9f7fcd15b55f367e22","datavalue":{"value":{"entity-type":"item","numeric-id":3998221,"id":"Q3998221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$A7AC4BB9-75F3-4C24-8AC6-E72FF89950C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$BCF89122-8C0B-41AA-B5E8-75635552ECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33888f1fc8cd987a6c46b1f61e7977f2df349835","datavalue":{"value":{"entity-type":"item","numeric-id":2757820,"id":"Q2757820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816347$BAD88289-5C67-405F-A18D-0E46007900C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inherited extension of many-sorted theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inherited_extension_of_many-sorted_theories"}}}}}