{"entities":{"Q1329091":{"pageid":1339841,"ns":120,"title":"Item:Q1329091","lastrevid":67552653,"modified":"2026-04-12T18:46:22Z","type":"item","id":"Q1329091","labels":{"en":{"language":"en","value":"Gordon's computer: A hardware verification case study in OBJ3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 597821"}},"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":"Q1329091$FD4E87EC-88E1-4CD2-B69F-EC05304860A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"683694365f408f4e1b5f40887ec8543449f9ef94","datavalue":{"value":{"text":"Gordon's computer: A hardware verification case study in OBJ3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329091$5ED64C16-D49F-4F07-B940-35669071720F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"653b6f19497dab8c7aab63f24bc00013928d657d","datavalue":{"value":"0800.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$F7911257-6AE5-4E80-A1BC-4730B49E5508","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432e7dbc4ba0a9be92e2cf6c4660ea928aa07bbb","datavalue":{"value":"10.1007/BF01384049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$3EBB4F91-DE3B-499E-8E7B-8110CCA9CCA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e694b4020f393aa39595b64389396e189680a1","datavalue":{"value":{"entity-type":"item","numeric-id":684391,"id":"Q684391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$C7FE398E-4A8D-46A2-A8F0-5C7F418BB849","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":"Q1329091$85F8B872-FBF2-4A89-9ABD-0BD7B6BCEA35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"489485f02f87b2a6e7bf05282bc879b8f2dcc5dd","datavalue":{"value":{"time":"+1994-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329091$9F72FF07-54D3-47D5-93BD-DD0716CC2B4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$B69EB5EF-CD3F-4DA3-B862-F0EA40CB732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$F614C4D0-22E0-432B-A4E8-E894AEAFBBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$069CB98A-D721-4B2E-8436-EEC5F0AF7887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b8ed84cb51e932265a83ec04628dc1f13b7e5b","datavalue":{"value":"597821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$22C44E6A-B743-41C2-B619-DD02D282D6C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329091$8CA79952-1DC0-4425-BAF7-6F1D7D941385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329091$424713C9-50CA-413D-B027-E0413536C31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099c96ba438b36a73d53dd45880927d1a6e3045e","datavalue":{"value":"hardware specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329091$A98C4249-5407-4151-8CC7-3EB71EE00C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01cffe274754d3f0894dd6ccf7c1cd2e68b69ed5","datavalue":{"value":"OBJ3","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329091$18ABB2BD-C7AA-4438-94D6-566303D1422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20800a5621c4a428b77c6d8b420587ed231db146","datavalue":{"value":"Gordon's computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329091$BE38C44A-3804-460F-ADCF-06F49369AED7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$B16E7978-34A5-457E-B742-B364135621C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$69A09E0D-57A1-42DF-9C02-F6D20E036002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"117146b754a186917ea808b012620627edd99819","datavalue":{"value":{"entity-type":"item","numeric-id":19027,"id":"Q19027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$3CD6C784-CA73-4C70-9067-792732A9576B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9bff6f26906924e7cc6ba1f1e37843b66ca39c6","datavalue":{"value":{"entity-type":"item","numeric-id":40619,"id":"Q40619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$3C9D3F38-57F9-4662-A72E-B2D7EB06C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$6790AAE1-ECA6-451C-B857-4D08B3DCE828","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":"Q1329091$EA7E3541-4585-4865-A8E4-7C643BD0180A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$0D578837-9555-41A5-A041-00A39423801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$6D0C2863-8447-4D55-9D5B-CF11B0CC3A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee5e41dfac94580b32bca85e4ef53cf690e4af1","datavalue":{"value":{"entity-type":"item","numeric-id":3742703,"id":"Q3742703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$01058DAB-C524-4350-836B-7A345DE85189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$683100D8-EDF3-43F8-B0B2-BAF53A0E715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$628EAB91-5677-4E37-9F52-CC8F58E7AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c86d89cd4b3f778eea50012f0bf53063ad7680","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$030D0A3C-ADCE-489B-9C02-C83BF1172829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acb866116ce642b1507d26463a95419186f8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1067767,"id":"Q1067767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$109ABDEC-F3A8-4449-8EBA-F25F5D817FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$5BE545A5-27C8-4CF7-ABC4-0818EF06D9E3","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":"Q1329091$C57238A1-F8DE-46B3-88BD-8A75A5CED7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a145e99e9e2cc0485358fc2e6b893fb08aeb1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1341710,"id":"Q1341710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$AE8DF6A1-2C43-40E9-974F-3F761F21A93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$C29F0533-4244-4400-81A4-9413C7668D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca029eb01dea7c14b960ed847b50c941f4afd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4028317,"id":"Q4028317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$65D777B5-E4F7-44EC-AB00-F819DB54DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492facb9a708e9316266ddea93eee4cf5bbf93fc","datavalue":{"value":{"entity-type":"item","numeric-id":4325543,"id":"Q4325543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$AB03029F-09F7-4B00-8F10-FFFAFD1628AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960789e3c510375a23035c38d5f140fe868d4fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4028134,"id":"Q4028134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329091$6A2BF10E-DE84-4477-916C-04E69845FAD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92b9bd0aff60dbddbaf614dfef0fa121efa02b0d","datavalue":{"value":"https://doi.org/10.1007/bf01384049","type":"string"},"datatype":"url"},"type":"statement","id":"Q1329091$443DCCD2-E387-4F00-A0F3-ED07B5309DAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"894e90d13d1b8fdefb740f4ac95bf95114e56cc8","datavalue":{"value":"W2003565260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329091$B4307D94-BEF4-426E-BF98-05547291C58F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gordon's computer: A hardware verification case study in OBJ3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gordon%27s_computer:_A_hardware_verification_case_study_in_OBJ3"}}}}}