{"entities":{"Q3754570":{"pageid":5784476,"ns":120,"title":"Item:Q3754570","lastrevid":51718661,"modified":"2026-01-19T16:18:24Z","type":"item","id":"Q3754570","labels":{"en":{"language":"en","value":"Logic programming and digital circuit analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002035"}},"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":"Q3754570$F90D25D1-085B-4119-8B40-73B1CF278DE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c92cb4df5d5ffba7a0940ac37ffadcd3ed0b67","datavalue":{"value":{"text":"Logic programming and digital circuit analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3754570$5D516051-6BF2-4AD1-A637-E6D3493BD354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b2bc5522876d675001a310463f62dba0022b2f","datavalue":{"value":"0617.94014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$74B4AD91-DA14-491F-A017-D94A1FA37FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac1da3466edc903d5ad8e35dccf136b3a44fdfb","datavalue":{"value":"10.1016/0743-1066(87)90022-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$AA3042AB-66E7-4674-9FC4-BB9F4B484420","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad27f17631dac612750867f8221dc97785e64a33","datavalue":{"value":{"entity-type":"item","numeric-id":3754569,"id":"Q3754569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754570$08F76D6D-DE16-4E46-9BC1-BCD660A0611A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754570$34CB2039-BAB3-442F-B87D-A1F49B6E67B9","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":"Q3754570$3081C4A3-2108-4C22-B20B-B79E07863F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$CC3FDF07-8B6B-48EA-AAA8-E69CE1EE8ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$BF9A58EA-2FFA-4B7C-84B7-C0AB3293CD60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7188ec5efc2a333df36e0861ef8d6c8c6ce8c6cd","datavalue":{"value":"4002035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$F80720F0-2B6A-40B9-9253-A4E20BB57919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$99F609B5-15DB-4785-A151-0C7824515785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39b751b10a463fdfdac77cb0e0532594c8fe0f0","datavalue":{"value":"reasoning about electrical circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$7ED99FB5-8C41-4B82-916F-5B6E20967D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b55ee4188e69dcab1110cea1e3b6d41f8d2d65","datavalue":{"value":"design automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$E00ECBF5-DC97-4FAD-8A5D-4921136B8E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22fd7c0053d3dcad5353347494ebf938d4192024","datavalue":{"value":"directly executable specifications of circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$0ED641E7-011D-458C-81F8-13B743FAB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a932fb2ec953f7a1ee677ea6fc29b07085a781","datavalue":{"value":"gate assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$F7F0090C-4FDB-4376-AF28-06CCE1387065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e84c74a27d86cbe91038f8345d8de3e79fef7f","datavalue":{"value":"determination of signal flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754570$453081D3-0B4E-4E27-AE87-173315CF5EF7","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":"Q3754570$30DC2D31-6019-41E8-BA8A-A5A75BABA8A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af2c9646dc5a9c681cd92d9b2c4c632889d1dba","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90022-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3754570$9D1EC647-A889-401E-A8F6-FE6BC0ED956C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"622db82c45a24fd4570f82da6757ff951b585440","datavalue":{"value":"W2036800932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754570$0F241A06-4351-4762-A897-CD5DA35310F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd6a09323954445f13c8a297cbd757614b90ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece59c791b0ec69ba693533ce7c03a51d93ed9b0","datavalue":{"value":{"amount":"+0.8945044","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":"Q3754570$F5636650-DF62-433E-A7AA-29C85DB25DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0335a5b9943b276b0321df1b6c876bc9ea7dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4785535,"id":"Q4785535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f36966decac937520281fbd861cafffafd0d294","datavalue":{"value":{"amount":"+0.8927132","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":"Q3754570$C858F214-734C-4561-A651-D804DC8B51C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0797e06201b862d3df1491d85d182008ff3cc330","datavalue":{"value":{"entity-type":"item","numeric-id":3608655,"id":"Q3608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1035b3177d746ee9c6a94f6ca40e2318692998f9","datavalue":{"value":{"amount":"+0.8882336","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":"Q3754570$B9291123-5BF3-451A-B2B0-BD16B697F09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741f30b88d891fe40d94f203c398f2fa4281c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":3777425,"id":"Q3777425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb2de3d09b231c77fdffb2e7c7ed77d9e02470a","datavalue":{"value":{"amount":"+0.88473946","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":"Q3754570$F1E6903B-F0D7-4879-B4CF-26292121FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7852adf5cfba87c19e8cab2d335b92948003ae9","datavalue":{"value":{"entity-type":"item","numeric-id":4692856,"id":"Q4692856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c2613330a12899f223327d5345c680f946066f","datavalue":{"value":{"amount":"+0.8822205","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":"Q3754570$E1800CA6-8A41-4816-B5CD-A14FB4913CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4435303d632984b882065665bc97c9e6e5ca1205","datavalue":{"value":{"amount":"+0.87629557","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":"Q3754570$2ADF244C-D683-466B-915D-845836E495D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a82501cfeaeaa4d68c640bf1e2ca83b589975f","datavalue":{"value":{"entity-type":"item","numeric-id":2785487,"id":"Q2785487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8978300c398984f5fca759bef959a819308668","datavalue":{"value":{"amount":"+0.8753786","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":"Q3754570$90B30058-F941-484C-AE81-159595A5F337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d839975de6fd6475d6b971c80da5fbe058cf4722","datavalue":{"value":{"entity-type":"item","numeric-id":757030,"id":"Q757030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6f0ba628014389f2de7341254479149c0ee027","datavalue":{"value":{"amount":"+0.87458944","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":"Q3754570$2126F7DA-041D-41C8-AF04-78404DE5290E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754570"}}}}}