{"entities":{"Q1871864":{"pageid":1882606,"ns":120,"title":"Item:Q1871864","lastrevid":82021418,"modified":"2026-05-06T19:54:44Z","type":"item","id":"Q1871864","labels":{"en":{"language":"en","value":"A scalable parallel algorithm for reachability analysis of very large circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903887"}},"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":"Q1871864$0DEEF16E-4A19-4254-B15F-BBD13AD79AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b39d4d284a6a0f1a63ca50db4f309b2a4f195c1","datavalue":{"value":{"text":"A scalable parallel algorithm for reachability analysis of very large circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1871864$0D6F6DBD-1A4A-48BC-91B9-A44FB375E024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96835397665c04b5703cc638a5434322851d8cab","datavalue":{"value":"1020.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871864$6E6EF50D-D6F0-4064-8E64-DED67EA6F79D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bed699addba8d13930c671ff397df2701aa3d850","datavalue":{"value":"10.1023/A:1020373206491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871864$0F40D845-CBD4-475E-9B7C-39AE1C4B05F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e7cea0bf119ec4d04b6ee0ebb9596c4918092e","datavalue":{"value":{"entity-type":"item","numeric-id":209465,"id":"Q209465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871864$9EB4441F-EF18-474D-BA0C-96E67A3EC155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96ba7f124ac2b6f069553d42a2414aaf10385fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1871863,"id":"Q1871863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871864$5754D325-0C85-48AA-9EBE-D600B0F0DCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871864$12171B69-8CC9-49BF-94E6-6015F1C0B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1871864$6A1B185F-83B1-4131-9F3C-DCF17F31A3F1","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":"Q1871864$DA489ABB-0DE2-4EFD-A664-91FBDCCCCA2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9741052acb3601490f70dda00f31b7265d37a65","datavalue":{"value":{"time":"+2003-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1871864$543DEB4A-62D6-451D-88AA-FDD80D1C391F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871864$803F632E-5B77-4041-95DB-42F0A4B404C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c3e6728f80309ff827b78600f8b36a48a6978fa","datavalue":{"value":"1903887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1871864$D2AB3A9A-1F96-49D0-A2EA-1EB95D44FD10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871864$2B2EFC9F-1A7C-4338-8FF1-CBDBD2F345D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871864$F1F6F4BB-041B-4D7C-B8CC-B2DD10C315D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5700bc52ddaf92b315456e7b90baec38718b788","datavalue":{"value":"symbolic slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871864$889172C6-12A9-43EB-A958-F076CC2C30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4065b29367b51e7966df5be0dd92543ae1b33136","datavalue":{"value":"distributed space requirement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1871864$77D27CA4-4232-4516-86E9-49044DB3BE1E","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":"Q1871864$2E0962B2-AC2B-4828-A35A-6D7C374168CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04cc65366d3308583c5903bc800bd3bbf5af1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134b89b8e15cc6975bf952690c1184434a0d1a26","datavalue":{"value":{"amount":"+0.9765143394470216","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":"Q1871864$B5A9926E-DBCA-42D1-BDE1-2424F1E2632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bb06957b79b3d90d78c6c75dabc90365ce6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0306dd4897df446ef4cade1a7267524f91d26a9e","datavalue":{"value":{"amount":"+0.9744161367416382","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":"Q1871864$DAA3D2C7-0B7F-4F5E-8412-ED46A8A1BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06c0395de06415ea756d6f99b3b1a2ebd2cd81f","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be266979b1158f72465c8c8ec8698509722708b3","datavalue":{"value":{"amount":"+0.8296406865119934","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":"Q1871864$85DD1C92-E8B7-4C9D-AAD6-CA42C1D7C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e927c6c7cb10fcbc1bf985acef4dd7ca8895af34","datavalue":{"value":{"entity-type":"item","numeric-id":2431764,"id":"Q2431764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2149c1bfd3c010c6b21539b6dbc943a1319a97","datavalue":{"value":{"amount":"+0.8292678594589233","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":"Q1871864$FAA2CA9E-EBA9-4562-A7FE-73C8BE51E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72b69ee2110bb65e2d1433935d62ee1b4d358a7","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ddfb0abcd94642f85bff0bb43871d0ee3bd07a2","datavalue":{"value":{"amount":"+0.7963268160820007","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":"Q1871864$FC65B4BE-7EEB-441F-B025-0094B466C779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A scalable parallel algorithm for reachability analysis of very large circuits","badges":[]}}}}}