{"entities":{"Q1101072":{"pageid":1111824,"ns":120,"title":"Item:Q1101072","lastrevid":42881797,"modified":"2025-07-15T16:40:26Z","type":"item","id":"Q1101072","labels":{"en":{"language":"en","value":"Functional test generation using binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045657"}},"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":"Q1101072$3DED5EB8-ACAB-4448-A381-2F63AC82544F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3914f3f7607b243cff569cbe42f6abf8f4591f4","datavalue":{"value":{"text":"Functional test generation using binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101072$FC8EA632-DC0E-4D12-AB3F-E6E66F6B5105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f4ec12f8bdffbe91f546b7717abdc3b3d5a0e65","datavalue":{"value":"0641.94035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101072$7AD69F33-2703-4E1F-8C94-78BD88FEF557","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988fd92c3faa97c4664fd681cea1b53d20cb52de","datavalue":{"value":"10.1016/0898-1221(87)90072-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101072$28178843-CB0C-4982-B825-11E48E3E99A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba1c8b446b2522c4ab751b4c37a758b4b11ee13b","datavalue":{"value":{"entity-type":"item","numeric-id":1101071,"id":"Q1101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$312F9FE6-7F3F-4371-B062-1B43EA68B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa821bc2f245085c4c83a9612a3fe1257b266330","datavalue":{"value":{"entity-type":"item","numeric-id":1870219,"id":"Q1870219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$1FA00C14-C460-431A-A3FA-8F0937C004D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101072$367129F4-6B0E-465D-A129-52DBF3F8FD6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101072$58206328-F41E-4B96-BB71-D806DD50E0C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af7365d89e9816e04e38e8bd7355449637cc31c","datavalue":{"value":"4045657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101072$CF4A343F-6AA4-4890-8BD6-44F34E45F277","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$67B17959-F061-4759-B689-D2225C825039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"743f963a7bf776af1c3e5e1a56c306e84b993104","datavalue":{"value":"extension to the D-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$B9BD8A49-B3A1-4A2A-87F6-F1B637D1FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3dbbde188fd277e45d0353e95ca431d58aef54e","datavalue":{"value":"integrated circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$38A652D4-D366-418A-9666-041B4E1A45B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$53A0B60A-5B60-4339-8D52-95932C014D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada07684bec4559e14440964a63219e0e1187273","datavalue":{"value":"LSI/VLSI circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$5B8D2270-E623-4914-8953-EC72B2B71890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bdd890532e5d7f4a5a62ef30500ff1b653ee67a","datavalue":{"value":"network of interconnected modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101072$02933A90-1188-44DF-B7DB-5B6A7723D05C","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":"Q1101072$35839BB2-FCF6-44A4-931C-0C117424A794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e6ea68020d3969540461bee8021c37d766a8eae","datavalue":{"value":"https://doi.org/10.1016/0898-1221(87)90072-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101072$06F93487-43CA-4A33-AEAB-7B005E8A593F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae91b85f51080281146f7e413982aa650924b7c","datavalue":{"value":"W1980014718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101072$24495631-D085-4C13-91AA-ACE2C5DE2C24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"050d751ab92534e9e4964398a1f621a7f2af04dd","datavalue":{"value":{"entity-type":"item","numeric-id":3773355,"id":"Q3773355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$E8952FEE-1E03-40B5-8EFD-721237F0B2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$4312D2B2-8616-4082-96AD-010D63980FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48f611882a0ee1fcf7687501c80d2f94dd7bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4093340,"id":"Q4093340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$2C9233F1-4A2C-4E18-93B2-2740140C2CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c3a56f6022d8854c4b05cf05854b144bbef067","datavalue":{"value":{"entity-type":"item","numeric-id":4159312,"id":"Q4159312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$572E4B58-6C70-47F2-942B-1FBFA6B33B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ee709eb05106922103db30c3ce739a74d1a161","datavalue":{"value":{"entity-type":"item","numeric-id":3869270,"id":"Q3869270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$8162EC15-2FC9-40ED-A74B-5E9E05E342D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea58ba1b3d43837dfe4ffc6f0a84436f48fa8b7","datavalue":{"value":{"entity-type":"item","numeric-id":3904528,"id":"Q3904528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$2475DDA8-A349-47ED-B672-7D5620004384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a1c122a9fe3283df5d2324a0f04306b652e1bb","datavalue":{"value":{"entity-type":"item","numeric-id":3877584,"id":"Q3877584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$3D9B1598-7A7D-478C-9D8E-391629229551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101072$F591FDED-6754-450E-B5E3-0EF9003CA9AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1101072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1101072"}}}}}