{"entities":{"Q3886835":{"pageid":5916740,"ns":120,"title":"Item:Q3886835","lastrevid":54650396,"modified":"2026-01-29T18:58:10Z","type":"item","id":"Q3886835","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3692622"}},"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":"Q3886835$AAD1156C-7338-46AD-ADB5-6E2BED530743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88a666a1ac26a8c6fd866052b57036a7f413fd20","datavalue":{"value":"0443.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3886835$B615F260-2A40-496A-956B-D6008DD19F27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2096f407889a4c47596dd337682d535243e6aef","datavalue":{"value":{"entity-type":"item","numeric-id":1161270,"id":"Q1161270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3886835$0D0D7DA5-4BFF-4465-AF2C-F560DC785A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d147d3a2f1d78f6f0ac3adfd6d7ae9c05cec469f","datavalue":{"value":{"entity-type":"item","numeric-id":1161271,"id":"Q1161271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3886835$03857169-578F-4AC7-A603-CB74932059A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3886835$0AFE11CF-10E2-483D-B15E-DCEC86B17AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3886835$8F146235-404A-4B42-83DF-0AC2736DF5BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d632688b696dbfe743148bcc797c353911bc40a0","datavalue":{"value":"3692622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3886835$B9EAE03A-7394-4491-9162-A76C35EE2211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5581d394c65825f9bd2279b463e2beb17c2f437","datavalue":{"value":"program behaviour specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3886835$A62AC57D-9083-4881-A188-7AF676BBF27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3886835$DE4A648F-0AA9-476F-9A41-46BF11740D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3886835$A9251F8B-4FBC-4618-9892-3924A2A86FDE","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":"Q3886835$748C5968-33D1-4033-BA91-23DA1DF79945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3886835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3886835"}}}}}