{"entities":{"Q3460507":{"pageid":5239907,"ns":120,"title":"Item:Q3460507","lastrevid":52429094,"modified":"2026-01-22T15:16:44Z","type":"item","id":"Q3460507","labels":{"en":{"language":"en","value":"Reasoning about resources in the embedded systems language Hume"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527505"}},"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":"Q3460507$353072F9-696C-4563-AAA6-C3B1CECE4774","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a37a4b691969f175a4cb58ef4388d5d1a1726ba","datavalue":{"value":{"text":"Reasoning About Resources in the Embedded Systems Language Hume","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460507$44E75412-73F7-44E0-9CC9-9510684BD501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ccf12c5f2859d1ebdb5ee1be8645aabf78a0c5e","datavalue":{"value":"1445.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$64DF2CD4-B952-439D-8D28-F21B2B613395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"239bd222375b08370525788851246455c957c541","datavalue":{"value":"10.1007/978-3-319-12466-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$58FEFF62-16AD-4BCC-8FFC-531A3DE0EC8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b90353512d814f6655789de8fa8f4adf362ca9","datavalue":{"value":{"entity-type":"item","numeric-id":656857,"id":"Q656857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$900C50F6-D33B-4F48-9C23-B12A88DBD699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48c83a006ad04a231123636e10733cff431ab658","datavalue":{"value":{"entity-type":"item","numeric-id":2463559,"id":"Q2463559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$65C3A721-6783-4387-BD0D-2172BA76E911","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$9789F2A7-7D58-476F-825B-A9401E7C3804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460507$A07E704D-B206-4E77-84B5-413124FCD33B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$A9B9C442-774F-4C16-BA69-45A2162BE9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$0A2E8A8E-96D4-4BEB-AE7C-4771C36693A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$37544AD0-CBCB-42DA-B694-B2E59B7B7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$841EB997-4065-45DC-A2A6-E0F8A9D1789B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1af478fc8aedade065c9f7b2f8b8a713741f0ae4","datavalue":{"value":"6527505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$0C2362FE-22DA-48BA-98C8-F0B714A368B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$1ED3D84B-D16F-4F0B-9782-048EB40C7ED3","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":"Q3460507$80F3935A-AB64-408A-92FF-DDEC31A0EF43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43457320326bff42312c5a0426bc26367a3404be","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12466-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460507$6166395A-9A96-4D6A-8F65-586E3C30E53A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d9244ad2db1ed2de61d79bb4c6f23bc2829cad5","datavalue":{"value":"W1004448426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460507$B168BCF0-9AA3-4EAE-9306-B080B9B026C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef8ed3bb5f59fe38cee2046799e8a1db0d99625","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$2D918B2A-1C2F-4C1D-949E-8698491DFC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$00BA84F2-FB06-40CB-997C-9E3EDA7872FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d081ee1c24ec3a9e4358e339c8f9e821269780b4","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$7184E417-6DBE-4626-B142-94508BB04846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$46F6886B-6BA6-47A5-A19C-46D230B9840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$0D33C987-243F-48A5-A2F9-C6C063914DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$F1089A26-2BDD-4BD6-945E-6172F1D02886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c4800beae8378f1a4b11f2d077f1726a9bec89","datavalue":{"value":{"entity-type":"item","numeric-id":5464647,"id":"Q5464647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$670CBB6F-FBAF-4F9F-974E-6A2201C32ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$5E5F0F0E-AD18-43BD-A248-E0BC6AE31432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$6A60EEE1-7D24-4678-9CED-8E16E0D05BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$6688B7E1-89B5-4BF7-96E0-272F8B7788FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460507$2F850E08-7710-48FC-90F5-39DF82C88393","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f7a82e5cad8de157500cfb6b195e750d29cb7a","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703f304cb9c584097d13de28615d9182d6e4d987","datavalue":{"value":{"amount":"+0.8073822259902954","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":"Q3460507$0FCDE31F-6597-4013-8B5A-1330CCA85C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e830bddf2f5d41ef29146b9c90592c5455f9bc17","datavalue":{"value":{"entity-type":"item","numeric-id":5464660,"id":"Q5464660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980df652125ec7a14fe12169334c4b6f028dfc67","datavalue":{"value":{"amount":"+0.7853649854660034","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":"Q3460507$EF3B2612-C9E5-4E33-A71C-E03C6AD1D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7457a9388aef268319988d2828d25b2487d23968","datavalue":{"value":{"entity-type":"item","numeric-id":5747628,"id":"Q5747628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b6e282decd6068c1d15f520f7e2760a219fd9c","datavalue":{"value":{"amount":"+0.784190833568573","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":"Q3460507$107FEC5E-3949-42D9-9D2C-6E7E724BFFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cb8cf829a19e65aaf64c6b64b8d67998eb8848","datavalue":{"value":{"entity-type":"item","numeric-id":5302889,"id":"Q5302889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b006e71e307b87bbfd6af4cd8d1e7102153784c","datavalue":{"value":{"amount":"+0.7302337288856506","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":"Q3460507$C168B08E-A3F6-4F3F-BA7A-DB0CAE495339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c39750c89ae377b7d1f1ee49f4fdd71880dca9","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998f85d02a8e0cd832b032ec1a0c6ffa9e88d97f","datavalue":{"value":{"amount":"+0.7185100317001343","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":"Q3460507$0B01A84B-2D7C-4D4E-A8DE-9C682A862995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460507"}}}}}