{"entities":{"Q3829061":{"pageid":5858967,"ns":120,"title":"Item:Q3829061","lastrevid":54466352,"modified":"2026-01-26T23:45:24Z","type":"item","id":"Q3829061","labels":{"en":{"language":"en","value":"Data models and languages for their description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104374"}},"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":"Q3829061$3AA6A812-9B22-48C8-96E9-6944CD9C9E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac13719b68590b1300c03869e8e4f388401f1e97","datavalue":{"value":{"text":"Data models and languages for their description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3829061$B395A89B-7A80-4707-9599-08F483CEEF3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2f7d48ffcf06658c3e48fa70df3e2899eb6e136","datavalue":{"value":"0674.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$9F061A87-868D-4E72-A54C-DABF0B8679B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f293d9277ea4ccebc3c19b3d1cde4d26e872eff9","datavalue":{"value":{"entity-type":"item","numeric-id":3472457,"id":"Q3472457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829061$21E68201-5F00-45F9-B61B-117AA6BD167B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3829061$25B5E5FC-C8FC-4E3F-BB6B-01BDCF32E896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$C6C62BDF-F7D2-4B1F-88D9-A23358B6D69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$D013EBE2-4817-40BC-BE54-56823002DB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$D664F117-4607-4A58-866A-E4DA27EDEE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$F9EEDE0C-E423-4698-9E9C-11F85EEE0ED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fbb1ef0bd74f441ef92608f33e28fdd71a9cdd3","datavalue":{"value":"4104374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$B0A78367-D298-4DBC-9123-4F71B22C8742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829061$3B9CD1B3-E598-464A-A725-566FF3B0BC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6609faf4a1c5f7bdae024db4e2fa6dc35201be","datavalue":{"value":"first-order implicational specifications of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829061$E59C4E0D-2F3A-4BB2-AEBF-58ECEB364CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829061$B059602B-61C2-4973-A51D-18178859EA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1543612e7b406a296bf15e2b4ea459eb73757cb9","datavalue":{"value":"nonstandard recursive models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829061$8BC3EE8E-99F7-45F8-BD76-5046208D28D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829061$0ACF99E7-7798-4E2A-8D2B-DB81F5AF89EC","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":"Q3829061$10C4C105-7CD5-4357-BF05-FC94FF7A9BD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eab56195dfee3b73a0a222a95bbe5707106faae","datavalue":{"value":"https://doi.org/10.1090/trans2/143/08","type":"string"},"datatype":"url"},"type":"statement","id":"Q3829061$53B9A67B-69BC-49FF-AEB0-9EA44B125CB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"832e4b49f0d96c269c4d8eddaf375dad118f83f7","datavalue":{"value":"W4230352961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$0A669C79-CC4A-4906-A87E-25BF269E0D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0c6cab5f37588035ae80cca39cdf895a373d1e","datavalue":{"value":"10.1090/TRANS2/143/08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829061$0C203DD0-6324-4A14-A924-9A789700CCCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3829061","badges":[]}}}}}