{"entities":{"Q5280739":{"pageid":7310314,"ns":120,"title":"Item:Q5280739","lastrevid":36869653,"modified":"2024-07-30T07:23:57Z","type":"item","id":"Q5280739","labels":{"en":{"language":"en","value":"Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753299"}},"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":"Q5280739$FA501E50-017A-469E-8F1D-D4F638759237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76f386f4cdb4dede9be42ebf9dfc9a8c5c665c94","datavalue":{"value":{"text":"Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280739$4DDB9392-3AE6-4E87-861E-42C54BB9CBC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef96f4aa0c63f2ca29fe73766c9a1dcb8a089eb","datavalue":{"value":"1366.94786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280739$BD339AC2-402D-4589-917C-13A6373C5F25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17cd0d9c25fcdc8774df20fc241118422ca34e3b","datavalue":{"value":"10.1109/TC.2010.74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280739$AE9F6196-2C30-4EFC-904F-93D48C1082FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6def92e6d2cfc1fdfd23f821e93c8857ffaa5f7","datavalue":{"value":{"entity-type":"item","numeric-id":3620435,"id":"Q3620435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280739$DEBB0FD3-FA56-4D16-83A9-6446BA364263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e0c4023edc21ef6e4acb01c7e370da8909f261","datavalue":{"value":{"entity-type":"item","numeric-id":2080735,"id":"Q2080735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280739$FEB71641-5DBD-4C93-A423-5F41CCC8D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b78b33bf381242d10b1e13260c963664012db9","datavalue":{"value":{"entity-type":"item","numeric-id":1892711,"id":"Q1892711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280739$C11D1F94-C9D9-4A7C-BCA8-D64F74A61892","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280739$ABDDB181-40BB-4813-993D-01F64F05CDE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5280739$E5AC29CE-5B86-4E3E-8115-02EE000267E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280739$078D2B19-7809-4125-A42D-C930F8ED6E33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb748cffe833b14cd30b7d5f77b76b79cc15ecf9","datavalue":{"value":"6753299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280739$D1F2B5D1-03C6-4733-BEB5-41D7C2231382","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":"Q5280739$64FD7BC3-EF6B-4E7E-AAF0-8AFEDF87D02B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"147a89e1e0be4d9bc7f196c6dd5daac948f38dac","datavalue":{"value":"https://doi.org/10.1109/tc.2010.74","type":"string"},"datatype":"url"},"type":"statement","id":"Q5280739$F2AE33FA-BDB2-4F33-9CB0-32F48043AF53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40276b14b59be968260ba4f9c419840f88672d56","datavalue":{"value":"W2154269166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280739$080C0668-AA24-410A-807D-444DEC6009C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5280739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5280739"}}}}}