{"entities":{"Q4645815":{"pageid":6675396,"ns":120,"title":"Item:Q4645815","lastrevid":40719378,"modified":"2025-04-04T11:26:44Z","type":"item","id":"Q4645815","labels":{"en":{"language":"en","value":"Abstraction of hardware construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000093"}},"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":"Q4645815$80A300A4-7F64-4F37-8294-8BB99D88C37A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6697f098e56b30629177fe8bfae47c40ebc7bdc","datavalue":{"value":{"text":"Abstraction of hardware construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645815$018D921F-DD60-4055-AE4F-AEDB5DC3B693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82a6752793bde2fb6b94bbf77b848ffedae74787","datavalue":{"value":"1407.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$1981452B-9FAF-4FF9-B54E-FD018C92E3C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"297d61c9ae432fca8294078370a0c394eebef3bd","datavalue":{"value":"10.1007/3-540-61254-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$3A1ECB23-6B9C-4EBE-B24F-37BF93447EF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c3bbf6e27d85b5f33876039b704bbb223761f33","datavalue":{"value":{"entity-type":"item","numeric-id":1863999,"id":"Q1863999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$3DC6096F-E47D-4E3F-9557-55ED93289117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$2CC3443C-7B5A-48D8-BD8D-33ABD36081FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$27AABF70-C0DF-40E3-9D9D-431E1AF64444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645815$F0461155-57EE-46E3-AAF0-E68D3892E647","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$78C130AD-25AE-452C-AA8A-A96933F79F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$DB776954-4BBC-437D-842C-7C7E1414842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$6A29AC45-21C0-4593-806B-A7E1DA1EB976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b85a2cba4250e75f59a88bf2f221a2dc45fe45c","datavalue":{"value":"7000093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$755276E8-4FE0-4EFD-880D-BA3A6C85A968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c51a62407da856ff88ca0805eb8b0f6b3cf9963","datavalue":{"value":"construction model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645815$E8DA5942-CD44-418D-8C4C-8131AA3B61FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a874b9542f328b0b2171d9452d572dfd1f4c7a","datavalue":{"value":"specification scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645815$3818662B-D273-419F-A66C-C18B0756025F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645815$30399540-26A2-4CCB-9ECE-15E6FD5617C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645815$456942C0-5EFF-4FA9-848D-A889A9181593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af771bd5460fea436a35daf8b1c77502c2446ea8","datavalue":{"value":"construction scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645815$E8285210-6C32-41F4-9B0C-84478740E480","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$9D89F367-A80A-414B-8C0B-B114608FFD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$E2883BD2-03F4-49A3-B8F7-2E2C4A6D54E5","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":"Q4645815$76215A2F-8EBD-4493-9738-0FFBB1CD6C20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fe14e7aabae0250c19f8463b17388339856835e","datavalue":{"value":"https://doi.org/10.1007/3-540-61254-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645815$7EE696FA-4213-406A-9883-ADE3FD3436F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb8c19e5a0b8a9bb2ee1e0cd2259dc979ad102f","datavalue":{"value":"W1841475614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645815$87696318-3513-4682-860F-6228D2323DE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940bde6c86f5a2dc83eeffbb64613d3e4fcbc7","datavalue":{"value":{"entity-type":"item","numeric-id":3996818,"id":"Q3996818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$FA6F03B8-2941-4D57-89B8-36875F7CDE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$893A650F-C6FE-42FE-A507-76DC44ED2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$7FEA91F2-AEB8-48A1-B94C-9808A9984B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$1CCA282F-75BA-46B1-9904-07C836A58148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81559aa4b1e07e509ce5baaff541abe1b3187e60","datavalue":{"value":{"entity-type":"item","numeric-id":3753930,"id":"Q3753930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$63040F8C-AF80-4FB2-BB00-96C8BD634B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c29368e9733758742d444e7bba01cb75642d55","datavalue":{"value":{"entity-type":"item","numeric-id":1327711,"id":"Q1327711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$E9D1199B-097B-4C15-A075-E1D61015FC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b1579b6aaa1b3a7b8417f6f1c6c41f33e9c74c","datavalue":{"value":{"entity-type":"item","numeric-id":4281671,"id":"Q4281671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$A85B6056-9DAE-4298-B897-3A5E68BD00ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8da7085889d579296f681141f83c03f85e6a20","datavalue":{"value":{"entity-type":"item","numeric-id":4028135,"id":"Q4028135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$28B88B3C-7F4C-4B04-8095-7E78D7F1AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258d8c5ae3d2e1391fcb6a7af5c94ab43a15469d","datavalue":{"value":{"entity-type":"item","numeric-id":1308629,"id":"Q1308629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$DB880B0B-600D-4053-9FE4-C89EFF337B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88e18e094486f49e7b6f7c191531e19f929e7d5","datavalue":{"value":{"entity-type":"item","numeric-id":3999357,"id":"Q3999357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$7EA782AB-95FA-4219-875D-B6E293C1FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175feb295379303ca26058332162a702969964b2","datavalue":{"value":{"entity-type":"item","numeric-id":4281998,"id":"Q4281998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645815$8E124F21-0834-4D02-AC87-08EBB462F144","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c16635a6211cc18c44603d90bf0af534c01578","datavalue":{"value":{"entity-type":"item","numeric-id":4880448,"id":"Q4880448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358db9d3fa25221ed397849a3d1ec292497b7eb5","datavalue":{"value":{"amount":"+0.83445925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$91DF6F79-C427-4531-A2F0-3BBA3B7B4EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105bb8e749f11606991b6f08b6c778cc4e00e928","datavalue":{"value":{"entity-type":"item","numeric-id":4281998,"id":"Q4281998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb33f5ed57efe26456ba238032c5d9b762062fe","datavalue":{"value":{"amount":"+0.8323685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$DBAF8D2D-912E-4C09-AEFB-256D419DAF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26607f650f85e0d7e3e0d85c6de90af1ccb84777","datavalue":{"value":{"entity-type":"item","numeric-id":4845538,"id":"Q4845538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe248a1386038481d09b479d0c49d372601e90e","datavalue":{"value":{"amount":"+0.81865144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$F60B5145-E743-4336-A01B-5A0330294BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457aac56ad7d28e16dcdb5e360748b86e035a61b","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24566b3dcafef3381e452a2beb5c041e7a2027e2","datavalue":{"value":{"amount":"+0.8168808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$D7EE2659-7423-49A7-8858-9CEF74C3F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab0a0eb680f38561e6ace7eb90a6668922d6a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5452705,"id":"Q5452705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8201dea692135e56aa6ea29e9ed4f0494279a9b7","datavalue":{"value":{"amount":"+0.81604534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$D2694A0B-F04C-45DC-A02B-7663D5E359C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5cb1ce38bdc1d63678d497b28cf9a4d60bd9431","datavalue":{"value":{"entity-type":"item","numeric-id":5250313,"id":"Q5250313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e154dc7647455374698dcec757a24029efa4e9d2","datavalue":{"value":{"amount":"+0.81458926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$EA7D2D9F-3208-4A7D-BD00-2A0EF97B0BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a5217f78edfb47a29e9b66b7982be3374720b4","datavalue":{"value":{"entity-type":"item","numeric-id":609757,"id":"Q609757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cd03aac839af4dc518236474242695c73b6e92","datavalue":{"value":{"amount":"+0.8145414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$3123EF2B-59A8-44E4-BF4B-4F2404E9F67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446613962c25e7551415765ca0c45ef7be90815","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2040144c35b14f4bf4e18775a4062814ccfe2535","datavalue":{"value":{"amount":"+0.81212145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645815$8737E359-6A46-4B3B-B93E-0EB8414E5C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645815"}}}}}