{"entities":{"Q1244202":{"pageid":1254952,"ns":120,"title":"Item:Q1244202","lastrevid":42972595,"modified":"2025-07-16T12:32:07Z","type":"item","id":"Q1244202","labels":{"en":{"language":"en","value":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3580429"}},"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":"Q1244202$291DB4E2-6233-4219-B7EA-27A0E23C6D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942f08b6e48412beba36e9a1cbdde430b7d2c0b5","datavalue":{"value":{"text":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1244202$41A9DC7B-3CF9-4B7F-BCD6-27A0F556582C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6edfc6d911487b619ccd5b0b2500108585ef827","datavalue":{"value":"0372.94024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$AA907E4A-A536-465F-AD9B-0C9C0727A39B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506523695912e49c356964f6fe3dd7140a7296d2","datavalue":{"value":"10.1016/0004-3702(77)90029-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$9B217887-989A-4964-A162-7EE81AEDC8AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d81226a4ae1d650d85c6bdf10d5713c022d863","datavalue":{"value":{"entity-type":"item","numeric-id":1244200,"id":"Q1244200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$152DB075-75D8-4199-B739-503F1BBD4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0bb663956d07663f7162c615a54e9fc438f78c","datavalue":{"value":{"entity-type":"item","numeric-id":1244201,"id":"Q1244201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$BF4D07AB-5CA3-42A4-82B2-F5B6C7245693","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$F4AA9E6F-613D-43BE-8382-6370AF71AB43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1244202$D15FCD82-AC04-4BE1-97E0-F3EBA41CAE68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90c5899afae3a27ecd2703352ca9f2dac199e32c","datavalue":{"value":"http://hdl.handle.net/1721.1/6255","type":"string"},"datatype":"url"},"type":"statement","id":"Q1244202$711FADE4-8BEC-40C4-BBA2-6659297FBE6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$F0F1E7E5-5048-4948-8F7C-97391A54DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25763a8ef2301a641eaba3b53f95161a2b4d174b","datavalue":{"value":"94-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$6919D285-3DB5-475D-A37C-541102BF56D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52cf2200748e4c8c41a9baef9b01744171a9762a","datavalue":{"value":"3580429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$5722BF3B-7DD5-49E0-A268-C976E8C98791","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$0929785E-B0FF-40E3-826F-2740F5CB1FBA","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":"Q1244202$1CCFEEED-B006-41DC-A127-95312A94705A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb1c02ae35d760976c90df732abec4787dd8647d","datavalue":{"value":"W2038118137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244202$D4E6F13D-DBDE-45CF-8402-67EE3A3E72F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3322157bf6a01189b1807437698fe608048635ac","datavalue":{"value":{"entity-type":"item","numeric-id":4167597,"id":"Q4167597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$5242FD34-87F5-4428-BBC5-40FA9F7DD050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d831e96ddca68345f8aa539797e90768212453","datavalue":{"value":{"entity-type":"item","numeric-id":5725167,"id":"Q5725167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$04307E4E-6B38-4B47-8C0B-C27245229D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd80b5f6af88878a6e74c393470ec1b7eae93bd","datavalue":{"value":{"entity-type":"item","numeric-id":3891800,"id":"Q3891800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$59ACD912-0BD7-46F9-A1A3-5E2F4C9BEE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0e187937c02faccf8469a505eb6aa040755a20","datavalue":{"value":{"entity-type":"item","numeric-id":4174746,"id":"Q4174746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244202$98CE919B-E29E-4B34-9ADF-3C9817BADE4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1244202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1244202"}}}}}