{"entities":{"Q1791136":{"pageid":1801878,"ns":120,"title":"Item:Q1791136","lastrevid":72966210,"modified":"2026-04-14T09:04:29Z","type":"item","id":"Q1791136","labels":{"en":{"language":"en","value":"Physical addressing on real hardware in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946970"}},"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":"Q1791136$8DDB4CB2-77BD-4B60-A870-6B0B80B07122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16225d8502afd9c74b971bbde2b72a6bfb8f5e0d","datavalue":{"value":{"text":"Physical addressing on real hardware in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791136$BC538189-0AA6-4903-9AD1-01308560141B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55613df06bf0542c9496bed5993b02bcafb98412","datavalue":{"value":"10.1007/978-3-319-94821-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791136$38F47313-6BAD-4031-9880-90BD2327F331","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02f480055b36974dfce88aa2a5c42b0a105b3d2f","datavalue":{"value":{"entity-type":"item","numeric-id":1791132,"id":"Q1791132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$A8A4ADA0-B5B7-4657-BE78-5758A492769E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feb04af7fd822194240cd4f5a02acf5c5c06265b","datavalue":{"value":{"entity-type":"item","numeric-id":1791133,"id":"Q1791133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$91F028E7-427A-4723-809B-55B39E8B8B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c750fddd215cea179ba0fc2fc54be55f2272e76e","datavalue":{"value":{"entity-type":"item","numeric-id":1791134,"id":"Q1791134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$13CB7BD2-C939-49B6-89AD-254FA6567DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c60f42a6ed50208b81fa99a749e03970e933a82f","datavalue":{"value":{"entity-type":"item","numeric-id":1791135,"id":"Q1791135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$964CDF89-0865-448A-8ABF-F7E029111F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791136$999BC3AB-1ED3-4560-AEA9-C9C5DB6A8D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791136$735D3755-2699-4195-99BC-B6478A9A18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791136$AFECC88B-293B-4B26-8D1C-DF1C96927D93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f1871e00552a2c9f398e0626d59fd1be0ad68df","datavalue":{"value":"6946970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791136$9FC36203-6236-4C63-A0B2-16D0F40B8DBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$41114FEC-4F9E-46CA-9520-642270166073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ce122118285b5f2464a4bb59246553a81a13110","datavalue":{"value":{"entity-type":"item","numeric-id":40384,"id":"Q40384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$48A1A161-A088-4A8C-8E25-D99900A62148","rank":"normal"},{"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":"Q1791136$30C4AFBC-7DE0-4BEF-81DF-01A912384594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6cc8b602290f72455ceb0d513144a2973b9cf741","datavalue":{"value":{"entity-type":"item","numeric-id":33310,"id":"Q33310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791136$3F8F1347-1997-42F2-B8B1-548E4F8F5BC9","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":"Q1791136$4002B05E-FD5E-48D7-B1D8-DB52E23211A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"197c1a820c3a060390a644d6130650b3be9ad9dd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791136$504A5048-4D4E-49F2-9F6B-22B80820EEB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5f7e1eeff3798b0cba71613d8ac994b192f45c3","datavalue":{"value":"W2810049918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791136$BFA69553-5C83-4E93-95DB-5D342DBFCAE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba83feba1be4951b2507336d05662777d195de9","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d2c883f7bf69090246feebec3437533337c784","datavalue":{"value":{"amount":"+0.6935198903083801","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":"Q1791136$63CA2CFD-FAB7-40F4-A44E-59B9587C7BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65dd9541a1dbfd1ad7026b9e1124c3d9e26f061","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194b08dc3098667c5923f55dde6607fd99694154","datavalue":{"value":{"amount":"+0.6656231880187988","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":"Q1791136$25028A4F-EAB1-4A10-897E-7893956399C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f366e5466d4b0621aaf9bb2b1370668cd91fe511","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c56a4334415bfb7081f054e581b5b77878d27bb","datavalue":{"value":{"amount":"+0.664754331111908","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":"Q1791136$3E5EACA8-E263-4ABB-93F8-9983998218BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c3e8647db8f19cd48358eaadd0dbddd9e00b37","datavalue":{"value":{"entity-type":"item","numeric-id":4645755,"id":"Q4645755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd4b8e97d225b630631f1f16a6d84bbd13d2c12","datavalue":{"value":{"amount":"+0.6574288606643677","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":"Q1791136$BBC8E611-B429-4E82-A9D6-0197E8805EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ac7d1320f3d5018d8a45a1ae332da065963d63","datavalue":{"value":{"entity-type":"item","numeric-id":2209539,"id":"Q2209539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84ce2fdaa47cc49777ce3efe99f8ea20b8f0630","datavalue":{"value":{"amount":"+0.6509289741516113","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":"Q1791136$8072B3A2-EA20-4FD6-8021-AAC6D595CC0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Physical addressing on real hardware in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Physical_addressing_on_real_hardware_in_Isabelle/HOL"}}}}}