{"entities":{"Q685100":{"pageid":686949,"ns":120,"title":"Item:Q685100","lastrevid":42640670,"modified":"2025-07-07T14:45:38Z","type":"item","id":"Q685100","labels":{"en":{"language":"en","value":"On the comparison of HOL and Boyer-Moore for formal hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417062"}},"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":"Q685100$EC55872B-4537-4999-B512-FBE7BF856C48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee94492e4e7d6a62ce2f58730bcc0215cf14ebc","datavalue":{"value":{"text":"On the comparison of HOL and Boyer-Moore for formal hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685100$D6EE4703-ED65-49D8-AB17-4C8B6C6190ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"459014808c634ec0e3dcc95d8b2a43cf3828a496","datavalue":{"value":"0875.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685100$2FA6CB56-82EB-4BD3-96DF-6B313BF4784F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d95d1d9e5c171ef3af1b293958c2047abccca31","datavalue":{"value":"10.1007/BF01383943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685100$10CDA7BF-7D6B-43A4-9171-222DAAC8C5B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aa17981f276c0b5a86490e2ba3cdfcad204bd93","datavalue":{"value":{"entity-type":"item","numeric-id":685097,"id":"Q685097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$9946C69C-3E13-434C-ADD5-06EF821E317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ee2e7c7ea9e080a6f85f3336868923bca842c5","datavalue":{"value":{"entity-type":"item","numeric-id":1334897,"id":"Q1334897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$192D0DCC-8534-4455-B3EA-FAC4DC1B72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7fbdac99fd62220c64faf875a8ba0c9136eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":836397,"id":"Q836397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$694218AE-F8A7-4B00-9716-22C2BE98D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b1b61b0b437d6da9db1d684027c432553bc6aa","datavalue":{"value":{"entity-type":"item","numeric-id":241204,"id":"Q241204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$4827BC77-767B-4972-B442-4AC956281927","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":"Q685100$87DA86AC-76D8-472D-B02B-5CEC13020639","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685100$BDA8D6F1-D04E-411E-B546-3A9BA214C4F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685100$15271683-F4C7-4A91-802D-5B45E2BE023C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e7dfb90674e4c38cd24cac659f85e81588ca832","datavalue":{"value":"417062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685100$91509F66-8411-483A-B6A9-E6F311927CC6","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":"Q685100$54EB981B-75D6-464C-A86B-A2D24B91940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"836efa5f4713d27aa2cd6732aeb7dca7cbe0ac49","datavalue":{"value":{"entity-type":"item","numeric-id":34507,"id":"Q34507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$9C741CDA-34D9-461E-9D9F-770EEBB933BA","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":"Q685100$3E28D161-F2C6-40C7-91FC-0206A3A7193B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$F8D1A2ED-9C1C-4E09-BFF6-128CEBC9CBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36273f06512a0aee73d4a0e32c1901c399f0d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3754570,"id":"Q3754570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685100$3AA6A50B-1393-4B27-8D61-DCBDFFA70D93","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":"Q685100$9B1E5B99-81D9-44DD-8B96-2A3494B8BE04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a9ff70a1f1650fb4d9b18fac7caa71987af0924","datavalue":{"value":"https://doi.org/10.1007/bf01383943","type":"string"},"datatype":"url"},"type":"statement","id":"Q685100$9B950634-44A4-4D25-ADE1-8ED1B31C8558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cafa14b020c3ec3099236f90edf8c3052fff8b9","datavalue":{"value":"W1963759927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685100$D167F87A-4D5C-4144-917C-DE3AA66875BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685100"}}}}}