{"entities":{"Q816213":{"pageid":818061,"ns":120,"title":"Item:Q816213","lastrevid":64551549,"modified":"2026-04-11T20:39:33Z","type":"item","id":"Q816213","labels":{"en":{"language":"en","value":"A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007760"}},"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":"Q816213$F499D5B4-9A8F-48F6-89F9-DD53E1ACAE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6dc85d5a0aaa8d91baa08fddafb79ff49cf3f5f","datavalue":{"value":{"text":"A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816213$88BBD1D7-FCEC-45F9-88EF-93CB5E6E10B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0345ea4169c61b78f95584566d702952e9585763","datavalue":{"value":"1086.68517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816213$D2E9B664-496B-4FCE-9004-6DE9F1C7C5E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54189bb4b4a956187709be725e05eea11f9b7e2e","datavalue":{"value":{"entity-type":"item","numeric-id":816211,"id":"Q816211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$9859C3FA-A24E-4059-89C6-F5255F2A5696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c16072e2458b953061458407131f720bc14576b1","datavalue":{"value":{"entity-type":"item","numeric-id":816212,"id":"Q816212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$CBC1BF9A-8278-49E7-8E4B-9EF086D0F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97346ca568957bf7c5a6464e2f971d2747a363f8","datavalue":{"value":{"entity-type":"item","numeric-id":685117,"id":"Q685117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$299D655C-4667-4D11-BE2F-DC170A905192","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$55B142AE-C5A1-4512-9895-339C97E847F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816213$5CD8E919-B64C-4EFF-9644-46BAD8E635C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816213$38B659AC-2353-4E18-89EB-A9701A990620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd7f2f4bd8f9e20392635607fffe1ee31b205f91","datavalue":{"value":"5007760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816213$5DAA45C9-D5B1-4775-94F2-4CB2BDB2D753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q816213$DE83D71F-D7C3-468F-B71F-A0200BDC229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe6a4db7f6d4f320025a2c13e14a4633c9dceaf","datavalue":{"value":"symbolic trajectory evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q816213$22F0EC89-1D44-4B40-9321-4B3737962277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45a0699f65787133d035702de9fddf89984869d5","datavalue":{"value":"efficient memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q816213$59CA746B-C058-4F47-AFBD-F6A65387C197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d232be8bbef710f97963c388e113b1c3baef6d4","datavalue":{"value":"embedded memory verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q816213$EAD212F7-2190-436A-9B00-EAF05C27A6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bc662c3d6f90404ccc6ef7341dbb119ceec220","datavalue":{"value":"custom circuit verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q816213$F071A584-5761-4F2C-A2A9-999D40455CFA","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":"Q816213$F1768D6B-7789-4ED1-89EA-96FB3C3EC06F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950ead0a36fd5bee02ac522691aed5fbb2a99156","datavalue":{"value":"https://doi.org/10.1007/s10703-005-2250-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q816213$51155942-876B-4D24-B1E8-26D17A4EF208","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cccd8fc7c241dc887a3c80bd20533bbc5f6a299a","datavalue":{"value":"W1980490128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816213$2560A5A3-DC54-451A-9CFC-9808B3C42F32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e591f912f998dd47d54cbb56586976d9d903314","datavalue":{"value":{"entity-type":"item","numeric-id":4788549,"id":"Q4788549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$C034F19F-4EB3-4927-A49B-A21A32A12E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$3B5B25BD-17A0-4F53-8340-D18F4AB0C3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d2c55cd87f0c76ad11b645b3627affd180122e","datavalue":{"value":{"entity-type":"item","numeric-id":4037095,"id":"Q4037095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$BB833818-4CBF-495C-B784-642C9737E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a22d81c4ae9f88126679d34a6d4a88f6d71e58","datavalue":{"value":{"entity-type":"item","numeric-id":5596847,"id":"Q5596847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$2C608F15-6A7F-4AA1-A836-12D2230D3514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816213$CBD11582-B70D-42D1-8667-5247DD61369C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5a3f31e5c6f11896e37b711e370f98a8d40c92e","datavalue":{"value":"10.1007/S10703-005-2250-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816213$0F42DD84-04E0-4FD6-9311-D66C3D9C1845","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d551f1e50e29d03def227f4fa06891fa0bdd2d38","datavalue":{"value":{"entity-type":"item","numeric-id":4788549,"id":"Q4788549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676cf62fadb5e82e35d6bc64cfb2f40d169dbb1f","datavalue":{"value":{"amount":"+0.8721973299980164","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":"Q816213$310644B1-B8B2-49BC-B118-1139214EA2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9315132861f170561e5e23130324177fec94bf","datavalue":{"value":{"entity-type":"item","numeric-id":2769591,"id":"Q2769591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000ef8681d5b607620cd3e725d84ae3e5484a416","datavalue":{"value":{"amount":"+0.7493990659713745","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":"Q816213$298B8B34-CF3A-414E-BE2B-6571A24CF37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57dac5e9733bbbaad6a936013c102dabfd2939","datavalue":{"value":{"entity-type":"item","numeric-id":4419604,"id":"Q4419604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86451c6df56fe19e8c3d454dd31f7c1ce4b8096","datavalue":{"value":{"amount":"+0.7463792562484741","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":"Q816213$7B585933-FFA3-46DF-97BC-700869E7FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df996a015c72c92968b46d3f9226a119a80bc67","datavalue":{"value":{"entity-type":"item","numeric-id":1870230,"id":"Q1870230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b90ea0503d92768ec7fee4c71e5ca95677d9b1","datavalue":{"value":{"amount":"+0.7441881895065308","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":"Q816213$6F4783C5-10E0-48F3-98EB-DD43FF04DB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592fa7361a85d223e5c86213fb24061a6344336f","datavalue":{"value":{"amount":"+0.7221219539642334","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":"Q816213$C1117AE8-79D3-479C-9C0A-B93B79DACD2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_framework_for_verification_of_embedded_custom_memories_of_the_Motorola_MPC7450_microprocessor"}}}}}