{"entities":{"Q4028332":{"pageid":6058086,"ns":120,"title":"Item:Q4028332","lastrevid":55215391,"modified":"2026-02-04T22:08:41Z","type":"item","id":"Q4028332","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139976"}},"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":"Q4028332$CBDD624C-8BBD-4DC9-9CDB-E33984D0C5FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b15e358f8fb6c1c92a21382bf59bb51afde18c9f","datavalue":{"value":"0760.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028332$91CE1581-E008-4062-91E7-650A9849C50D","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":"Q4028332$D68EF291-5541-4B53-B691-A8CC0F998114","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":"Q4028332$4E967BDF-488D-4F98-9288-7096422A4042","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":"Q4028332$45B5A98D-1034-42B2-B19E-9B8F2A78902C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028332$495C4E79-FC64-49F3-930C-F42E1DC84BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028332$24AAEE1B-8AD6-4B4C-BD5D-CF7BA1C9C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028332$97BEB23C-B7C1-4AB2-A5FC-C9CAEB36D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028332$FDE79242-F4CB-4B1F-ACD4-AB1EBF4B1405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e24e3dcfecd8ba3dbd94f0b9f23fb036ca316ab","datavalue":{"value":"139976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028332$7F70D5C4-3879-4CDC-9DE2-F9BC0D1895C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2085f295cd1811f6202d72bac9040ac6ff4f662","datavalue":{"value":"hierarchical verification of sequential hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028332$3B064564-6F55-4729-97BB-4EB40BC70E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c10bd73e97dccea6deb51041fffcc78d88646f9","datavalue":{"value":"Boyer-Moore theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028332$2083A2C6-2C81-4E72-B47D-BCBBF9995B54","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":"Q4028332$19769326-4948-4C48-9B65-05DE635044CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c7de51ab2f6fb2f10aa9f51ef440b5e3c932f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314510,"id":"Q1314510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bdb6d582cc7b2f6e27109c900327b3cd056d1d","datavalue":{"value":{"amount":"+0.9590799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$43DC27FE-549C-460F-B47B-34BD29849EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b05ee589fedbfe73f4ce470c25e0de0f55254aa","datavalue":{"value":{"entity-type":"item","numeric-id":5375361,"id":"Q5375361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9089760bb396f7690593b4e5acba633073d156","datavalue":{"value":{"amount":"+0.8232659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$1BD068FD-E776-49A8-B552-E02FA0D839EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7e55998e908a2386f225f06bc545dc93b5ea5c","datavalue":{"value":{"amount":"+0.82223815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$74C3AECA-F085-4B6B-AF26-E16072D5962A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f36279f4b022683117bf83b8abddc13d21d18c","datavalue":{"value":{"entity-type":"item","numeric-id":861245,"id":"Q861245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d232d1039cd62550cc4e38c93a39b99e6475c19","datavalue":{"value":{"amount":"+0.8218535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$F02D84FB-F2DE-4E19-B254-B4DD637DC826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf04ec551ba98144e0cde229024e31aa794d570","datavalue":{"value":{"entity-type":"item","numeric-id":850787,"id":"Q850787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafffe14f3111eb3916c44a2ce53a7ff4b661e85","datavalue":{"value":{"amount":"+0.8194715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$A021CD91-0992-4C8C-A604-7DE6E57BA704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659a0ea3e6ddbb5550f29f19f16877a598ac953e","datavalue":{"value":{"entity-type":"item","numeric-id":3325037,"id":"Q3325037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4cf2a2e76cceb7a799630f4bc18e435c8420666","datavalue":{"value":{"amount":"+0.8191318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$1DC18719-AD14-47A3-A8A8-58E1684714E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ead5c7633303c0732d1a2c8b0deebef4df0ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":1045951,"id":"Q1045951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d068f6ba3891b2dffe452a580e101d9888fb36d3","datavalue":{"value":{"amount":"+0.8167069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028332$B3AFDFAC-3258-43AE-B38F-01B2122AE173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028332"}}}}}