{"entities":{"Q5756748":{"pageid":7786299,"ns":120,"title":"Item:Q5756748","lastrevid":50158046,"modified":"2026-01-13T07:25:42Z","type":"item","id":"Q5756748","labels":{"en":{"language":"en","value":"Some Complexity Results for SystemVerilog Assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187426"}},"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":"Q5756748$9C849735-DF4D-486C-91FB-A62A3719D58A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a2a1ed1134325ef0a628ff0b1697499e173dfbc","datavalue":{"value":{"text":"Some Complexity Results for SystemVerilog Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756748$F6BBBC63-443F-485C-B337-37B829E114A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92b63c8a4fd38852c4ba0f09e71ed941994b68bb","datavalue":{"value":"1188.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$538F1FF2-9759-41C8-B2E4-4597DE4AC8A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27061b6a5889241093b3c84586b034624d0a1772","datavalue":{"value":"10.1007/11817963_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$B12E8D4F-C51F-4A2B-89ED-F7C4F90FA8A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90977d1bdd1e84f65b103450bc67621a9b3841ff","datavalue":{"value":{"entity-type":"item","numeric-id":1886035,"id":"Q1886035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756748$B43E72CB-1EA3-4568-BD6F-9F678E698B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3bdf8e1bc4c60fbda6d71dbefcfcee12e76a62","datavalue":{"value":{"entity-type":"item","numeric-id":1346341,"id":"Q1346341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756748$49974189-61D9-4E20-8602-27DCC41DF3F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756748$D709B6C3-7D3F-4ED5-A7AE-EFAED84D4A09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756748$808C7BDA-4A92-4CB9-911B-935E15D1C788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$D174CBC7-81E6-4526-94B4-16C72D577D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$5C318133-5FFB-42EE-8DBD-EEF9D8369A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$578EEBC2-8288-4661-BCBE-664E542F90BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$AAD709A8-7DE9-4308-8152-7BD8F15A547D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1015fa0da8713a596deb5e9c89984b3ec868fa1","datavalue":{"value":"5187426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$1635D135-0EEB-4448-8F96-72441C5D0764","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":"Q5756748$D457C126-B9F6-4D53-96F2-0409BFB72DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b5fb990810eb77d563aead89b4e98f9493bc876","datavalue":{"value":"https://doi.org/10.1007/11817963_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756748$8DDB37B9-59AC-43BF-9D14-39220D97F70A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d331a035c9a230831007e785b5cd5436def2e922","datavalue":{"value":"W2168579189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756748$41C20731-BE7E-4A22-89C8-7CFF069B0D8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b4022d442f376be088c3a55bfef236a7490afc","datavalue":{"value":{"entity-type":"item","numeric-id":364509,"id":"Q364509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badfb76594be72aa1592c492fb08c9e4b6d1f484","datavalue":{"value":{"amount":"+0.7470154762268066","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":"Q5756748$02B60125-DCF5-4434-B7D3-B20FDE0EC96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286872b637747ea45c19f68aaed54ce000502f19","datavalue":{"value":{"amount":"+0.7318509221076965","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":"Q5756748$9F38817B-8B16-4DAA-9ABE-E83E8AFF82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9538514a4a91f0cf5b5873c49139a18d044f04d","datavalue":{"value":{"amount":"+0.729900598526001","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":"Q5756748$E08B48E5-511F-4615-916D-827116C3E693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb705ac9fdde19d8f04be343d0dbbca36757be06","datavalue":{"value":{"entity-type":"item","numeric-id":3638094,"id":"Q3638094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97bc1a9153e92b139b93f7e0e9019e2b5dd5760","datavalue":{"value":{"amount":"+0.7267797589302063","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":"Q5756748$195AC58F-A848-4E7F-9C62-498AD4D42AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736891a433f6d0f9d8e1774d6ab4428b7223b508","datavalue":{"value":{"amount":"+0.7205855846405029","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":"Q5756748$B850265E-9B2B-4B53-94C9-1550D4724E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756748"}}}}}