{"entities":{"Q2848428":{"pageid":2859148,"ns":120,"title":"Item:Q2848428","lastrevid":51834107,"modified":"2026-01-20T06:49:28Z","type":"item","id":"Q2848428","labels":{"en":{"language":"en","value":"Efficient model checking of hardware using conditioned slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211919"}},"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":"Q2848428$9C5ED1BD-5E42-4CEE-A50F-BD9B237F4F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44d2717b3096efcc6ee196fd898ab1848da62a5","datavalue":{"value":"1272.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848428$5A71107B-EC72-4399-BFC4-45376C2CFF0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ea725471aa2a33154ef33410f67dbda2f2c3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2848427,"id":"Q2848427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848428$D3F6F45E-5CEF-417A-9F3C-1EFCC17E77F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97346ca568957bf7c5a6464e2f971d2747a363f8","datavalue":{"value":{"entity-type":"item","numeric-id":685117,"id":"Q685117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848428$20D59815-E50E-4115-AF03-E4350B74859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848428$7F509B05-6D1D-4EF7-A306-99AE0B8557B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848428$F9FAB61C-88E2-4C50-9305-3C3A8F9ED1BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93a07acc9bee31884a37955fc895b49516bb6446","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002495","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848428$3C6AE230-EDCB-496C-B407-E397F5978D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848428$73BA1379-C4F8-4A04-8E09-F0E23D2722B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4a1c5f83f838fc82fdb3d9b9db7cb2e4ee3176","datavalue":{"value":"6211919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848428$864F8595-F927-4DC2-92B9-2625A1E26760","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":"Q2848428$8A253974-1BAA-4E96-BFD6-6C698B4DB7A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d73d0ddfd48e415577cae7607d67063e9dddca18","datavalue":{"value":{"text":"Efficient model checking of hardware using conditioned slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848428$D7618045-BEB6-49EC-A150-88203CE764CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0404a22a9568850d17ecebc1ba67b8b4f4b7de4","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbc8ff3d922cfb70ed574263cdb5e4c64448e7e","datavalue":{"value":{"amount":"+0.7593485116958618","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":"Q2848428$9281E071-C4E1-4631-B692-C253C8C6DEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790031abf3a1eb795a18c4e630caa83b3a38832","datavalue":{"value":{"entity-type":"item","numeric-id":4817534,"id":"Q4817534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db99f7807567d872b1503f49e4493439ec170750","datavalue":{"value":{"amount":"+0.7593483924865723","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":"Q2848428$13B19517-CD91-4485-9584-D1D86ACFEAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5b8e07a949bdb0136c470ad447055d41e54b4c","datavalue":{"value":{"amount":"+0.7533066272735596","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":"Q2848428$B97558BB-5CDC-4853-B39D-1F5A2B02F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4b1f29b20ddb0f943f6f7243ba746c197885d1","datavalue":{"value":{"entity-type":"item","numeric-id":3508510,"id":"Q3508510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a26cfc59d4121d3aaffab0213ab3be0d7f36c51","datavalue":{"value":{"amount":"+0.7378550171852112","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":"Q2848428$4E49131D-DBA3-4BB5-92A5-E3DEA837A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6391b7a4dcc5f4925cc19372d195f88b2ba73cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3601408,"id":"Q3601408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa2dee74005ff9ef4690f31ac3fd1f8d77a00e4","datavalue":{"value":{"amount":"+0.7378547787666321","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":"Q2848428$FCEA7D92-7375-4B34-AEBB-A2CD3601EFF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848428"}}}}}