{"entities":{"Q987743":{"pageid":989591,"ns":120,"title":"Item:Q987743","lastrevid":65721417,"modified":"2026-04-12T04:53:51Z","type":"item","id":"Q987743","labels":{"en":{"language":"en","value":"Thread-parallel integrated test pattern generator utilizing satisfiability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770545"}},"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":"Q987743$3737F7CB-B3BD-43D1-B10E-20A60B3BC17E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fca9630a9d3179437da530af213c6be908284e1b","datavalue":{"value":{"text":"Thread-parallel integrated test pattern generator utilizing satisfiability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987743$6488B8A4-2F39-4A5F-9495-B22674885FE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4179de37288316e120cbe5768a03f90b59076116","datavalue":{"value":"1197.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987743$4FAE4693-DA71-4B7A-9593-5C5E5A198C1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d54d87418863cb30148c8868f21420a125b16dd","datavalue":{"value":{"entity-type":"item","numeric-id":987739,"id":"Q987739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$5D0B8519-D6A6-4683-88C0-CB6A691F56AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"446bfee14fcf95f4ef43250d710288ea32830c54","datavalue":{"value":{"entity-type":"item","numeric-id":987740,"id":"Q987740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$202AE6FB-5579-42CB-90E3-CEEC5D6605E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00e442a62e05c062829e5d8e9aedccc1d8d3476","datavalue":{"value":{"entity-type":"item","numeric-id":453486,"id":"Q453486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$15297A86-2F94-4D77-99F1-B0A85ECEB658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61cb3c107e5a92763532e03e1e09e127e503cc44","datavalue":{"value":{"entity-type":"item","numeric-id":987741,"id":"Q987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$EE8BBA8A-93EA-4F74-93DB-10CE7E61DCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd146c8bf94fd7f83ca30f741a5f63afc19cfc28","datavalue":{"value":{"entity-type":"item","numeric-id":987742,"id":"Q987742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$5E6551EF-351D-49EA-ABF7-02D6D73FE1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$3A7E7603-25C0-4A3B-9158-B3ECD5A2D4BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$B1C2A9EA-8BB2-4FF7-B32E-7632368B7000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987743$79986E81-AE2F-4EEA-A2CA-CA61EAEF81FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987743$E1395AC3-3AF4-4F73-B009-0EFD8129B658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aefa33df3f633e18d656a05a4f520e0d1ef3ee1d","datavalue":{"value":"5770545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987743$45444F34-8F98-4E0F-9F07-15586396BFDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d0447a901a7cb02f818be7621deb775dd9dd2e","datavalue":{"value":"thread-parallel SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q987743$222D20D5-2642-4CD7-974F-43804FE55528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c246631c1e9aaf2f0c2c32930c422a571f0dda1","datavalue":{"value":"SAT-based automatic test pattern generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q987743$554CD96A-8BC9-4AA9-88EB-E1608BDDB059","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28f560908fd8637ed84ec7b61f89df56d43e380","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$55977C4F-2881-4D02-97F1-C3ADC488DE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb98959f668eb01cbe58577bf16b7fabdd875b88","datavalue":{"value":{"entity-type":"item","numeric-id":19060,"id":"Q19060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$63E766C1-7F39-46C5-A829-986649129CB1","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":"Q987743$B680BE6A-868C-40B1-B883-80AD817320EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53e646b3a6fb9fe651fbd5fa418f88e077009850","datavalue":{"value":"https://doi.org/10.1007/s10766-009-0124-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q987743$0FAAF032-C87F-4C15-AE80-A8AD81F62306","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c96a464e8749920a06c544343f0bb828b77efed0","datavalue":{"value":"W2156640787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987743$AA92667E-9A76-4AB2-8EE5-97A587864331","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$592D5CA7-0618-4683-ACF1-303D4CD63767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aba4cc806515e8d834268e1b27ad3a596ff435e","datavalue":{"value":{"entity-type":"item","numeric-id":3904532,"id":"Q3904532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$56B16C4C-FE69-446E-A448-06E901B68422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$97C38A72-CD0D-4120-BB5C-587727857B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50956a3b83461573c132186d5ea095e873860f5","datavalue":{"value":{"entity-type":"item","numeric-id":5522666,"id":"Q5522666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$2EB03641-BC14-427B-B6C3-B4F7BFC7C4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c8d5eddf468fb9caaf115078e71237f2f3f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3639754,"id":"Q3639754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$77545F5A-E88B-4993-B5C9-6E1992C34A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7743c80064d6c2acb9dba8a8a45c8452b837d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4223603,"id":"Q4223603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987743$BE9A1DE8-F95A-4FF7-BD68-44CAD2506900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aeff58f2fcc64d7c772cbcba3be5b70e2f54061","datavalue":{"value":"10.1007/S10766-009-0124-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987743$33A32EC8-A3F1-40FE-A1DC-E0E7D45AFC5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6687dd5bcfce2db2d614538a6ab5e1e05bee533","datavalue":{"value":{"entity-type":"item","numeric-id":1208514,"id":"Q1208514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9b0366df41b473b7880963f9925a922502cf72","datavalue":{"value":{"amount":"+0.90193856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q987743$780AF226-4E06-476A-A4EC-E2C7FAD6CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ae792fa9b83d6aadcf8c3cc0bdcc54fb08274","datavalue":{"value":{"amount":"+0.85330784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q987743$37C9C538-EABB-43F3-8832-7B2C5A850319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a822f01e007cd2d3bc53b9da36d030057de18c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3106263,"id":"Q3106263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80318fdf69e84e0eb9a59f418609aae1d5b2c6b","datavalue":{"value":{"amount":"+0.85075855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q987743$2BE33507-9193-4311-94FE-850D5226118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10deb1e66f4b8fe7d97c0e30907ec752b2e1186","datavalue":{"value":{"entity-type":"item","numeric-id":4738835,"id":"Q4738835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bee15c6b675155a1b49c450e1ee5751e664545","datavalue":{"value":{"amount":"+0.8469925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q987743$B47DC264-EEA3-4B84-A280-89D859CC8E6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Thread-parallel integrated test pattern generator utilizing satisfiability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Thread-parallel_integrated_test_pattern_generator_utilizing_satisfiability_analysis"}}}}}